Trace number 4405127

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-5-3-4-cp.xml
MD5SUMfefd0dc8744a7f984307705d377cf1e3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.123382
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints636
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":60}]
Minimum variable degree44
Maximum variable degree45
Distribution of variable degrees[{"degree":44,"count":45},{"degree":45,"count":15}]
Minimum constraint arity4
Maximum constraint arity60
Distribution of constraint arities[{"arity":4,"count":630},{"arity":15,"count":5},{"arity":60,"count":1}]
Number of extensional constraints0
Number of intensional constraints630
Distribution of constraint types[{"type":"intension","count":630},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-30611-serial-file.bin HOME/instance-4405127-1569336066.xml
0.65/0.55	
0.65/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 16:40:24 CEST 2019
0.65/0.57	c PID: 30614
0.65/0.57	c IP: 172.20.3.145
0.65/0.57	c HOST: node145.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.35/1.22	c (0,0) Parsing End
2.35/1.22	c (0,0) CSP: 54 int (0 aux), 6 bool (0 aux), 636 ctr, max domain size 5
2.35/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.35/1.22	c (0,0) Constraint Name Generate Begin
2.35/1.24	c (0,0) Ctr:HOME/instance-4405127-1569336066.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
2.35/1.24	c (0,0) Constraint Name Generate End
2.35/1.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.35/1.24	c (0,0) CSP to CSPinCNF Begin
2.53/1.35	c (0,0) translated 64 (10%) constraints
2.53/1.37	c (0,0) translated 128 (20%) constraints
2.53/1.39	c (0,0) translated 191 (30%) constraints
2.78/1.41	c (0,0) translated 255 (40%) constraints
2.78/1.42	c (0,0) translated 318 (50%) constraints
2.78/1.44	c (0,0) translated 382 (60%) constraints
2.78/1.45	c (0,0) translated 446 (70%) constraints
2.78/1.46	c (0,0) translated 509 (80%) constraints
2.78/1.47	c (0,0) translated 573 (90%) constraints
3.29/1.66	c (1,1) translated 636 (100%) constraints
3.59/1.73	c (1,1) ===========================================
3.59/1.73	c (1,1) Order
3.59/1.73	c (1,1) ===========================================
3.59/1.75	c (1,1) translated 144 (10%) constraints
3.59/1.77	c (1,1) translated 287 (20%) constraints
3.59/1.79	c (1,1) translated 430 (30%) constraints
3.92/1.80	c (1,1) translated 574 (40%) constraints
3.92/1.84	c (1,1) translated 717 (50%) constraints
3.92/1.86	c (1,1) translated 860 (60%) constraints
3.92/1.89	c (1,1) translated 1004 (70%) constraints
4.31/1.91	c (1,1) translated 1147 (80%) constraints
4.31/1.92	c (1,1) translated 1290 (90%) constraints
4.31/1.93	c (1,1) translated 1433 (100%) constraints
4.31/1.94	c (1,1) CSP to CSPinCNF End
4.31/1.94	c (1,1) CSP: 114 int (60 aux), 673 bool (667 aux), 2188 ctr, max domain size 5
4.31/1.94	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.31/1.94	c (1,1) CSPinCNF Propagation Begin
4.76/2.02	c (1,1) 205 values, 814 unsatisfiable literals, and 761 valid clauses are removed
4.76/2.02	c (1,1) CSPinCNF Propagation End
4.76/2.02	c (1,1) CSP: 101 int (47 aux), 686 bool (680 aux), 1427 ctr, max domain size 5
4.76/2.02	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.76/2.02	c (1,1) Simplify CSPinCNF Begin
4.76/2.07	c (1,1) Simplify CSPinCNF End
4.76/2.07	c (1,1) CSP: 101 int (47 aux), 1408 bool (1402 aux), 2149 ctr, max domain size 5
4.76/2.07	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.76/2.07	c (1,1) Calculate Precise Domain Begin
4.99/2.11	c (1,1) 0 values are removed by re-calculation
4.99/2.11	c (1,1) Calculate Precise Domain End
4.99/2.11	c (1,1) CSP: 101 int (47 aux), 1408 bool (1402 aux), 2149 ctr, max domain size 5
4.99/2.11	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.99/2.11	c (1,1) CSPinCNF to SatSolver Begin
5.23/2.24	c (1,1) 215 (10 %) CSP clauses are encoded (0 SAT variables, 1039 SAT clauses)
5.23/2.27	c (1,1) 430 (20 %) CSP clauses are encoded (0 SAT variables, 1934 SAT clauses)
5.57/2.30	c (1,1) 645 (30 %) CSP clauses are encoded (0 SAT variables, 2777 SAT clauses)
5.57/2.32	c (1,1) 860 (40 %) CSP clauses are encoded (0 SAT variables, 3544 SAT clauses)
5.57/2.34	c (1,1) 1075 (50 %) CSP clauses are encoded (0 SAT variables, 4559 SAT clauses)
5.57/2.34	c (1,1) 1290 (60 %) CSP clauses are encoded (0 SAT variables, 4774 SAT clauses)
5.57/2.36	c (1,1) 1505 (70 %) CSP clauses are encoded (0 SAT variables, 5729 SAT clauses)
5.57/2.37	c (1,1) 1720 (80 %) CSP clauses are encoded (0 SAT variables, 6684 SAT clauses)
5.57/2.38	c (1,1) 1935 (90 %) CSP clauses are encoded (0 SAT variables, 6899 SAT clauses)
5.57/2.39	c (1,1) 2149 (100 %) CSP clauses are encoded (0 SAT variables, 7550 SAT clauses)
5.57/2.39	c (1,1) CSPinCNF to SatSolver End
5.57/2.39	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.57/2.40	c (1,1) 1544 bool, 7554 clause
5.57/2.40	c (1,1) Export Begin
5.97/2.48	c (1,1) Export to HOME/scop-30611-serial-file.bin
5.97/2.48	c (1,1) Export End
5.97/2.48	c (1,1) Export File Size: 0.01 MB
5.97/2.48	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.97/2.48	c END-Prog: Tue Sep 24 16:40:26 CEST 2019
6.39/2.52	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30611-serial-file.bin
6.41/2.97	c (0,0) Read Serial File Begin
6.41/2.97	c (0,0) HOME/scop-30611-serial-file.bin
7.20/3.17	c (0,0) Read Serial File End
7.20/3.19	
7.20/3.19	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.20/3.19	(Solving Process)
7.20/3.19	
7.35/3.21	c BEGIN-Prog: Tue Sep 24 16:40:27 CEST 2019
7.35/3.21	c PID: 30634
7.35/3.21	c IP: 172.20.3.145
7.35/3.21	c HOST: node145.alineos.net
7.35/3.21	c (0,0) SatSolver.solve Begin
7.35/3.21	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405127-1569336066.xml-scop-30614.cnf
7.35/3.24	c (0,0) c
7.35/3.24	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)
7.35/3.24	c (0,0) c
7.35/3.24	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.35/3.24	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.35/3.24	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.35/3.24	c (0,0) c |                                                                                                       |
7.35/3.24	c (0,0) c |  Number of variables:          1544                                                                   |
7.35/3.24	c (0,0) c |  Number of clauses:            7554                                                                   |
7.35/3.24	c (0,0) c |  Parse time:                   0.00 s                                                                 |
7.35/3.24	c (0,0) c |                                                                                                       |
7.35/3.24	c (0,0) c |  Simplification time:          0.00 s                                                                 |
7.35/3.24	c (0,0) c |                                                                                                       |
7.35/3.24	c (0,0) c |  Generating clones                                                                                    |
7.35/3.24	c (0,0) c |  all clones generated. Memory =    27.73Mb.                                                           |
7.35/3.24	c (0,0) c ========================================================================================================|
7.35/3.24	c (0,0) c
7.35/3.24	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.35/3.24	c (0,0) c
7.35/3.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.25	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.35/3.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.25	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.35/3.25	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.35/3.25	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.35/3.25	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.35/3.25	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.35/3.25	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.35/3.25	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.35/3.25	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.35/3.25	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.35/3.25	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.35/3.25	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.35/3.25	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.35/3.25	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.35/3.25	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.35/3.25	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.35/3.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.25	c (0,0) c
7.35/3.25	c (0,0) c real time : 0.018877 s
7.35/3.25	c (0,0) c cpu time  : 0.031666 s
7.35/3.25	c (0,0) c
7.35/3.25	c (0,0) c
7.35/3.25	c (0,0) c
7.35/3.25	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
7.35/3.25	c (0,0) c
7.35/3.25	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.25	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.35/3.25	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.25	c (0,0) c | Conflicts     |             897 |         74 |         85 |         90 |        162 |         70 |         85 |         71 |        260 |
7.35/3.25	c (0,0) c | Decisions     |            6717 |        839 |        807 |       1142 |        908 |        784 |        836 |        498 |        903 |
7.35/3.25	c (0,0) c | Propagations  |           72920 |       5840 |       9253 |       8166 |      13356 |       5387 |       9362 |       5172 |      16384 |
7.35/3.25	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
7.35/3.25	c (0,0) c | Restarts      |              11 |          1 |          2 |          2 |          1 |          1 |          2 |          1 |          1 |
7.35/3.25	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | PropBinClauses|          101406 |       8455 |      12140 |      10363 |      19500 |       7870 |      12260 |       7361 |      23457 |
7.35/3.25	c (0,0) c | PropPreBlocker|          292163 |      23937 |      35954 |      32011 |      54357 |      22353 |      36306 |      22893 |      64352 |
7.35/3.25	c (0,0) c | PropNotBlocker|          162285 |      14639 |      18905 |      18698 |      27570 |      13649 |      19332 |      13276 |      36216 |
7.35/3.25	c (0,0) c | LitFullScans  |          760803 |      61445 |      88383 |      78280 |     145772 |      57003 |      89429 |      60480 |     180011 |
7.35/3.25	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | DecisionLevel0|              77 |         11 |         10 |         18 |          5 |         12 |         10 |          6 |          5 |
7.35/3.25	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
7.35/3.25	c (0,0) c | Avg_Trail     |                 |        570 |        649 |        602 |        823 |        526 |        650 |        733 |        575 |
7.35/3.25	c (0,0) c | Avg_DL        |                 |         91 |         75 |        108 |         71 |         94 |         74 |        120 |         86 |
7.35/3.25	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.25	c (0,0) c | Exported      |              20 |          3 |          1 |          1 |          1 |          2 |          1 |          3 |          8 |
7.35/3.25	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.35/3.25	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.25	c (0,0) c | Unaries       |                 |         10 |          8 |         16 |          4 |         11 |          8 |          5 |          4 |
7.35/3.25	c (0,0) c | Binaries      |                 |          2 |          1 |          0 |          1 |          1 |          1 |          3 |          3 |
7.35/3.25	c (0,0) c | Glues         |                 |          3 |          1 |          1 |          1 |          2 |          1 |          3 |          8 |
7.35/3.25	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.25	c (0,0) c | Orig_Seen     |             8 % |        627 |        564 |        756 |        714 |        458 |        564 |        576 |        617 |
7.35/3.25	c (0,0) c | Diff Orig seen|                 |         63 |      X     |        192 |        150 | -      106 | -        0 |         12 |         53 |
7.35/3.25	c (0,0) c | Hamming       |            21 % |        375 |      X     |        390 |        369 |        396 |          4 |        321 |        435 |
7.35/3.25	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.26	c (0,0) c | RunningTime   |                 |    0.0 100%|    0.0  99%|    0.0  99%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
7.35/3.26	c (0,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%|
7.35/3.26	c (0,0) c | ExchangingTime|                 |    0.0   0%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
7.35/3.26	c (0,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%|
7.35/3.26	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
7.35/3.26	c (0,0) c | PropagationTim|                 |    0.0  81%|    0.0  77%|    0.0  73%|    0.0  73%|    0.0  90%|    0.0  82%|    0.0  90%|    0.0  80%|
7.35/3.26	c (0,0) c | AnalysisTime  |                 |    0.0   5%|    0.0   8%|    0.0   6%|    0.0  10%|    0.0   5%|    0.0  10%|    0.0   5%|    0.0  13%|
7.35/3.26	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
7.35/3.26	c (0,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%|
7.35/3.26	c (0,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%|
7.35/3.26	c (0,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%|
7.35/3.26	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.26	c (0,0) c
7.35/3.26	c (0,0) c
7.35/3.26	c (0,0) c Threads : 8
7.35/3.26	c (0,0) c Winner : 1
7.35/3.26	c (0,0) c Conflicts_0 : 74
7.35/3.26	c (0,0) c Conflicts_1 : 85
7.35/3.26	c (0,0) c Conflicts_2 : 90
7.35/3.26	c (0,0) c Conflicts_3 : 162
7.35/3.26	c (0,0) c Conflicts_4 : 70
7.35/3.26	c (0,0) c Conflicts_5 : 85
7.35/3.26	c (0,0) c Conflicts_6 : 71
7.35/3.26	c (0,0) c Conflicts_7 : 260
7.35/3.26	c (0,0) c Conflicts_total : 897
7.35/3.26	c (0,0) c Conflicts_winner : 85
7.35/3.26	c (0,0) c Decisions_0 : 839
7.35/3.26	c (0,0) c Decisions_1 : 807
7.35/3.26	c (0,0) c Decisions_2 : 1142
7.35/3.26	c (0,0) c Decisions_3 : 908
7.35/3.26	c (0,0) c Decisions_4 : 784
7.35/3.26	c (0,0) c Decisions_5 : 836
7.35/3.26	c (0,0) c Decisions_6 : 498
7.35/3.26	c (0,0) c Decisions_7 : 903
7.35/3.26	c (0,0) c Decisions_total : 6717
7.35/3.26	c (0,0) c Decisions_winner : 807
7.35/3.26	c (0,0) c Propagations_0 : 5840
7.35/3.26	c (0,0) c Propagations_1 : 9253
7.35/3.26	c (0,0) c Propagations_2 : 8166
7.35/3.26	c (0,0) c Propagations_3 : 13356
7.35/3.26	c (0,0) c Propagations_4 : 5387
7.35/3.26	c (0,0) c Propagations_5 : 9362
7.35/3.26	c (0,0) c Propagations_6 : 5172
7.35/3.26	c (0,0) c Propagations_7 : 16384
7.35/3.26	c (0,0) c Propagations_total : 72920
7.35/3.26	c (0,0) c Propagations_winner : 9253
7.35/3.26	c (0,0) c ReduceDBs_0 : 0
7.35/3.26	c (0,0) c ReduceDBs_1 : 0
7.35/3.26	c (0,0) c ReduceDBs_2 : 0
7.35/3.26	c (0,0) c ReduceDBs_3 : 0
7.35/3.26	c (0,0) c ReduceDBs_4 : 0
7.35/3.26	c (0,0) c ReduceDBs_5 : 0
7.35/3.26	c (0,0) c ReduceDBs_6 : 0
7.35/3.26	c (0,0) c ReduceDBs_7 : 0
7.35/3.26	c (0,0) c ReduceDBs_total : 0
7.35/3.26	c (0,0) c ReduceDBs_winner : 0
7.35/3.26	c (0,0) c SimpDBs_0 : 1
7.35/3.26	c (0,0) c SimpDBs_1 : 1
7.35/3.26	c (0,0) c SimpDBs_2 : 1
7.35/3.26	c (0,0) c SimpDBs_3 : 1
7.35/3.26	c (0,0) c SimpDBs_4 : 1
7.35/3.26	c (0,0) c SimpDBs_5 : 1
7.35/3.26	c (0,0) c SimpDBs_6 : 1
7.35/3.26	c (0,0) c SimpDBs_7 : 1
7.35/3.26	c (0,0) c SimpDBs_total : 8
7.35/3.26	c (0,0) c SimpDBs_winner : 1
7.35/3.26	c (0,0) c Restarts_0 : 1
7.35/3.26	c (0,0) c Restarts_1 : 2
7.35/3.26	c (0,0) c Restarts_2 : 2
7.35/3.26	c (0,0) c Restarts_3 : 1
7.35/3.26	c (0,0) c Restarts_4 : 1
7.35/3.26	c (0,0) c Restarts_5 : 2
7.35/3.26	c (0,0) c Restarts_6 : 1
7.35/3.26	c (0,0) c Restarts_7 : 1
7.35/3.26	c (0,0) c Restarts_total : 11
7.35/3.26	c (0,0) c Restarts_winner : 2
7.35/3.26	c (0,0) c ForcedImports_0 : 0
7.35/3.26	c (0,0) c ForcedImports_1 : 0
7.35/3.26	c (0,0) c ForcedImports_2 : 0
7.35/3.26	c (0,0) c ForcedImports_3 : 0
7.35/3.26	c (0,0) c ForcedImports_4 : 0
7.35/3.26	c (0,0) c ForcedImports_5 : 0
7.35/3.26	c (0,0) c ForcedImports_6 : 0
7.35/3.26	c (0,0) c ForcedImports_7 : 0
7.35/3.26	c (0,0) c ForcedImports_total : 0
7.35/3.26	c (0,0) c ForcedImports_winner : 0
7.35/3.26	c (0,0) c PropsBinClauses_0 : 8455
7.35/3.26	c (0,0) c PropsBinClauses_1 : 12140
7.35/3.26	c (0,0) c PropsBinClauses_2 : 10363
7.35/3.26	c (0,0) c PropsBinClauses_3 : 19500
7.35/3.26	c (0,0) c PropsBinClauses_4 : 7870
7.35/3.26	c (0,0) c PropsBinClauses_5 : 12260
7.35/3.26	c (0,0) c PropsBinClauses_6 : 7361
7.35/3.26	c (0,0) c PropsBinClauses_7 : 23457
7.35/3.26	c (0,0) c PropsBinClauses_total : 101406
7.35/3.26	c (0,0) c PropsBinClauses_winner : 12140
7.35/3.26	c (0,0) c PropsPreBlocker_0 : 23937
7.35/3.26	c (0,0) c PropsPreBlocker_1 : 35954
7.35/3.26	c (0,0) c PropsPreBlocker_2 : 32011
7.35/3.26	c (0,0) c PropsPreBlocker_3 : 54357
7.35/3.26	c (0,0) c PropsPreBlocker_4 : 22353
7.35/3.26	c (0,0) c PropsPreBlocker_5 : 36306
7.35/3.26	c (0,0) c PropsPreBlocker_6 : 22893
7.35/3.26	c (0,0) c PropsPreBlocker_7 : 64352
7.35/3.26	c (0,0) c PropsPreBlocker_total : 292163
7.35/3.26	c (0,0) c PropsPreBlocker_winner : 35954
7.35/3.26	c (0,0) c PropsNotBlocker_0 : 14639
7.35/3.26	c (0,0) c PropsNotBlocker_1 : 18905
7.35/3.26	c (0,0) c PropsNotBlocker_2 : 18698
7.35/3.26	c (0,0) c PropsNotBlocker_3 : 27570
7.35/3.26	c (0,0) c PropsNotBlocker_4 : 13649
7.35/3.26	c (0,0) c PropsNotBlocker_5 : 19332
7.35/3.26	c (0,0) c PropsNotBlocker_6 : 13276
7.35/3.26	c (0,0) c PropsNotBlocker_7 : 36216
7.35/3.26	c (0,0) c PropsNotBlocker_total : 162285
7.35/3.26	c (0,0) c PropsNotBlocker_winner : 18905
7.35/3.26	c (0,0) c PropsLitFullScans_0 : 61445
7.35/3.26	c (0,0) c PropsLitFullScans_1 : 88383
7.35/3.26	c (0,0) c PropsLitFullScans_2 : 78280
7.35/3.26	c (0,0) c PropsLitFullScans_3 : 145772
7.35/3.26	c (0,0) c PropsLitFullScans_4 : 57003
7.35/3.26	c (0,0) c PropsLitFullScans_5 : 89429
7.35/3.26	c (0,0) c PropsLitFullScans_6 : 60480
7.35/3.26	c (0,0) c PropsLitFullScans_7 : 180011
7.35/3.26	c (0,0) c PropsLitFullScans_total : 760803
7.35/3.26	c (0,0) c PropsLitFullScans_winner : 88383
7.35/3.26	c (0,0) c LitScanFractions_0 : 0
7.35/3.26	c (0,0) c LitScanFractions_1 : 0
7.35/3.26	c (0,0) c LitScanFractions_2 : 0
7.35/3.26	c (0,0) c LitScanFractions_3 : 0
7.35/3.26	c (0,0) c LitScanFractions_4 : 0
7.35/3.26	c (0,0) c LitScanFractions_5 : 0
7.35/3.26	c (0,0) c LitScanFractions_6 : 0
7.35/3.26	c (0,0) c LitScanFractions_7 : 0
7.35/3.26	c (0,0) c LitScanFractions_total : 0
7.35/3.26	c (0,0) c LitScanFractions_winner : 0
7.35/3.26	c (0,0) c DecisionLevel0_0 : 11
7.35/3.26	c (0,0) c DecisionLevel0_1 : 10
7.35/3.26	c (0,0) c DecisionLevel0_2 : 18
7.35/3.26	c (0,0) c DecisionLevel0_3 : 5
7.35/3.26	c (0,0) c DecisionLevel0_4 : 12
7.35/3.26	c (0,0) c DecisionLevel0_5 : 10
7.35/3.26	c (0,0) c DecisionLevel0_6 : 6
7.35/3.26	c (0,0) c DecisionLevel0_7 : 5
7.35/3.26	c (0,0) c DecisionLevel0_total : 77
7.35/3.26	c (0,0) c DecisionLevel0_winner : 10
7.35/3.26	c (0,0) c Periods_0 : 0
7.35/3.26	c (0,0) c Periods_1 : 0
7.35/3.26	c (0,0) c Periods_2 : 0
7.35/3.26	c (0,0) c Periods_3 : 0
7.35/3.26	c (0,0) c Periods_4 : 0
7.35/3.26	c (0,0) c Periods_5 : 0
7.35/3.26	c (0,0) c Periods_6 : 0
7.35/3.26	c (0,0) c Periods_7 : 0
7.35/3.26	c (0,0) c Periods_total : 0
7.35/3.26	c (0,0) c Periods_winner : 0
7.35/3.26	c (0,0) c Margin_0 : 20
7.35/3.26	c (0,0) c Margin_1 : 20
7.35/3.26	c (0,0) c Margin_2 : 20
7.35/3.26	c (0,0) c Margin_3 : 20
7.35/3.26	c (0,0) c Margin_4 : 20
7.35/3.26	c (0,0) c Margin_5 : 20
7.35/3.26	c (0,0) c Margin_6 : 20
7.35/3.26	c (0,0) c Margin_7 : 20
7.35/3.26	c (0,0) c Margin_total : 160
7.35/3.26	c (0,0) c Margin_winner : 20
7.35/3.26	c (0,0) c Exported_0 : 3
7.35/3.26	c (0,0) c Exported_1 : 1
7.35/3.26	c (0,0) c Exported_2 : 1
7.35/3.26	c (0,0) c Exported_3 : 1
7.35/3.26	c (0,0) c Exported_4 : 2
7.35/3.26	c (0,0) c Exported_5 : 1
7.35/3.26	c (0,0) c Exported_6 : 3
7.35/3.26	c (0,0) c Exported_7 : 8
7.35/3.26	c (0,0) c Exported_total : 20
7.35/3.26	c (0,0) c Exported_winner : 1
7.35/3.26	c (0,0) c Imported_0 : 0
7.35/3.26	c (0,0) c Imported_1 : 0
7.35/3.26	c (0,0) c Imported_2 : 0
7.35/3.26	c (0,0) c Imported_3 : 0
7.35/3.26	c (0,0) c Imported_4 : 0
7.35/3.26	c (0,0) c Imported_5 : 0
7.35/3.26	c (0,0) c Imported_6 : 0
7.35/3.26	c (0,0) c Imported_7 : 0
7.35/3.26	c (0,0) c Imported_total : 0
7.35/3.26	c (0,0) c Imported_winner : 0
7.35/3.26	c (0,0) c Good_0 : 0
7.35/3.26	c (0,0) c Good_1 : 0
7.35/3.26	c (0,0) c Good_2 : 0
7.35/3.26	c (0,0) c Good_3 : 0
7.35/3.26	c (0,0) c Good_4 : 0
7.35/3.26	c (0,0) c Good_5 : 0
7.35/3.26	c (0,0) c Good_6 : 0
7.35/3.26	c (0,0) c Good_7 : 0
7.35/3.26	c (0,0) c Good_total : 0
7.35/3.26	c (0,0) c Good_winner : 0
7.35/3.26	c (0,0) c Purge_0 : 0
7.35/3.26	c (0,0) c Purge_1 : 0
7.35/3.26	c (0,0) c Purge_2 : 0
7.35/3.26	c (0,0) c Purge_3 : 0
7.35/3.26	c (0,0) c Purge_4 : 0
7.35/3.26	c (0,0) c Purge_5 : 0
7.35/3.26	c (0,0) c Purge_6 : 0
7.35/3.26	c (0,0) c Purge_7 : 0
7.35/3.26	c (0,0) c Purge_total : 0
7.35/3.26	c (0,0) c Purge_winner : 0
7.35/3.26	c (0,0) c Promoted_0 : 0
7.35/3.26	c (0,0) c Promoted_1 : 0
7.35/3.26	c (0,0) c Promoted_2 : 0
7.35/3.26	c (0,0) c Promoted_3 : 0
7.35/3.26	c (0,0) c Promoted_4 : 0
7.35/3.26	c (0,0) c Promoted_5 : 0
7.35/3.26	c (0,0) c Promoted_6 : 0
7.35/3.26	c (0,0) c Promoted_7 : 0
7.35/3.26	c (0,0) c Promoted_total : 0
7.35/3.26	c (0,0) c Promoted_winner : 0
7.35/3.26	c (0,0) c Remove_Imp_0 : 0
7.35/3.26	c (0,0) c Remove_Imp_1 : 0
7.35/3.26	c (0,0) c Remove_Imp_2 : 0
7.35/3.26	c (0,0) c Remove_Imp_3 : 0
7.35/3.26	c (0,0) c Remove_Imp_4 : 0
7.35/3.26	c (0,0) c Remove_Imp_5 : 0
7.35/3.26	c (0,0) c Remove_Imp_6 : 0
7.35/3.26	c (0,0) c Remove_Imp_7 : 0
7.35/3.26	c (0,0) c Remove_Imp_total : 0
7.35/3.26	c (0,0) c Remove_Imp_winner : 0
7.35/3.26	c (0,0) c Blocked_Reuse_0 : 0
7.35/3.26	c (0,0) c Blocked_Reuse_1 : 0
7.35/3.26	c (0,0) c Blocked_Reuse_2 : 0
7.35/3.26	c (0,0) c Blocked_Reuse_3 : 0
7.35/3.26	c (0,0) c Blocked_Reuse_4 : 0
7.35/3.26	c (0,0) c Blocked_Reuse_5 : 0
7.35/3.26	c (0,0) c Blocked_Reuse_6 : 0
7.35/3.26	c (0,0) c Blocked_Reuse_7 : 0
7.35/3.26	c (0,0) c Blocked_Reuse_total : 0
7.35/3.26	c (0,0) c Blocked_Reuse_winner : 0
7.35/3.26	c (0,0) c Unaries_0 : 10
7.35/3.26	c (0,0) c Unaries_1 : 8
7.35/3.26	c (0,0) c Unaries_2 : 16
7.35/3.26	c (0,0) c Unaries_3 : 4
7.35/3.26	c (0,0) c Unaries_4 : 11
7.35/3.26	c (0,0) c Unaries_5 : 8
7.35/3.26	c (0,0) c Unaries_6 : 5
7.35/3.26	c (0,0) c Unaries_7 : 4
7.35/3.26	c (0,0) c Unaries_total : 66
7.35/3.26	c (0,0) c Unaries_winner : 8
7.35/3.27	c (0,0) c Binaries_0 : 2
7.35/3.27	c (0,0) c Binaries_1 : 1
7.35/3.27	c (0,0) c Binaries_2 : 0
7.35/3.27	c (0,0) c Binaries_3 : 1
7.35/3.27	c (0,0) c Binaries_4 : 1
7.35/3.27	c (0,0) c Binaries_5 : 1
7.35/3.27	c (0,0) c Binaries_6 : 3
7.35/3.27	c (0,0) c Binaries_7 : 3
7.35/3.27	c (0,0) c Binaries_total : 12
7.35/3.27	c (0,0) c Binaries_winner : 1
7.35/3.27	c (0,0) c Glues_0 : 3
7.35/3.27	c (0,0) c Glues_1 : 1
7.35/3.27	c (0,0) c Glues_2 : 1
7.35/3.27	c (0,0) c Glues_3 : 1
7.35/3.27	c (0,0) c Glues_4 : 2
7.35/3.27	c (0,0) c Glues_5 : 1
7.35/3.27	c (0,0) c Glues_6 : 3
7.35/3.27	c (0,0) c Glues_7 : 8
7.35/3.27	c (0,0) c Glues_total : 20
7.35/3.27	c (0,0) c Glues_winner : 1
7.35/3.27	c (0,0) c RunningTime_0 : 0.005280
7.35/3.27	c (0,0) c RunningTime_1 : 0.003789
7.35/3.27	c (0,0) c RunningTime_2 : 0.004662
7.35/3.27	c (0,0) c RunningTime_3 : 0.006201
7.35/3.27	c (0,0) c RunningTime_4 : 0.004239
7.35/3.27	c (0,0) c RunningTime_5 : 0.003044
7.35/3.27	c (0,0) c RunningTime_6 : 0.004797
7.35/3.27	c (0,0) c RunningTime_7 : 0.005127
7.35/3.27	c (0,0) c RunningTime_total : 0.037139
7.35/3.27	c (0,0) c RunningTime_winner : 0.003789
7.35/3.27	c (0,0) c WaitingTime_0 : 0.000000
7.35/3.27	c (0,0) c WaitingTime_1 : 0.000000
7.35/3.27	c (0,0) c WaitingTime_2 : 0.000000
7.35/3.27	c (0,0) c WaitingTime_3 : 0.000000
7.35/3.27	c (0,0) c WaitingTime_4 : 0.000000
7.35/3.27	c (0,0) c WaitingTime_5 : 0.000000
7.35/3.27	c (0,0) c WaitingTime_6 : 0.000000
7.35/3.27	c (0,0) c WaitingTime_7 : 0.000000
7.35/3.27	c (0,0) c WaitingTime_total : 0.000000
7.35/3.27	c (0,0) c WaitingTime_winner : 0.000000
7.35/3.27	c (0,0) c ExchangingTime_0 : 0.000011
7.35/3.27	c (0,0) c ExchangingTime_1 : 0.000030
7.35/3.27	c (0,0) c ExchangingTime_2 : 0.000039
7.35/3.27	c (0,0) c ExchangingTime_3 : 0.000005
7.35/3.27	c (0,0) c ExchangingTime_4 : 0.000005
7.35/3.27	c (0,0) c ExchangingTime_5 : 0.000006
7.35/3.27	c (0,0) c ExchangingTime_6 : 0.000003
7.35/3.27	c (0,0) c ExchangingTime_7 : 0.000015
7.35/3.27	c (0,0) c ExchangingTime_total : 0.000114
7.35/3.27	c (0,0) c ExchangingTime_winner : 0.000030
7.35/3.27	c (0,0) c PeriodProcTime_0 : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_1 : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_2 : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_3 : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_4 : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_5 : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_6 : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_7 : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_total : 0.000000
7.35/3.27	c (0,0) c PeriodProcTime_winner : 0.000000
7.35/3.27	c (0,0) c SolvingTime_0 : 0.005291
7.35/3.27	c (0,0) c SolvingTime_1 : 0.003819
7.35/3.27	c (0,0) c SolvingTime_2 : 0.004701
7.35/3.27	c (0,0) c SolvingTime_3 : 0.006206
7.35/3.27	c (0,0) c SolvingTime_4 : 0.004244
7.35/3.27	c (0,0) c SolvingTime_5 : 0.003050
7.35/3.27	c (0,0) c SolvingTime_6 : 0.004800
7.35/3.27	c (0,0) c SolvingTime_7 : 0.005142
7.35/3.27	c (0,0) c SolvingTime_total : 0.037253
7.35/3.27	c (0,0) c SolvingTime_winner : 0.003819
7.35/3.27	c (0,0) c PropagationTime_0 : 0.004279
7.35/3.27	c (0,0) c PropagationTime_1 : 0.002938
7.35/3.27	c (0,0) c PropagationTime_2 : 0.003433
7.35/3.27	c (0,0) c PropagationTime_3 : 0.004518
7.35/3.27	c (0,0) c PropagationTime_4 : 0.003801
7.35/3.27	c (0,0) c PropagationTime_5 : 0.002496
7.35/3.27	c (0,0) c PropagationTime_6 : 0.004336
7.35/3.27	c (0,0) c PropagationTime_7 : 0.004098
7.35/3.27	c (0,0) c PropagationTime_total : 0.029900
7.35/3.27	c (0,0) c PropagationTime_winner : 0.002938
7.35/3.27	c (0,0) c AnalysisTime_0 : 0.000254
7.35/3.27	c (0,0) c AnalysisTime_1 : 0.000314
7.35/3.27	c (0,0) c AnalysisTime_2 : 0.000267
7.35/3.27	c (0,0) c AnalysisTime_3 : 0.000646
7.35/3.27	c (0,0) c AnalysisTime_4 : 0.000215
7.35/3.27	c (0,0) c AnalysisTime_5 : 0.000290
7.35/3.27	c (0,0) c AnalysisTime_6 : 0.000262
7.35/3.27	c (0,0) c AnalysisTime_7 : 0.000684
7.35/3.27	c (0,0) c AnalysisTime_total : 0.002932
7.35/3.27	c (0,0) c AnalysisTime_winner : 0.000314
7.35/3.27	c (0,0) c ReductionTime_0 : 0.000000
7.35/3.27	c (0,0) c ReductionTime_1 : 0.000000
7.35/3.27	c (0,0) c ReductionTime_2 : 0.000000
7.35/3.27	c (0,0) c ReductionTime_3 : 0.000000
7.35/3.27	c (0,0) c ReductionTime_4 : 0.000000
7.35/3.27	c (0,0) c ReductionTime_5 : 0.000000
7.35/3.27	c (0,0) c ReductionTime_6 : 0.000000
7.35/3.27	c (0,0) c ReductionTime_7 : 0.000000
7.35/3.27	c (0,0) c ReductionTime_total : 0.000000
7.35/3.27	c (0,0) c ReductionTime_winner : 0.000000
7.35/3.27	c (0,0) c SimplifyTime_0 : 0.000000
7.35/3.27	c (0,0) c SimplifyTime_1 : 0.000000
7.35/3.27	c (0,0) c SimplifyTime_2 : 0.000001
7.35/3.27	c (0,0) c SimplifyTime_3 : 0.000000
7.35/3.27	c (0,0) c SimplifyTime_4 : 0.000002
7.35/3.27	c (0,0) c SimplifyTime_5 : 0.000001
7.35/3.27	c (0,0) c SimplifyTime_6 : 0.000000
7.35/3.27	c (0,0) c SimplifyTime_7 : 0.000000
7.35/3.27	c (0,0) c SimplifyTime_total : 0.000004
7.35/3.27	c (0,0) c SimplifyTime_winner : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_0 : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_1 : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_2 : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_3 : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_4 : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_5 : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_6 : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_7 : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_total : 0.000000
7.35/3.27	c (0,0) c UsedRateTime_winner : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_0 : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_1 : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_2 : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_3 : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_4 : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_5 : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_6 : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_7 : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_total : 0.000000
7.35/3.27	c (0,0) c OverlapRateTime_winner : 0.000000
7.35/3.27	c (0,0) c
7.35/3.27	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.35/3.27	c (0,0) c
7.35/3.27	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.27	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.35/3.27	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.27	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.35/3.27	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.35/3.27	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.35/3.27	c (0,0) c | Initial random_seed   |  698558183 | 1565203405 |  259083766 |  707780528 |  511158963 |  895859985 | 1831198768 | 1994020121 |
7.35/3.27	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.35/3.27	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.35/3.27	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.35/3.27	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.35/3.27	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.35/3.27	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.35/3.27	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.35/3.27	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.35/3.27	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.35/3.27	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.35/3.27	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.35/3.27	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.35/3.27	c (0,0) 
7.35/3.27	c (0,0) s SATISFIABLE
7.35/3.29	c (0,0) SatSolver.solve End
7.35/3.29	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.35/3.29	c (0,0) Show results Begin
7.71/3.38	c (0,0) x[0][0] = 0
7.71/3.38	c (0,0) x[0][1] = 0
7.71/3.38	c (0,0) x[0][2] = 0
7.71/3.38	c (0,0) x[0][3] = 1
7.71/3.38	c (0,0) x[0][4] = 1
7.71/3.38	c (0,0) x[0][5] = 1
7.71/3.38	c (0,0) x[0][6] = 2
7.71/3.38	c (0,0) x[0][7] = 2
7.71/3.38	c (0,0) x[0][8] = 2
7.71/3.38	c (0,0) x[0][9] = 3
7.71/3.38	c (0,0) x[0][10] = 3
7.71/3.38	c (0,0) x[0][11] = 3
7.71/3.38	c (0,0) x[0][12] = 4
7.71/3.38	c (0,0) x[0][13] = 4
7.71/3.38	c (0,0) x[0][14] = 4
7.71/3.38	c (0,0) x[1][0] = 2
7.71/3.38	c (0,0) x[1][1] = 3
7.71/3.38	c (0,0) x[1][2] = 4
7.71/3.38	c (0,0) x[1][3] = 1
7.71/3.38	c (0,0) x[1][4] = 2
7.71/3.38	c (0,0) x[1][5] = 4
7.71/3.38	c (0,0) x[1][6] = 0
7.71/3.38	c (0,0) x[1][7] = 1
7.71/3.38	c (0,0) x[1][8] = 2
7.71/3.38	c (0,0) x[1][9] = 0
7.71/3.38	c (0,0) x[1][10] = 1
7.71/3.38	c (0,0) x[1][11] = 3
7.71/3.38	c (0,0) x[1][12] = 0
7.71/3.38	c (0,0) x[1][13] = 3
7.71/3.38	c (0,0) x[1][14] = 4
7.71/3.38	c (0,0) x[2][0] = 2
7.71/3.38	c (0,0) x[2][1] = 3
7.71/3.38	c (0,0) x[2][2] = 4
7.71/3.38	c (0,0) x[2][3] = 4
7.71/3.38	c (0,0) x[2][4] = 0
7.71/3.38	c (0,0) x[2][5] = 3
7.71/3.38	c (0,0) x[2][6] = 2
7.71/3.38	c (0,0) x[2][7] = 1
7.71/3.38	c (0,0) x[2][8] = 4
7.71/3.38	c (0,0) x[2][9] = 1
7.71/3.38	c (0,0) x[2][10] = 0
7.71/3.38	c (0,0) x[2][11] = 2
7.71/3.38	c (0,0) x[2][12] = 3
7.71/3.38	c (0,0) x[2][13] = 1
7.71/3.38	c (0,0) x[2][14] = 0
7.71/3.38	c (0,0) x[3][0] = 4
7.71/3.38	c (0,0) x[3][1] = 2
7.71/3.38	c (0,0) x[3][2] = 1
7.71/3.38	c (0,0) x[3][3] = 0
7.71/3.38	c (0,0) x[3][4] = 2
7.71/3.38	c (0,0) x[3][5] = 4
7.71/3.38	c (0,0) x[3][6] = 2
7.71/3.38	c (0,0) x[3][7] = 4
7.71/3.38	c (0,0) x[3][8] = 3
7.71/3.38	c (0,0) x[3][9] = 3
7.71/3.38	c (0,0) x[3][10] = 1
7.71/3.38	c (0,0) x[3][11] = 0
7.71/3.38	c (0,0) x[3][12] = 0
7.71/3.38	c (0,0) x[3][13] = 1
7.71/3.38	c (0,0) x[3][14] = 3
7.71/3.38	s SATISFIABLE
7.71/3.38	v <instantiation>
7.71/3.38	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14]</list>
7.71/3.38	v     <values>0 0 0 1 1 1 2 2 2 3 3 3 4 4 4 2 3 4 1 2 4 0 1 2 0 1 3 0 3 4 2 3 4 4 0 3 2 1 4 1 0 2 3 1 0 4 2 1 0 2 4 2 4 3 3 1 0 0 1 3</values>
7.71/3.38	v </instantiation>
7.71/3.38	c (0,0) Show results End
7.71/3.38	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.71/3.38	c (0,0) 0,0,STOP-AFTER(ALL)
7.71/3.38	c END-Prog: Tue Sep 24 16:40:27 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 (12415 MiB free)
  memory of node 1: 16384 MiB (12779 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=30611, runsolver pid=30608

[startup+0.10015 s]*
/proc/loadavg: 3.86 1.11 0.42 2/212 30633
/proc/meminfo: memFree=25704148/32770624 swapFree=66966880/67108860
[pid=30611] ppid=30608 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30611/stat : 30611 (scop.sh) S 30608 30611 30433 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 509543024 115843072 349 33554432000 4194304 5098028 140732694058992 140732694056248 139699856069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38940672 140732694065917 140732694066264 140732694066264 140732694069193 0
/proc/30611/statm: 28282 349 296 221 0 87 0
[pid=30614] ppid=30611 vsize=27314120 memory=107360 CPUtime=0.1 cores=0-7
/proc/30614/stat : 30614 (java) S 30611 30611 30433 0 -1 1077944320 6891 0 0 0 8 2 0 0 20 0 20 0 509543024 27969658880 26840 33554432000 4194304 4196468 140725757822032 140725757804576 139879633911543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
/proc/30614/statm: 6828530 26840 2803 1 0 6790935 0
[pid=30614/tid=30615] ppid=30611 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30614/task/30615/stat : 30615 (java) R 30611 30611 30433 0 -1 4202560 4999 0 0 0 7 2 0 0 20 0 20 0 509543025 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879605715744 139879617991956 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30616] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30616/stat : 30616 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879638153616 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30617] ppid=30611 vsize=27314120 memory=140632217757312 CPUtime=0 cores=0-7
/proc/30614/task/30617/stat : 30617 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879452309776 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30618] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30618/stat : 30618 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879451257488 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30619] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30619/stat : 30619 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879450204688 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30620] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30620/stat : 30620 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879449152400 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30621] ppid=30611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30614/task/30621/stat : 30621 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879448099600 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30622] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30622/stat : 30622 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879447047312 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30623] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30623/stat : 30623 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 26840 33554432000 4194304 4196468 140725757822032 139879445994512 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30624] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30624/stat : 30624 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 26840 33554432000 4194304 4196468 140725757822032 139877752481904 139879633922690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30625] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30625/stat : 30625 (java) S 30611 30611 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 26840 33554432000 4194304 4196468 140725757822032 139877555364640 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30626] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30626/stat : 30626 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 26840 33554432000 4194304 4196468 140725757822032 139877286929520 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30627] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30627/stat : 30627 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 26840 33554432000 4194304 4196468 140725757822032 139876912420944 139879633930139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30628] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30628/stat : 30628 (java) S 30611 30611 30433 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 26840 33554432000 4194304 4196468 140725757822032 139877751429744 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30629] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30629/stat : 30629 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 26840 33554432000 4194304 4196468 140725757822032 139877750376944 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30630] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30630/stat : 30630 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 26840 33554432000 4194304 4196468 140725757822032 139877749324656 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30631] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30631/stat : 30631 (java) S 30611 30611 30433 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 26840 33554432000 4194304 4196468 140725757822032 139877748271856 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30632] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30632/stat : 30632 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 26840 33554432000 4194304 4196468 140725757822032 139876414515552 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30633] ppid=30611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30614/task/30633/stat : 30633 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 26840 33554432000 4194304 4196468 140725757822032 139877747218736 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108756 KiB

[startup+0.210352 s]*
/proc/loadavg: 3.86 1.11 0.42 3/212 30633
/proc/meminfo: memFree=25685712/32770624 swapFree=66966880/67108860
[pid=30611] ppid=30608 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30611/stat : 30611 (scop.sh) S 30608 30611 30433 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 509543024 115843072 349 33554432000 4194304 5098028 140732694058992 140732694056248 139699856069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38940672 140732694065917 140732694066264 140732694066264 140732694069193 0
/proc/30611/statm: 28282 349 296 221 0 87 0
[pid=30614] ppid=30611 vsize=27314120 memory=124320 CPUtime=0.25 cores=0-7
/proc/30614/stat : 30614 (java) S 30611 30611 30433 0 -1 1077944320 11773 0 0 0 21 4 0 0 20 0 20 0 509543024 27969658880 31080 33554432000 4194304 4196468 140725757822032 140725757804576 139879633911543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
/proc/30614/statm: 6828530 31080 2922 1 0 6790935 0
[pid=30614/tid=30615] ppid=30611 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/30614/task/30615/stat : 30615 (java) R 30611 30611 30433 0 -1 4202560 9498 0 0 0 17 3 0 0 20 0 20 0 509543025 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879605715744 139879615475141 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30616] ppid=30611 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/30614/task/30616/stat : 30616 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879638153616 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30617] ppid=30611 vsize=27314120 memory=140632217784176 CPUtime=0 cores=0-7
/proc/30614/task/30617/stat : 30617 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879452309776 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30618] ppid=30611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30614/task/30618/stat : 30618 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879451257488 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30619] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30619/stat : 30619 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879450204688 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30620] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30620/stat : 30620 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879449152400 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30621] ppid=30611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30614/task/30621/stat : 30621 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879448099600 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30622] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30622/stat : 30622 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879447047312 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30623] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30623/stat : 30623 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31080 33554432000 4194304 4196468 140725757822032 139879445994512 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30624] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30624/stat : 30624 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 31080 33554432000 4194304 4196468 140725757822032 139877752481904 139879633922690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30625] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30625/stat : 30625 (java) S 30611 30611 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 31080 33554432000 4194304 4196468 140725757822032 139877555364640 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30626] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30626/stat : 30626 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 31080 33554432000 4194304 4196468 140725757822032 139877286929520 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30627] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30627/stat : 30627 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31080 33554432000 4194304 4196468 140725757822032 139876912420944 139879633930139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30628] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30628/stat : 30628 (java) S 30611 30611 30433 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31080 33554432000 4194304 4196468 140725757822032 139877751429744 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30629] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30629/stat : 30629 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31080 33554432000 4194304 4196468 140725757822032 139877750376944 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30630] ppid=30611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30614/task/30630/stat : 30630 (java) S 30611 30611 30433 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31080 33554432000 4194304 4196468 140725757822032 139877749324656 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30631] ppid=30611 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30614/task/30631/stat : 30631 (java) S 30611 30611 30433 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 20 0 509543032 27969658880 31080 33554432000 4194304 4196468 140725757822032 139877748271856 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30632] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30632/stat : 30632 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31080 33554432000 4194304 4196468 140725757822032 139876414515552 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30633] ppid=30611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30614/task/30633/stat : 30633 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31080 33554432000 4194304 4196468 140725757822032 139877747218736 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125716 KiB

[startup+0.310805 s]*
/proc/loadavg: 3.86 1.11 0.42 2/212 30633
/proc/meminfo: memFree=25682424/32770624 swapFree=66966880/67108860
[pid=30611] ppid=30608 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30611/stat : 30611 (scop.sh) S 30608 30611 30433 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 509543024 115843072 349 33554432000 4194304 5098028 140732694058992 140732694056248 139699856069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38940672 140732694065917 140732694066264 140732694066264 140732694069193 0
/proc/30611/statm: 28282 349 296 221 0 87 0
[pid=30614] ppid=30611 vsize=27314120 memory=127872 CPUtime=0.42 cores=0-7
/proc/30614/stat : 30614 (java) S 30611 30611 30433 0 -1 1077944320 12837 0 0 0 38 4 0 0 20 0 20 0 509543024 27969658880 31968 33554432000 4194304 4196468 140725757822032 140725757804576 139879633911543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
/proc/30614/statm: 6828530 31968 3029 1 0 6790935 0
[pid=30614/tid=30615] ppid=30611 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30614/task/30615/stat : 30615 (java) R 30611 30611 30433 0 -1 4202560 10376 0 0 0 26 3 0 0 20 0 20 0 509543025 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879605706216 139879615475095 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30616] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30616/stat : 30616 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879638153616 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30617] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30617/stat : 30617 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879452309776 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30618] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30618/stat : 30618 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879451257488 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30619] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30619/stat : 30619 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879450204688 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30620] ppid=30611 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/30614/task/30620/stat : 30620 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879449152400 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30621] ppid=30611 vsize=27314120 memory=140632060425135 CPUtime=0 cores=0-7
/proc/30614/task/30621/stat : 30621 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879448099600 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30622] ppid=30611 vsize=27314120 memory=140632060427440 CPUtime=0 cores=0-7
/proc/30614/task/30622/stat : 30622 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879447047312 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30623] ppid=30611 vsize=27314120 memory=3472464530241598944 CPUtime=0 cores=0-7
/proc/30614/task/30623/stat : 30623 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27969658880 31968 33554432000 4194304 4196468 140725757822032 139879445994512 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30624] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30624/stat : 30624 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 31968 33554432000 4194304 4196468 140725757822032 139877752481904 139879633922690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30625] ppid=30611 vsize=27314120 memory=281264120866448 CPUtime=0 cores=0-7
/proc/30614/task/30625/stat : 30625 (java) S 30611 30611 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 31968 33554432000 4194304 4196468 140725757822032 139877555364640 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30626] ppid=30611 vsize=27314120 memory=281264120873360 CPUtime=0 cores=0-7
/proc/30614/task/30626/stat : 30626 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543029 27969658880 31968 33554432000 4194304 4196468 140725757822032 139877286929520 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30627] ppid=30611 vsize=27314120 memory=281264120814608 CPUtime=0 cores=0-7
/proc/30614/task/30627/stat : 30627 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31968 33554432000 4194304 4196468 140725757822032 139876912420944 139879633930139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30628] ppid=30611 vsize=27314120 memory=281264120887184 CPUtime=0.01 cores=0-7
/proc/30614/task/30628/stat : 30628 (java) S 30611 30611 30433 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 20 0 509543032 27969658880 31968 33554432000 4194304 4196468 140725757822032 139877751429744 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30629] ppid=30611 vsize=27314120 memory=281264120894096 CPUtime=0.01 cores=0-7
/proc/30614/task/30629/stat : 30629 (java) S 30611 30611 30433 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 509543032 27969658880 31968 33554432000 4194304 4196468 140725757822032 139877750376944 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30630] ppid=30611 vsize=27314120 memory=281264120891792 CPUtime=0.01 cores=0-7
/proc/30614/task/30630/stat : 30630 (java) S 30611 30611 30433 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 509543032 27969658880 31968 33554432000 4194304 4196468 140725757822032 139877749324656 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30631] ppid=30611 vsize=27314120 memory=281264120907952 CPUtime=0.07 cores=0-7
/proc/30614/task/30631/stat : 30631 (java) S 30611 30611 30433 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 509543032 27969658880 31968 33554432000 4194304 4196468 140725757822032 139877748271856 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30632] ppid=30611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30632/stat : 30632 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31968 33554432000 4194304 4196468 140725757822032 139876414515552 139879633921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30633] ppid=30611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30614/task/30633/stat : 30633 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543032 27969658880 31968 33554432000 4194304 4196468 140725757822032 139877747218736 139879633922690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129268 KiB

[startup+0.700984 s]
/proc/loadavg: 3.86 1.11 0.42 2/212 30633
/proc/meminfo: memFree=25658952/32770624 swapFree=66966880/67108860
[pid=30611] ppid=30608 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30611/stat : 30611 (scop.sh) S 30608 30611 30433 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 509543024 115843072 349 33554432000 4194304 5098028 140732694058992 140732694056248 139699856069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38940672 140732694065917 140732694066264 140732694066264 140732694069193 0
/proc/30611/statm: 28282 349 296 221 0 87 0
[pid=30614] ppid=30611 vsize=27320392 memory=165220 CPUtime=0.99 cores=0-7
/proc/30614/stat : 30614 (java) S 30611 30611 30433 0 -1 1077944320 20393 0 0 0 92 7 0 0 20 0 20 0 509543024 27976081408 41305 33554432000 4194304 4196468 140725757822032 140725757804576 139879633911543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
/proc/30614/statm: 6830098 41305 3159 1 0 6791447 0
[pid=30614/tid=30615] ppid=30611 vsize=27320392 memory=281264121265840 CPUtime=0.68 cores=0-7
/proc/30614/task/30615/stat : 30615 (java) R 30611 30611 30433 0 -1 4202560 17410 0 0 0 62 6 0 0 20 0 20 0 509543025 27976081408 41305 33554432000 4194304 4196468 140725757822032 139879605747584 139879617992030 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30616] ppid=30611 vsize=27320392 memory=140632060633968 CPUtime=0 cores=0-7
/proc/30614/task/30616/stat : 30616 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543027 27976081408 41305 33554432000 4194304 4196468 140725757822032 139879638153616 139879633921749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30617] ppid=30611 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/30614/task/30617/stat : 30617 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543027 27976081408 41305 33554432000 4194304 4196468 140725757822032 139879452309776 139879633921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0
[pid=30614/tid=30618] ppid=30611 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/30614/task/30618/stat : 30618 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543027 27976081408 41305 33554432000 4194304 4196468 140725757822032 139879451257488 139879633921749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140725757829831 140725757830278 140725757830278 140725757833167 0

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

/proc/loadavg: 3.86 1.11 0.42 5/211 30653
/proc/meminfo: memFree=25736472/32770624 swapFree=66966880/67108860
[pid=30611] ppid=30608 vsize=113128 memory=1476 CPUtime=6.41 cores=0-7
/proc/30611/stat : 30611 (scop.sh) S 30608 30611 30433 0 -1 4202496 582 30305 0 0 0 0 626 15 20 0 1 0 509543024 115843072 369 33554432000 4194304 5098028 140732694058992 140732694055736 139699856069244 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38940672 140732694065917 140732694066264 140732694066264 140732694069193 0
/proc/30611/statm: 28282 369 311 221 0 87 0
[pid=30634] ppid=30611 vsize=7752288 memory=95280 CPUtime=0.79 cores=0-7
/proc/30634/stat : 30634 (java) S 30611 30611 30433 0 -1 1077944320 17671 0 0 0 74 5 0 0 20 0 20 0 509543276 7938342912 23820 33554432000 4194304 4196468 140733067316912 140733067299456 140584686960375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
/proc/30634/statm: 1938072 23820 3084 1 0 1899951 0
[pid=30634/tid=30635] ppid=30611 vsize=7752288 memory=281264120972704 CPUtime=0.57 cores=0-7
/proc/30634/task/30635/stat : 30635 (java) R 30611 30611 30433 0 -1 4202560 15320 0 0 0 53 4 0 0 20 0 20 0 509543277 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584658767168 140584671040862 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30636] ppid=30611 vsize=7752288 memory=133635558607594 CPUtime=0 cores=0-7
/proc/30634/task/30636/stat : 30636 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584691202960 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30637] ppid=30611 vsize=7752288 memory=133648443509482 CPUtime=0 cores=0-7
/proc/30634/task/30637/stat : 30637 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543278 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584491371280 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30638] ppid=30611 vsize=7752288 memory=133661328411370 CPUtime=0 cores=0-7
/proc/30634/task/30638/stat : 30638 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584490318992 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30639] ppid=30611 vsize=7752288 memory=140632217757311 CPUtime=0 cores=0-7
/proc/30634/task/30639/stat : 30639 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543278 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584489266192 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30640] ppid=30611 vsize=7752288 memory=8028631073110250065 CPUtime=0 cores=0-7
/proc/30634/task/30640/stat : 30640 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584488212880 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30641] ppid=30611 vsize=7752288 memory=11553 CPUtime=0 cores=0-7
/proc/30634/task/30641/stat : 30641 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584487160080 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30642] ppid=30611 vsize=7752288 memory=0 CPUtime=0 cores=0-7
/proc/30634/task/30642/stat : 30642 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584486107792 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30643] ppid=30611 vsize=7752288 memory=0 CPUtime=0 cores=0-7
/proc/30634/task/30643/stat : 30643 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543278 7938342912 23820 33554432000 4194304 4196468 140733067316912 140584485054992 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30644] ppid=30611 vsize=7752288 memory=1432 CPUtime=0 cores=0-7
/proc/30634/task/30644/stat : 30644 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543279 7938342912 23820 33554432000 4194304 4196468 140733067316912 140583922997872 140584686971522 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30645] ppid=30611 vsize=7752288 memory=776 CPUtime=0 cores=0-7
/proc/30634/task/30645/stat : 30645 (java) S 30611 30611 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509543280 7938342912 23820 33554432000 4194304 4196468 140733067316912 140583070852384 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30646] ppid=30611 vsize=7752288 memory=1056 CPUtime=0 cores=0-7
/proc/30634/task/30646/stat : 30646 (java) S 30611 30611 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509543280 7938342912 23820 33554432000 4194304 4196468 140733067316912 140582936630896 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30647] ppid=30611 vsize=7752288 memory=3616 CPUtime=0 cores=0-7
/proc/30634/task/30647/stat : 30647 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543282 7938342912 23820 33554432000 4194304 4196468 140733067316912 140582562126416 140584686978971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30648] ppid=30611 vsize=7752288 memory=1552 CPUtime=0.03 cores=0-7
/proc/30634/task/30648/stat : 30648 (java) S 30611 30611 30433 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 20 0 509543282 7938342912 23820 33554432000 4194304 4196468 140733067316912 140583921944688 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30649] ppid=30611 vsize=7752288 memory=1708 CPUtime=0.01 cores=0-7
/proc/30634/task/30649/stat : 30649 (java) S 30611 30611 30433 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 20 0 509543282 7938342912 23820 33554432000 4194304 4196468 140733067316912 140583920891888 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30650] ppid=30611 vsize=7752288 memory=1196 CPUtime=0.03 cores=0-7
/proc/30634/task/30650/stat : 30650 (java) S 30611 30611 30433 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 20 0 509543282 7938342912 23820 33554432000 4194304 4196468 140733067316912 140583919839600 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30651] ppid=30611 vsize=7752288 memory=1044 CPUtime=0.13 cores=0-7
/proc/30634/task/30651/stat : 30651 (java) R 30611 30611 30433 0 -1 4202560 334 0 0 0 13 0 0 0 20 0 20 0 509543282 7938342912 23820 33554432000 4194304 4196468 140733067316912 140583918786800 140584686981722 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30652] ppid=30611 vsize=7752288 memory=712 CPUtime=0 cores=0-7
/proc/30634/task/30652/stat : 30652 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543283 7938342912 23820 33554432000 4194304 4196468 140733067316912 140582064221024 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30653] ppid=30611 vsize=7752288 memory=3612 CPUtime=0 cores=0-7
/proc/30634/task/30653/stat : 30653 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543283 7938342912 23820 33554432000 4194304 4196468 140733067316912 140583917734704 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 7865416 KiB
Current children cumulated memory: 96756 KiB

[startup+3.39704 s]
# the end of solver process 30611 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.65154 s, system=0.24245 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20115 s]
/proc/loadavg: 3.86 1.11 0.42 5/211 30653
/proc/meminfo: memFree=25736472/32770624 swapFree=66966880/67108860
[pid=30611] ppid=30608 vsize=113128 memory=1476 CPUtime=6.41 cores=0-7
/proc/30611/stat : 30611 (scop.sh) S 30608 30611 30433 0 -1 4202496 582 30305 0 0 0 0 626 15 20 0 1 0 509543024 115843072 369 33554432000 4194304 5098028 140732694058992 140732694055736 139699856069244 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38940672 140732694065917 140732694066264 140732694066264 140732694069193 0
/proc/30611/statm: 28282 369 311 221 0 87 0
[pid=30634] ppid=30611 vsize=7754336 memory=98908 CPUtime=0.94 cores=0-7
/proc/30634/stat : 30634 (java) S 30611 30611 30433 0 -1 1077944320 18287 0 0 0 89 5 0 0 20 0 20 0 509543276 7940440064 24727 33554432000 4194304 4196468 140733067316912 140733067299456 140584686960375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
/proc/30634/statm: 1938584 24727 3090 1 0 1900463 0
[pid=30634/tid=30635] ppid=30611 vsize=7754336 memory=2020 CPUtime=0.65 cores=0-7
/proc/30634/task/30635/stat : 30635 (java) R 30611 30611 30433 0 -1 1077944384 15803 0 0 0 61 4 0 0 20 0 20 0 509543277 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584658795584 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30636] ppid=30611 vsize=7754336 memory=1432 CPUtime=0 cores=0-7
/proc/30634/task/30636/stat : 30636 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584691202960 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30637] ppid=30611 vsize=7754336 memory=776 CPUtime=0 cores=0-7
/proc/30634/task/30637/stat : 30637 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543278 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584491371280 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30638] ppid=30611 vsize=7754336 memory=1056 CPUtime=0 cores=0-7
/proc/30634/task/30638/stat : 30638 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584490318992 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30639] ppid=30611 vsize=7754336 memory=3616 CPUtime=0 cores=0-7
/proc/30634/task/30639/stat : 30639 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543278 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584489266192 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30640] ppid=30611 vsize=7754336 memory=1552 CPUtime=0 cores=0-7
/proc/30634/task/30640/stat : 30640 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584488212880 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30641] ppid=30611 vsize=7754336 memory=168218099 CPUtime=0 cores=0-7
/proc/30634/task/30641/stat : 30641 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584487160080 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30642] ppid=30611 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/30634/task/30642/stat : 30642 (java) S 30611 30611 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509543278 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584486107792 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30643] ppid=30611 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/30634/task/30643/stat : 30643 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543278 7940440064 24727 33554432000 4194304 4196468 140733067316912 140584485054992 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30644] ppid=30611 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/30634/task/30644/stat : 30644 (java) S 30611 30611 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 509543279 7940440064 24727 33554432000 4194304 4196468 140733067316912 140583922997872 140584686971522 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30645] ppid=30611 vsize=7754336 memory=3 CPUtime=0 cores=0-7
/proc/30634/task/30645/stat : 30645 (java) S 30611 30611 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509543280 7940440064 24727 33554432000 4194304 4196468 140733067316912 140583070852384 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30646] ppid=30611 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/30634/task/30646/stat : 30646 (java) S 30611 30611 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509543280 7940440064 24727 33554432000 4194304 4196468 140733067316912 140582936630896 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30647] ppid=30611 vsize=7754336 memory=37655 CPUtime=0 cores=0-7
/proc/30634/task/30647/stat : 30647 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543282 7940440064 24727 33554432000 4194304 4196468 140733067316912 140582562126416 140584686978971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30648] ppid=30611 vsize=7754336 memory=0 CPUtime=0.04 cores=0-7
/proc/30634/task/30648/stat : 30648 (java) S 30611 30611 30433 0 -1 1077944384 422 0 0 0 4 0 0 0 20 0 20 0 509543282 7940440064 24727 33554432000 4194304 4196468 140733067316912 140583921944688 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30649] ppid=30611 vsize=7754336 memory=0 CPUtime=0.02 cores=0-7
/proc/30634/task/30649/stat : 30649 (java) S 30611 30611 30433 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 20 0 509543282 7940440064 24727 33554432000 4194304 4196468 140733067316912 140583920891888 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30650] ppid=30611 vsize=7754336 memory=0 CPUtime=0.04 cores=0-7
/proc/30634/task/30650/stat : 30650 (java) S 30611 30611 30433 0 -1 1077944384 111 0 0 0 4 0 0 0 20 0 20 0 509543282 7940440064 24727 33554432000 4194304 4196468 140733067316912 140583919839600 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30651] ppid=30611 vsize=7754336 memory=1396 CPUtime=0.16 cores=0-7
/proc/30634/task/30651/stat : 30651 (java) S 30611 30611 30433 0 -1 1077944384 412 0 0 0 16 0 0 0 20 0 20 0 509543282 7940440064 24727 33554432000 4194304 4196468 140733067316912 140583918786800 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30652] ppid=30611 vsize=7754336 memory=171876 CPUtime=0 cores=0-7
/proc/30634/task/30652/stat : 30652 (java) S 30611 30611 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509543283 7940440064 24727 33554432000 4194304 4196468 140733067316912 140582064221024 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30653] ppid=30611 vsize=7754336 memory=2832 CPUtime=0 cores=0-7
/proc/30634/task/30653/stat : 30653 (java) S 30611 30611 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509543283 7940440064 24727 33554432000 4194304 4196468 140733067316912 140583917734704 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 100384 KiB

[startup+3.30877 s]
/proc/loadavg: 3.86 1.11 0.42 5/211 30653
/proc/meminfo: memFree=25736472/32770624 swapFree=66966880/67108860
[pid=30611] ppid=30608 vsize=113128 memory=1476 CPUtime=6.41 cores=0-7
/proc/30611/stat : 30611 (scop.sh) S 30608 30611 30433 0 -1 4202496 582 30305 0 0 0 0 626 15 20 0 1 0 509543024 115843072 369 33554432000 4194304 5098028 140732694058992 140732694055736 139699856069244 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 38940672 140732694065917 140732694066264 140732694066264 140732694069193 0
/proc/30611/statm: 28282 369 311 221 0 87 0
[pid=30634] ppid=30611 vsize=8217512 memory=117040 CPUtime=1.3 cores=0-7
/proc/30634/stat : 30634 (java) S 30611 30611 30433 0 -1 1077944320 19871 1828 0 0 121 6 3 0 20 0 22 0 509543276 8414732288 29260 33554432000 4194304 4196468 140733067316912 140733067299456 140584686960375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
/proc/30634/statm: 2054378 29260 3214 1 0 2015722 0
[pid=30634/tid=30635] ppid=30611 vsize=8217512 memory=1476 CPUtime=0.79 cores=0-7
/proc/30634/task/30635/stat : 30635 (java) R 30611 30611 30433 0 -1 4202560 16630 1828 0 0 71 5 3 0 20 0 22 0 509543277 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584658779192 140584686974224 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30636] ppid=30611 vsize=8217512 memory=281264120972704 CPUtime=0.03 cores=0-7
/proc/30634/task/30636/stat : 30636 (java) S 30611 30611 30433 0 -1 1077944384 2 1828 0 0 0 0 3 0 20 0 22 0 509543278 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584691202960 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30637] ppid=30611 vsize=8217512 memory=133635558607594 CPUtime=0.03 cores=0-7
/proc/30634/task/30637/stat : 30637 (java) S 30611 30611 30433 0 -1 1077944384 1 1828 0 0 0 0 3 0 20 0 22 0 509543278 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584491371280 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30638] ppid=30611 vsize=8217512 memory=133648443509482 CPUtime=0.03 cores=0-7
/proc/30634/task/30638/stat : 30638 (java) S 30611 30611 30433 0 -1 1077944384 2 1828 0 0 0 0 3 0 20 0 22 0 509543278 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584490318992 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30639] ppid=30611 vsize=8217512 memory=133661328411370 CPUtime=0.03 cores=0-7
/proc/30634/task/30639/stat : 30639 (java) S 30611 30611 30433 0 -1 1077944384 3 1828 0 0 0 0 3 0 20 0 22 0 509543278 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584489266192 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30640] ppid=30611 vsize=8217512 memory=140632217757311 CPUtime=0.03 cores=0-7
/proc/30634/task/30640/stat : 30640 (java) S 30611 30611 30433 0 -1 1077944384 2 1828 0 0 0 0 3 0 20 0 22 0 509543278 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584488212880 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30641] ppid=30611 vsize=8217512 memory=8028631073110250065 CPUtime=0.03 cores=0-7
/proc/30634/task/30641/stat : 30641 (java) S 30611 30611 30433 0 -1 1077944384 2 1828 0 0 0 0 3 0 20 0 22 0 509543278 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584487160080 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30642] ppid=30611 vsize=8217512 memory=11553 CPUtime=0.03 cores=0-7
/proc/30634/task/30642/stat : 30642 (java) S 30611 30611 30433 0 -1 1077944384 2 1828 0 0 0 0 3 0 20 0 22 0 509543278 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584486107792 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30643] ppid=30611 vsize=8217512 memory=0 CPUtime=0.03 cores=0-7
/proc/30634/task/30643/stat : 30643 (java) S 30611 30611 30433 0 -1 1077944384 1 1828 0 0 0 0 3 0 20 0 22 0 509543278 8414732288 29260 33554432000 4194304 4196468 140733067316912 140584485054992 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30644] ppid=30611 vsize=8217512 memory=0 CPUtime=0.03 cores=0-7
/proc/30634/task/30644/stat : 30644 (java) S 30611 30611 30433 0 -1 1077944384 5 1828 0 0 0 0 3 0 20 0 22 0 509543279 8414732288 29260 33554432000 4194304 4196468 140733067316912 140583922997872 140584686971522 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30645] ppid=30611 vsize=8217512 memory=1432 CPUtime=0.03 cores=0-7
/proc/30634/task/30645/stat : 30645 (java) S 30611 30611 30433 0 -1 1077944384 13 1828 0 0 0 0 3 0 20 0 22 0 509543280 8414732288 29260 33554432000 4194304 4196468 140733067316912 140583070852384 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30646] ppid=30611 vsize=8217512 memory=776 CPUtime=0.03 cores=0-7
/proc/30634/task/30646/stat : 30646 (java) S 30611 30611 30433 0 -1 1077944384 21 1828 0 0 0 0 3 0 20 0 22 0 509543280 8414732288 29260 33554432000 4194304 4196468 140733067316912 140582936630896 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30647] ppid=30611 vsize=8217512 memory=1056 CPUtime=0.03 cores=0-7
/proc/30634/task/30647/stat : 30647 (java) S 30611 30611 30433 0 -1 1077944384 1 1828 0 0 0 0 3 0 20 0 22 0 509543282 8414732288 29260 33554432000 4194304 4196468 140733067316912 140582562126416 140584686978971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30648] ppid=30611 vsize=8217512 memory=3616 CPUtime=0.11 cores=0-7
/proc/30634/task/30648/stat : 30648 (java) S 30611 30611 30433 0 -1 1077944384 641 1828 0 0 8 0 3 0 20 0 22 0 509543282 8414732288 29260 33554432000 4194304 4196468 140733067316912 140583921944688 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30649] ppid=30611 vsize=8217512 memory=1552 CPUtime=0.08 cores=0-7
/proc/30634/task/30649/stat : 30649 (java) S 30611 30611 30433 0 -1 1077944384 237 1828 0 0 5 0 3 0 20 0 22 0 509543282 8414732288 29260 33554432000 4194304 4196468 140733067316912 140583920891888 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30650] ppid=30611 vsize=8217512 memory=1708 CPUtime=0.12 cores=0-7
/proc/30634/task/30650/stat : 30650 (java) S 30611 30611 30433 0 -1 1077944384 295 1828 0 0 9 0 3 0 20 0 22 0 509543282 8414732288 29260 33554432000 4194304 4196468 140733067316912 140583919839600 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30651] ppid=30611 vsize=8217512 memory=1196 CPUtime=0.26 cores=0-7
/proc/30634/task/30651/stat : 30651 (java) S 30611 30611 30433 0 -1 1077944384 571 1828 0 0 23 0 3 0 20 0 22 0 509543282 8414732288 29260 33554432000 4194304 4196468 140733067316912 140583918786800 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30652] ppid=30611 vsize=8217512 memory=1044 CPUtime=0.03 cores=0-7
/proc/30634/task/30652/stat : 30652 (java) S 30611 30611 30433 0 -1 1077944384 3 1828 0 0 0 0 3 0 20 0 22 0 509543283 8414732288 29260 33554432000 4194304 4196468 140733067316912 140582064221024 140584686970581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
[pid=30634/tid=30653] ppid=30611 vsize=8217512 memory=712 CPUtime=0.03 cores=0-7
/proc/30634/task/30653/stat : 30653 (java) S 30611 30611 30433 0 -1 1077944384 1 1828 0 0 0 0 3 0 20 0 22 0 509543283 8414732288 29260 33554432000 4194304 4196468 140733067316912 140583917734704 140584686971522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140733067322335 140733067322502 140733067322502 140733067325391 0
Current children cumulated CPU time: 7.71 s
Current children cumulated vsize: 8330640 KiB
Current children cumulated memory: 118516 KiB

Child status: 0
Real time (s): 3.39707
CPU time (s): 7.89399
CPU user time (s): 7.65154
CPU system time (s): 0.24245
CPU usage (%): 232.377
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 363964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.65154
system time used= 0.24245
maximum resident set size= 362876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9070
involuntary context switches= 20


# summary of solver processes directly reported to runsolver:
#   pid: 30611
#   total CPU time (s): 7.89399
#   total CPU user time (s): 7.65154
#   total CPU system time (s): 0.24245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045899 second user time and 0.086062 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 16:40:23
IDJOB=4405127
IDBENCH=126509
IDSOLVER=2867
FILE ID=node145/4405127-1569336066
RUNJOBID= node145-1569335936-30460
PBS_JOBID= 21705052
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-3-4-cp.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405127-1569336066/watcher-4405127-1569336066 -o /var/tmp/evaluation-result-4405127-1569336066/solver-4405127-1569336066 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405127-1569336066.xml

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

MD5SUM BENCH= fefd0dc8744a7f984307705d377cf1e3
RANDOM SEED=969539028

node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
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:        25799504 kB
MemAvailable:   31812076 kB
Buffers:          141984 kB
Cached:          6022912 kB
SwapCached:        32456 kB
Active:          3014380 kB
Inactive:        3187204 kB
Active(anon):       4216 kB
Inactive(anon):    89856 kB
Active(file):    3010164 kB
Inactive(file):  3097348 kB
Unevictable:      108768 kB
Mlocked:          108768 kB
SwapTotal:      67108860 kB
SwapFree:       66966880 kB
Dirty:             20784 kB
Writeback:             0 kB
AnonPages:        112976 kB
Mapped:            56056 kB
Shmem:             48848 kB
Slab:             361832 kB
SReclaimable:     333520 kB
SUnreclaim:        28312 kB
KernelStack:        3440 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514148 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node145 at 2019-09-24 16:40:27