Trace number 4392491

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-06-15)UNSAT 254.943 35.8523

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-15.xml
MD5SUM0275487dddce0dcf34d0f76368ca0063
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark62.4225
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints50
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":300}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":300}]
Minimum constraint arity10
Maximum constraint arity15
Distribution of constraint arities[{"arity":10,"count":30},{"arity":15,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":50}]
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-5784-serial-file.bin HOME/instance-4392491-1568437372.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 07:01:53 CEST 2019
0.66/0.56	c PID: 5787
0.66/0.56	c IP: 172.20.3.103
0.66/0.56	c HOST: node103.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.96	c (0,0) Parsing End
1.39/0.97	c (0,0) CSP: 0 int (0 aux), 300 bool (0 aux), 50 ctr, max domain size 2
1.39/0.97	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.39/0.97	c (0,0) Constraint Name Generate Begin
1.39/0.98	c (0,0) Ctr:HOME/instance-4392491-1568437372.xml,Num:Var:WeightedSum
1.39/0.98	c (0,0) Constraint Name Generate End
1.39/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.39/0.98	c (0,0) CSP to CSPinCNF Begin
1.58/1.08	c (0,0) translated 5 (10%) constraints
1.58/1.10	c (0,0) translated 10 (20%) constraints
1.78/1.11	c (0,0) translated 15 (30%) constraints
1.78/1.12	c (0,0) translated 20 (40%) constraints
1.78/1.13	c (0,0) translated 25 (50%) constraints
1.78/1.14	c (0,0) translated 30 (60%) constraints
1.78/1.15	c (0,0) translated 35 (70%) constraints
1.78/1.16	c (0,0) translated 40 (80%) constraints
1.78/1.17	c (0,0) translated 45 (90%) constraints
1.78/1.18	c (0,0) translated 50 (100%) constraints
1.78/1.19	c (0,0) ===========================================
1.78/1.19	c (0,0) Order
1.78/1.19	c (0,0) ===========================================
1.78/1.20	c (0,0) translated 5 (10%) constraints
2.14/1.20	c (0,0) translated 10 (20%) constraints
2.14/1.20	c (0,0) translated 15 (30%) constraints
2.14/1.20	c (0,0) translated 20 (40%) constraints
2.14/1.21	c (0,0) translated 25 (50%) constraints
2.14/1.21	c (0,0) translated 30 (60%) constraints
2.14/1.23	c (0,0) translated 35 (70%) constraints
2.14/1.24	c (0,0) translated 40 (80%) constraints
2.14/1.25	c (0,0) translated 45 (90%) constraints
2.14/1.27	c (0,0) translated 50 (100%) constraints
2.14/1.27	c (0,0) CSP to CSPinCNF End
2.14/1.27	c (0,0) CSP: 60 int (60 aux), 300 bool (0 aux), 110 ctr, max domain size 2
2.14/1.27	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.14/1.27	c (0,0) CSPinCNF Propagation Begin
2.14/1.29	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.14/1.29	c (0,0) CSPinCNF Propagation End
2.14/1.29	c (0,0) CSP: 60 int (60 aux), 300 bool (0 aux), 110 ctr, max domain size 2
2.14/1.29	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.14/1.29	c (0,0) Simplify CSPinCNF Begin
2.14/1.29	c (0,0) Simplify CSPinCNF End
2.14/1.29	c (0,0) CSP: 60 int (60 aux), 300 bool (0 aux), 110 ctr, max domain size 2
2.14/1.29	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.14/1.29	c (0,0) Calculate Precise Domain Begin
2.42/1.33	c (0,0) 0 values are removed by re-calculation
2.42/1.33	c (0,0) Calculate Precise Domain End
2.42/1.33	c (0,0) CSP: 60 int (60 aux), 300 bool (0 aux), 110 ctr, max domain size 2
2.42/1.33	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.42/1.33	c (0,0) CSPinCNF to SatSolver Begin
2.58/1.40	c (0,0) 11 (10 %) CSP clauses are encoded (0 SAT variables, 10 SAT clauses)
2.58/1.41	c (0,0) 22 (20 %) CSP clauses are encoded (0 SAT variables, 21 SAT clauses)
2.58/1.42	c (0,0) 33 (30 %) CSP clauses are encoded (0 SAT variables, 48 SAT clauses)
2.58/1.43	c (0,0) 44 (40 %) CSP clauses are encoded (0 SAT variables, 177 SAT clauses)
2.58/1.44	c (0,0) 55 (50 %) CSP clauses are encoded (0 SAT variables, 318 SAT clauses)
2.58/1.45	c (0,0) 66 (60 %) CSP clauses are encoded (0 SAT variables, 447 SAT clauses)
2.58/1.45	c (0,0) 77 (70 %) CSP clauses are encoded (0 SAT variables, 576 SAT clauses)
2.58/1.46	c (0,0) 88 (80 %) CSP clauses are encoded (0 SAT variables, 705 SAT clauses)
2.58/1.46	c (0,0) 99 (90 %) CSP clauses are encoded (0 SAT variables, 846 SAT clauses)
2.58/1.47	c (0,0) 110 (100 %) CSP clauses are encoded (0 SAT variables, 975 SAT clauses)
2.58/1.47	c (0,0) CSPinCNF to SatSolver End
2.58/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.58/1.47	c (0,0) 360 bool, 990 clause
2.58/1.47	c (0,0) Export Begin
2.82/1.57	c (1,1) Export to HOME/scop-5784-serial-file.bin
2.82/1.57	c (1,1) Export End
2.82/1.57	c (1,1) Export File Size: 0.05 MB
2.82/1.57	c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.82/1.57	c END-Prog: Sat Sep 14 07:01:54 CEST 2019
2.82/1.59	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5784-serial-file.bin
3.53/2.04	c (0,0) Read Serial File Begin
3.53/2.04	c (0,0) HOME/scop-5784-serial-file.bin
3.79/2.27	c (0,0) Read Serial File End
3.79/2.28	
3.79/2.28	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
3.79/2.28	(Solving Process)
3.79/2.28	
4.03/2.30	c BEGIN-Prog: Sat Sep 14 07:01:55 CEST 2019
4.03/2.30	c PID: 5807
4.03/2.30	c IP: 172.20.3.103
4.03/2.30	c HOST: node103.alineos.net
4.03/2.31	c (0,0) SatSolver.solve Begin
4.03/2.31	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392491-1568437372.xml-scop-5787.cnf
4.03/2.33	c (0,0) c
4.03/2.33	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)
4.03/2.33	c (0,0) c
4.03/2.33	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.03/2.33	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.03/2.33	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.03/2.33	c (0,0) c |                                                                                                       |
4.03/2.33	c (0,0) c |  Number of variables:           360                                                                   |
4.03/2.33	c (0,0) c |  Number of clauses:             990                                                                   |
4.03/2.33	c (0,0) c |  Parse time:                   0.00 s                                                                 |
4.03/2.33	c (0,0) c |                                                                                                       |
4.03/2.33	c (0,0) c |  Simplification time:          0.00 s                                                                 |
4.03/2.33	c (0,0) c |                                                                                                       |
4.03/2.33	c (0,0) c |  Generating clones                                                                                    |
4.03/2.33	c (0,0) c |  all clones generated. Memory =    23.56Mb.                                                           |
4.03/2.33	c (0,0) c ========================================================================================================|
4.03/2.33	c (0,0) c
4.03/2.33	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.03/2.33	c (0,0) c
4.03/2.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.03/2.33	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.03/2.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.03/2.33	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.03/2.33	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.03/2.33	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.03/2.33	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.03/2.33	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.03/2.33	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.03/2.33	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.03/2.33	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.03/2.33	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.03/2.33	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.03/2.33	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.03/2.33	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.03/2.33	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.03/2.33	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.03/2.33	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.03/2.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.37/31.76	c (29,0) c
228.37/31.76	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
228.37/31.76	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
228.37/31.76	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
228.37/31.76	c (29,0) c |  0 |    425 |     230524 |     194755 |      480 |    51058 |    17106 |   116715 |    14958 |      584 |  20 |  2.226 |
228.37/31.76	c (29,0) c |  1 |    597 |     247061 |     205652 |      480 |    38060 |    16394 |   119102 |     7908 |      586 |  20 |  1.947 |
228.37/31.76	c (29,0) c |  2 |    481 |     219820 |     183759 |      480 |    44105 |    17288 |   115263 |    14301 |      566 |  20 |  1.945 |
228.37/31.76	c (29,0) c |  3 |    455 |     230719 |     193998 |      480 |    52078 |    16548 |   118615 |    14506 |      585 |  20 |  1.949 |
228.37/31.76	c (29,0) c |  4 |    552 |     247493 |     205842 |      480 |    38247 |    17086 |   116532 |     8629 |      586 |  20 |  1.947 |
228.37/31.76	c (29,0) c |  5 |    449 |     231261 |     194119 |      480 |    52834 |    17960 |   115930 |    14575 |      574 |  20 |  1.945 |
228.37/31.76	c (29,0) c |  6 |    590 |     253347 |     210170 |      480 |    42579 |    17719 |   115748 |     8854 |      586 |  20 |  1.948 |
228.37/31.76	c (29,0) c |  7 |    464 |     229492 |     192253 |      480 |    51621 |    16776 |   117344 |    14310 |      584 |  20 |  1.948 |
228.37/31.76	c (29,0) c 
228.37/31.76	c (29,0) c synthesis     1580548 conflicts    29977464 propagations     7051 conflicts/sec   133740 propagations/sec
228.37/31.76	c (29,0) c real: 29.4204 s, cpu: 224.148 s, memory: 603.13 Mb
254.81/35.81	c (33,0) c
254.81/35.81	c (33,0) c real time : 33.4776 s
254.81/35.81	c (33,0) c cpu time  : 250.152 s
254.81/35.81	c (33,0) c
254.81/35.81	c (33,0) c
254.81/35.81	c (33,0) c
254.81/35.81	c (33,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
254.81/35.81	c (33,0) c
254.81/35.81	c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.81	c (33,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
254.81/35.81	c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.81	c (33,0) c | Conflicts     |         1719778 |     212768 |     220789 |     204204 |     210537 |     220302 |     213569 |     226354 |     211255 |
254.81/35.81	c (33,0) c | Decisions     |         2049581 |     251012 |     265132 |     243487 |     249625 |     263660 |     253512 |     271806 |     251347 |
254.81/35.81	c (33,0) c | Propagations  |        32692637 |    4030143 |    4230333 |    3857346 |    4000281 |    4188777 |    4039354 |    4317819 |    4028584 |
254.81/35.81	c (33,0) c | ReduceDBs     |              96 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |
254.81/35.81	c (33,0) c | SimpDBs       |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
254.81/35.81	c (33,0) c | Restarts      |            4177 |        429 |        650 |        503 |        472 |        563 |        470 |        612 |        478 |
254.81/35.81	c (33,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
254.81/35.81	c (33,0) c | PropBinClauses|        54253770 |    6615423 |    7121384 |    6296758 |    6545699 |    7130573 |    6577219 |    7342082 |    6624632 |
254.81/35.81	c (33,0) c | PropPreBlocker|      9027744542 | 1127280070 | 1124269316 | 1129138713 | 1122494483 | 1113853723 | 1137461600 | 1143044954 | 1130201683 |
254.81/35.81	c (33,0) c | PropNotBlocker|      3506103631 |  433524089 |  447632955 |  440789026 |  433593836 |  442078695 |  436561645 |  436071555 |  435851830 |
254.81/35.81	c (33,0) c | LitFullScans  |     31099121423 | 3889823338 | 3889926274 | 3872308912 | 3887346858 | 3889947624 | 3883988345 | 3895912150 | 3889867922 |
254.81/35.81	c (33,0) c | LitScanFracts |        15484282 |    1819956 |    1918153 |    2068860 |    1982614 |    1943500 |    1986224 |    1901874 |    1863101 |
254.81/35.81	c (33,0) c | DecisionLevel0|            4212 |        438 |        650 |        509 |        481 |        563 |        476 |        613 |        482 |
254.81/35.81	c (33,0) c | Periods       |            5180 |        648 |        648 |        645 |        647 |        648 |        647 |        649 |        648 |
254.81/35.81	c (33,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
254.81/35.81	c (33,0) c | Avg_Trail     |                 |        142 |        145 |        142 |        142 |        145 |        142 |        146 |        142 |
254.81/35.81	c (33,0) c | Avg_DL        |                 |         15 |         16 |         15 |         15 |         17 |         15 |         17 |         15 |
254.81/35.81	c (33,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
254.81/35.81	c (33,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
254.81/35.81	c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.81	c (33,0) c | Exported      |          147047 |      18790 |      17310 |      18629 |      18129 |      17812 |      19629 |      18302 |      18446 |
254.81/35.81	c (33,0) c | Imported      |          998976 |     125158 |     125014 |     124546 |     125683 |     125372 |     123629 |     124096 |     125478 |
254.81/35.81	c (33,0) c | Good          |             805 |         93 |        110 |         87 |         95 |        114 |        103 |        103 |        100 |
254.81/35.81	c (33,0) c | Purge         |          998171 |     125065 |     124904 |     124459 |     125588 |     125258 |     123526 |     123993 |     125378 |
254.81/35.81	c (33,0) c | Promoted      |          104962 |      16111 |       8462 |      15409 |      15474 |       8946 |      15835 |       9348 |      15377 |
254.81/35.81	c (33,0) c | Remove_Imp    |          482416 |      62022 |      58564 |      63877 |      64844 |      55285 |      58070 |      55065 |      64689 |
254.81/35.81	c (33,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
254.81/35.81	c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.81	c (33,0) c | Unaries       |                 |          9 |          0 |          6 |          9 |          0 |          6 |          1 |          4 |
254.81/35.81	c (33,0) c | Binaries      |                 |         46 |          2 |         43 |         39 |          2 |         29 |         11 |         34 |
254.81/35.81	c (33,0) c | Glues         |                 |         52 |          2 |         54 |         48 |          2 |         44 |         14 |         46 |
254.81/35.81	c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.81	c (33,0) c | Orig_Seen     |            50 % |        480 |        480 |        480 |        480 |        480 |        480 |        480 |        480 |
254.81/35.81	c (33,0) c | Diff Orig seen|                 | -        0 | -        0 |      X     | -        0 | -        0 | -        0 | -        0 | -        0 |
254.81/35.81	c (33,0) c | Hamming       |            16 % |         66 |         60 |      X     |         59 |         61 |         40 |         67 |         53 |
254.81/35.81	c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.81	c (33,0) c | RunningTime   |                 |   31.7  97%|   31.5  96%|   33.4 100%|   31.4  96%|   29.2  89%|   33.0 100%|   29.4  90%|   32.1  98%|
254.81/35.81	c (33,0) c | WaitingTime   |                 |    1.0   3%|    1.3   4%|    0.0   0%|    1.3   4%|    3.5  11%|    0.0   0%|    3.4  10%|    0.7   2%|
254.81/35.81	c (33,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
254.81/35.81	c (33,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%|
254.81/35.81	c (33,0) c | SolvingTime   |                 |   32.8     |   32.8     |   33.5     |   32.8     |   32.8     |   33.1     |   32.8     |   32.8     |
254.81/35.81	c (33,0) c | PropagationTim|                 |   30.8  94%|   30.6  93%|   31.6  94%|   31.0  94%|   30.8  94%|   30.9  93%|   30.7  93%|   30.9  94%|
254.81/35.81	c (33,0) c | AnalysisTime  |                 |    1.5   5%|    1.7   5%|    1.4   4%|    1.3   4%|    1.5   5%|    1.7   5%|    1.6   5%|    1.4   4%|
254.81/35.81	c (33,0) c | ReductionTime |                 |    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|
254.81/35.81	c (33,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%|
254.81/35.81	c (33,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%|
254.81/35.81	c (33,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%|
254.81/35.81	c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.81	c (33,0) c
254.81/35.81	c (33,0) c
254.81/35.81	c (33,0) c Threads : 8
254.81/35.81	c (33,0) c Winner : 2
254.81/35.81	c (33,0) c Conflicts_0 : 212768
254.81/35.81	c (33,0) c Conflicts_1 : 220789
254.81/35.81	c (33,0) c Conflicts_2 : 204204
254.81/35.81	c (33,0) c Conflicts_3 : 210537
254.81/35.81	c (33,0) c Conflicts_4 : 220302
254.81/35.81	c (33,0) c Conflicts_5 : 213569
254.81/35.81	c (33,0) c Conflicts_6 : 226354
254.81/35.81	c (33,0) c Conflicts_7 : 211255
254.81/35.81	c (33,0) c Conflicts_total : 1719778
254.81/35.81	c (33,0) c Conflicts_winner : 204204
254.81/35.81	c (33,0) c Decisions_0 : 251012
254.81/35.81	c (33,0) c Decisions_1 : 265132
254.81/35.81	c (33,0) c Decisions_2 : 243487
254.81/35.81	c (33,0) c Decisions_3 : 249625
254.81/35.81	c (33,0) c Decisions_4 : 263660
254.81/35.81	c (33,0) c Decisions_5 : 253512
254.81/35.81	c (33,0) c Decisions_6 : 271806
254.81/35.81	c (33,0) c Decisions_7 : 251347
254.81/35.81	c (33,0) c Decisions_total : 2049581
254.81/35.81	c (33,0) c Decisions_winner : 243487
254.81/35.81	c (33,0) c Propagations_0 : 4030143
254.81/35.81	c (33,0) c Propagations_1 : 4230333
254.81/35.81	c (33,0) c Propagations_2 : 3857346
254.81/35.81	c (33,0) c Propagations_3 : 4000281
254.81/35.81	c (33,0) c Propagations_4 : 4188777
254.81/35.81	c (33,0) c Propagations_5 : 4039354
254.81/35.81	c (33,0) c Propagations_6 : 4317819
254.81/35.81	c (33,0) c Propagations_7 : 4028584
254.81/35.81	c (33,0) c Propagations_total : 32692637
254.81/35.81	c (33,0) c Propagations_winner : 3857346
254.81/35.81	c (33,0) c ReduceDBs_0 : 12
254.81/35.81	c (33,0) c ReduceDBs_1 : 12
254.81/35.81	c (33,0) c ReduceDBs_2 : 12
254.81/35.81	c (33,0) c ReduceDBs_3 : 12
254.81/35.81	c (33,0) c ReduceDBs_4 : 12
254.81/35.81	c (33,0) c ReduceDBs_5 : 12
254.81/35.81	c (33,0) c ReduceDBs_6 : 12
254.81/35.81	c (33,0) c ReduceDBs_7 : 12
254.81/35.81	c (33,0) c ReduceDBs_total : 96
254.81/35.81	c (33,0) c ReduceDBs_winner : 12
254.81/35.81	c (33,0) c SimpDBs_0 : 2
254.81/35.81	c (33,0) c SimpDBs_1 : 2
254.81/35.81	c (33,0) c SimpDBs_2 : 2
254.81/35.81	c (33,0) c SimpDBs_3 : 2
254.81/35.81	c (33,0) c SimpDBs_4 : 2
254.81/35.81	c (33,0) c SimpDBs_5 : 2
254.81/35.81	c (33,0) c SimpDBs_6 : 2
254.81/35.81	c (33,0) c SimpDBs_7 : 2
254.81/35.81	c (33,0) c SimpDBs_total : 16
254.81/35.81	c (33,0) c SimpDBs_winner : 2
254.81/35.81	c (33,0) c Restarts_0 : 429
254.81/35.81	c (33,0) c Restarts_1 : 650
254.81/35.81	c (33,0) c Restarts_2 : 503
254.81/35.81	c (33,0) c Restarts_3 : 472
254.81/35.81	c (33,0) c Restarts_4 : 563
254.81/35.81	c (33,0) c Restarts_5 : 470
254.81/35.81	c (33,0) c Restarts_6 : 612
254.81/35.81	c (33,0) c Restarts_7 : 478
254.81/35.81	c (33,0) c Restarts_total : 4177
254.81/35.81	c (33,0) c Restarts_winner : 503
254.81/35.81	c (33,0) c ForcedImports_0 : 0
254.81/35.81	c (33,0) c ForcedImports_1 : 0
254.81/35.81	c (33,0) c ForcedImports_2 : 0
254.81/35.81	c (33,0) c ForcedImports_3 : 0
254.81/35.81	c (33,0) c ForcedImports_4 : 0
254.81/35.81	c (33,0) c ForcedImports_5 : 0
254.81/35.81	c (33,0) c ForcedImports_6 : 0
254.81/35.81	c (33,0) c ForcedImports_7 : 0
254.81/35.81	c (33,0) c ForcedImports_total : 0
254.81/35.81	c (33,0) c ForcedImports_winner : 0
254.81/35.81	c (33,0) c PropsBinClauses_0 : 6615423
254.81/35.81	c (33,0) c PropsBinClauses_1 : 7121384
254.81/35.81	c (33,0) c PropsBinClauses_2 : 6296758
254.81/35.81	c (33,0) c PropsBinClauses_3 : 6545699
254.81/35.81	c (33,0) c PropsBinClauses_4 : 7130573
254.81/35.81	c (33,0) c PropsBinClauses_5 : 6577219
254.81/35.81	c (33,0) c PropsBinClauses_6 : 7342082
254.81/35.81	c (33,0) c PropsBinClauses_7 : 6624632
254.81/35.81	c (33,0) c PropsBinClauses_total : 54253770
254.81/35.81	c (33,0) c PropsBinClauses_winner : 6296758
254.81/35.81	c (33,0) c PropsPreBlocker_0 : 1127280070
254.81/35.81	c (33,0) c PropsPreBlocker_1 : 1124269316
254.81/35.81	c (33,0) c PropsPreBlocker_2 : 1129138713
254.81/35.81	c (33,0) c PropsPreBlocker_3 : 1122494483
254.81/35.81	c (33,0) c PropsPreBlocker_4 : 1113853723
254.81/35.81	c (33,0) c PropsPreBlocker_5 : 1137461600
254.81/35.81	c (33,0) c PropsPreBlocker_6 : 1143044954
254.81/35.81	c (33,0) c PropsPreBlocker_7 : 1130201683
254.81/35.81	c (33,0) c PropsPreBlocker_total : 9027744542
254.81/35.81	c (33,0) c PropsPreBlocker_winner : 1129138713
254.81/35.81	c (33,0) c PropsNotBlocker_0 : 433524089
254.81/35.81	c (33,0) c PropsNotBlocker_1 : 447632955
254.81/35.81	c (33,0) c PropsNotBlocker_2 : 440789026
254.81/35.81	c (33,0) c PropsNotBlocker_3 : 433593836
254.81/35.81	c (33,0) c PropsNotBlocker_4 : 442078695
254.81/35.81	c (33,0) c PropsNotBlocker_5 : 436561645
254.81/35.81	c (33,0) c PropsNotBlocker_6 : 436071555
254.81/35.81	c (33,0) c PropsNotBlocker_7 : 435851830
254.81/35.81	c (33,0) c PropsNotBlocker_total : 3506103631
254.81/35.81	c (33,0) c PropsNotBlocker_winner : 440789026
254.81/35.81	c (33,0) c PropsLitFullScans_0 : 3889823338
254.81/35.81	c (33,0) c PropsLitFullScans_1 : 3889926274
254.81/35.81	c (33,0) c PropsLitFullScans_2 : 3872308912
254.81/35.81	c (33,0) c PropsLitFullScans_3 : 3887346858
254.81/35.81	c (33,0) c PropsLitFullScans_4 : 3889947624
254.81/35.81	c (33,0) c PropsLitFullScans_5 : 3883988345
254.81/35.81	c (33,0) c PropsLitFullScans_6 : 3895912150
254.81/35.81	c (33,0) c PropsLitFullScans_7 : 3889867922
254.81/35.81	c (33,0) c PropsLitFullScans_total : 31099121423
254.81/35.81	c (33,0) c PropsLitFullScans_winner : 3872308912
254.81/35.81	c (33,0) c LitScanFractions_0 : 1819956
254.81/35.81	c (33,0) c LitScanFractions_1 : 1918153
254.81/35.81	c (33,0) c LitScanFractions_2 : 2068860
254.81/35.81	c (33,0) c LitScanFractions_3 : 1982614
254.81/35.81	c (33,0) c LitScanFractions_4 : 1943500
254.81/35.81	c (33,0) c LitScanFractions_5 : 1986224
254.81/35.81	c (33,0) c LitScanFractions_6 : 1901874
254.81/35.81	c (33,0) c LitScanFractions_7 : 1863101
254.81/35.81	c (33,0) c LitScanFractions_total : 15484282
254.81/35.81	c (33,0) c LitScanFractions_winner : 2068860
254.81/35.81	c (33,0) c DecisionLevel0_0 : 438
254.81/35.81	c (33,0) c DecisionLevel0_1 : 650
254.81/35.81	c (33,0) c DecisionLevel0_2 : 509
254.81/35.81	c (33,0) c DecisionLevel0_3 : 481
254.81/35.81	c (33,0) c DecisionLevel0_4 : 563
254.81/35.81	c (33,0) c DecisionLevel0_5 : 476
254.81/35.81	c (33,0) c DecisionLevel0_6 : 613
254.81/35.81	c (33,0) c DecisionLevel0_7 : 482
254.81/35.82	c (33,0) c DecisionLevel0_total : 4212
254.81/35.82	c (33,0) c DecisionLevel0_winner : 509
254.81/35.82	c (33,0) c Periods_0 : 648
254.81/35.82	c (33,0) c Periods_1 : 648
254.81/35.82	c (33,0) c Periods_2 : 645
254.81/35.82	c (33,0) c Periods_3 : 647
254.81/35.82	c (33,0) c Periods_4 : 648
254.81/35.82	c (33,0) c Periods_5 : 647
254.81/35.82	c (33,0) c Periods_6 : 649
254.81/35.82	c (33,0) c Periods_7 : 648
254.81/35.82	c (33,0) c Periods_total : 5180
254.81/35.82	c (33,0) c Periods_winner : 645
254.81/35.82	c (33,0) c Margin_0 : 20
254.81/35.82	c (33,0) c Margin_1 : 20
254.81/35.82	c (33,0) c Margin_2 : 20
254.81/35.82	c (33,0) c Margin_3 : 20
254.81/35.82	c (33,0) c Margin_4 : 20
254.81/35.82	c (33,0) c Margin_5 : 20
254.81/35.82	c (33,0) c Margin_6 : 20
254.81/35.82	c (33,0) c Margin_7 : 20
254.81/35.82	c (33,0) c Margin_total : 160
254.81/35.82	c (33,0) c Margin_winner : 20
254.81/35.82	c (33,0) c Exported_0 : 18790
254.81/35.82	c (33,0) c Exported_1 : 17310
254.81/35.82	c (33,0) c Exported_2 : 18629
254.81/35.82	c (33,0) c Exported_3 : 18129
254.81/35.82	c (33,0) c Exported_4 : 17812
254.81/35.82	c (33,0) c Exported_5 : 19629
254.81/35.82	c (33,0) c Exported_6 : 18302
254.81/35.82	c (33,0) c Exported_7 : 18446
254.81/35.82	c (33,0) c Exported_total : 147047
254.81/35.82	c (33,0) c Exported_winner : 18629
254.81/35.82	c (33,0) c Imported_0 : 125158
254.81/35.82	c (33,0) c Imported_1 : 125014
254.81/35.82	c (33,0) c Imported_2 : 124546
254.81/35.82	c (33,0) c Imported_3 : 125683
254.81/35.82	c (33,0) c Imported_4 : 125372
254.81/35.82	c (33,0) c Imported_5 : 123629
254.81/35.82	c (33,0) c Imported_6 : 124096
254.81/35.82	c (33,0) c Imported_7 : 125478
254.81/35.82	c (33,0) c Imported_total : 998976
254.81/35.82	c (33,0) c Imported_winner : 124546
254.81/35.82	c (33,0) c Good_0 : 93
254.81/35.82	c (33,0) c Good_1 : 110
254.81/35.82	c (33,0) c Good_2 : 87
254.81/35.82	c (33,0) c Good_3 : 95
254.81/35.82	c (33,0) c Good_4 : 114
254.81/35.82	c (33,0) c Good_5 : 103
254.81/35.82	c (33,0) c Good_6 : 103
254.81/35.82	c (33,0) c Good_7 : 100
254.81/35.82	c (33,0) c Good_total : 805
254.81/35.82	c (33,0) c Good_winner : 87
254.81/35.82	c (33,0) c Purge_0 : 125065
254.81/35.82	c (33,0) c Purge_1 : 124904
254.81/35.82	c (33,0) c Purge_2 : 124459
254.81/35.82	c (33,0) c Purge_3 : 125588
254.81/35.82	c (33,0) c Purge_4 : 125258
254.81/35.82	c (33,0) c Purge_5 : 123526
254.81/35.82	c (33,0) c Purge_6 : 123993
254.81/35.82	c (33,0) c Purge_7 : 125378
254.81/35.82	c (33,0) c Purge_total : 998171
254.81/35.82	c (33,0) c Purge_winner : 124459
254.81/35.82	c (33,0) c Promoted_0 : 16111
254.81/35.82	c (33,0) c Promoted_1 : 8462
254.81/35.82	c (33,0) c Promoted_2 : 15409
254.81/35.82	c (33,0) c Promoted_3 : 15474
254.81/35.82	c (33,0) c Promoted_4 : 8946
254.81/35.82	c (33,0) c Promoted_5 : 15835
254.81/35.82	c (33,0) c Promoted_6 : 9348
254.81/35.82	c (33,0) c Promoted_7 : 15377
254.81/35.82	c (33,0) c Promoted_total : 104962
254.81/35.82	c (33,0) c Promoted_winner : 15409
254.81/35.82	c (33,0) c Remove_Imp_0 : 62022
254.81/35.82	c (33,0) c Remove_Imp_1 : 58564
254.81/35.82	c (33,0) c Remove_Imp_2 : 63877
254.81/35.82	c (33,0) c Remove_Imp_3 : 64844
254.81/35.82	c (33,0) c Remove_Imp_4 : 55285
254.81/35.82	c (33,0) c Remove_Imp_5 : 58070
254.81/35.82	c (33,0) c Remove_Imp_6 : 55065
254.81/35.82	c (33,0) c Remove_Imp_7 : 64689
254.81/35.82	c (33,0) c Remove_Imp_total : 482416
254.81/35.82	c (33,0) c Remove_Imp_winner : 63877
254.81/35.82	c (33,0) c Blocked_Reuse_0 : 0
254.81/35.82	c (33,0) c Blocked_Reuse_1 : 0
254.81/35.82	c (33,0) c Blocked_Reuse_2 : 0
254.81/35.82	c (33,0) c Blocked_Reuse_3 : 0
254.81/35.82	c (33,0) c Blocked_Reuse_4 : 0
254.81/35.82	c (33,0) c Blocked_Reuse_5 : 0
254.81/35.82	c (33,0) c Blocked_Reuse_6 : 0
254.81/35.82	c (33,0) c Blocked_Reuse_7 : 0
254.81/35.82	c (33,0) c Blocked_Reuse_total : 0
254.81/35.82	c (33,0) c Blocked_Reuse_winner : 0
254.81/35.82	c (33,0) c Unaries_0 : 9
254.81/35.82	c (33,0) c Unaries_1 : 0
254.81/35.82	c (33,0) c Unaries_2 : 6
254.81/35.82	c (33,0) c Unaries_3 : 9
254.81/35.82	c (33,0) c Unaries_4 : 0
254.81/35.82	c (33,0) c Unaries_5 : 6
254.81/35.82	c (33,0) c Unaries_6 : 1
254.81/35.82	c (33,0) c Unaries_7 : 4
254.81/35.82	c (33,0) c Unaries_total : 35
254.81/35.82	c (33,0) c Unaries_winner : 6
254.81/35.82	c (33,0) c Binaries_0 : 46
254.81/35.82	c (33,0) c Binaries_1 : 2
254.81/35.82	c (33,0) c Binaries_2 : 43
254.81/35.82	c (33,0) c Binaries_3 : 39
254.81/35.82	c (33,0) c Binaries_4 : 2
254.81/35.82	c (33,0) c Binaries_5 : 29
254.81/35.82	c (33,0) c Binaries_6 : 11
254.81/35.82	c (33,0) c Binaries_7 : 34
254.81/35.82	c (33,0) c Binaries_total : 206
254.81/35.82	c (33,0) c Binaries_winner : 43
254.81/35.82	c (33,0) c Glues_0 : 52
254.81/35.82	c (33,0) c Glues_1 : 2
254.81/35.82	c (33,0) c Glues_2 : 54
254.81/35.82	c (33,0) c Glues_3 : 48
254.81/35.82	c (33,0) c Glues_4 : 2
254.81/35.82	c (33,0) c Glues_5 : 44
254.81/35.82	c (33,0) c Glues_6 : 14
254.81/35.82	c (33,0) c Glues_7 : 46
254.81/35.82	c (33,0) c Glues_total : 262
254.81/35.82	c (33,0) c Glues_winner : 54
254.81/35.82	c (33,0) c RunningTime_0 : 31.715400
254.81/35.82	c (33,0) c RunningTime_1 : 31.485482
254.81/35.82	c (33,0) c RunningTime_2 : 33.372175
254.81/35.82	c (33,0) c RunningTime_3 : 31.440705
254.81/35.82	c (33,0) c RunningTime_4 : 29.231089
254.81/35.82	c (33,0) c RunningTime_5 : 33.027570
254.81/35.82	c (33,0) c RunningTime_6 : 29.405813
254.81/35.82	c (33,0) c RunningTime_7 : 32.084733
254.81/35.82	c (33,0) c RunningTime_total : 251.762966
254.81/35.82	c (33,0) c RunningTime_winner : 33.372175
254.81/35.82	c (33,0) c WaitingTime_0 : 1.021082
254.81/35.82	c (33,0) c WaitingTime_1 : 1.264140
254.81/35.82	c (33,0) c WaitingTime_2 : 0.000774
254.81/35.82	c (33,0) c WaitingTime_3 : 1.293162
254.81/35.82	c (33,0) c WaitingTime_4 : 3.506138
254.81/35.82	c (33,0) c WaitingTime_5 : 0.000851
254.81/35.82	c (33,0) c WaitingTime_6 : 3.351788
254.81/35.82	c (33,0) c WaitingTime_7 : 0.654054
254.81/35.82	c (33,0) c WaitingTime_total : 11.091989
254.81/35.82	c (33,0) c WaitingTime_winner : 0.000774
254.81/35.82	c (33,0) c ExchangingTime_0 : 0.067897
254.81/35.82	c (33,0) c ExchangingTime_1 : 0.074007
254.81/35.82	c (33,0) c ExchangingTime_2 : 0.073871
254.81/35.82	c (33,0) c ExchangingTime_3 : 0.070171
254.81/35.82	c (33,0) c ExchangingTime_4 : 0.076366
254.81/35.82	c (33,0) c ExchangingTime_5 : 0.077707
254.81/35.82	c (33,0) c ExchangingTime_6 : 0.074955
254.81/35.82	c (33,0) c ExchangingTime_7 : 0.075609
254.81/35.82	c (33,0) c ExchangingTime_total : 0.590583
254.81/35.82	c (33,0) c ExchangingTime_winner : 0.073871
254.81/35.82	c (33,0) c PeriodProcTime_0 : 0.004333
254.81/35.82	c (33,0) c PeriodProcTime_1 : 0.005022
254.81/35.82	c (33,0) c PeriodProcTime_2 : 0.007556
254.81/35.82	c (33,0) c PeriodProcTime_3 : 0.004193
254.81/35.82	c (33,0) c PeriodProcTime_4 : 0.004475
254.81/35.82	c (33,0) c PeriodProcTime_5 : 0.005696
254.81/35.82	c (33,0) c PeriodProcTime_6 : 0.004784
254.81/35.82	c (33,0) c PeriodProcTime_7 : 0.005095
254.81/35.82	c (33,0) c PeriodProcTime_total : 0.041155
254.81/35.82	c (33,0) c PeriodProcTime_winner : 0.007556
254.81/35.82	c (33,0) c SolvingTime_0 : 32.808713
254.81/35.82	c (33,0) c SolvingTime_1 : 32.828652
254.81/35.82	c (33,0) c SolvingTime_2 : 33.454377
254.81/35.82	c (33,0) c SolvingTime_3 : 32.808230
254.81/35.82	c (33,0) c SolvingTime_4 : 32.818069
254.81/35.82	c (33,0) c SolvingTime_5 : 33.111823
254.81/35.82	c (33,0) c SolvingTime_6 : 32.837339
254.81/35.82	c (33,0) c SolvingTime_7 : 32.819491
254.81/35.82	c (33,0) c SolvingTime_total : 263.486694
254.81/35.82	c (33,0) c SolvingTime_winner : 33.454377
254.81/35.82	c (33,0) c PropagationTime_0 : 30.795808
254.81/35.82	c (33,0) c PropagationTime_1 : 30.565919
254.81/35.82	c (33,0) c PropagationTime_2 : 31.579395
254.81/35.82	c (33,0) c PropagationTime_3 : 30.967704
254.81/35.82	c (33,0) c PropagationTime_4 : 30.812121
254.81/35.82	c (33,0) c PropagationTime_5 : 30.918857
254.81/35.82	c (33,0) c PropagationTime_6 : 30.695551
254.81/35.82	c (33,0) c PropagationTime_7 : 30.916703
254.81/35.82	c (33,0) c PropagationTime_total : 247.252057
254.81/35.82	c (33,0) c PropagationTime_winner : 31.579395
254.81/35.82	c (33,0) c AnalysisTime_0 : 1.545261
254.81/35.82	c (33,0) c AnalysisTime_1 : 1.723476
254.81/35.82	c (33,0) c AnalysisTime_2 : 1.368112
254.81/35.82	c (33,0) c AnalysisTime_3 : 1.336278
254.81/35.82	c (33,0) c AnalysisTime_4 : 1.509040
254.81/35.82	c (33,0) c AnalysisTime_5 : 1.686737
254.81/35.82	c (33,0) c AnalysisTime_6 : 1.606561
254.81/35.82	c (33,0) c AnalysisTime_7 : 1.420224
254.81/35.82	c (33,0) c AnalysisTime_total : 12.195688
254.81/35.82	c (33,0) c AnalysisTime_winner : 1.368112
254.81/35.82	c (33,0) c ReductionTime_0 : 0.223656
254.81/35.82	c (33,0) c ReductionTime_1 : 0.235368
254.81/35.82	c (33,0) c ReductionTime_2 : 0.227905
254.81/35.82	c (33,0) c ReductionTime_3 : 0.248610
254.81/35.82	c (33,0) c ReductionTime_4 : 0.234869
254.81/35.82	c (33,0) c ReductionTime_5 : 0.235442
254.81/35.82	c (33,0) c ReductionTime_6 : 0.233532
254.81/35.82	c (33,0) c ReductionTime_7 : 0.216510
254.81/35.82	c (33,0) c ReductionTime_total : 1.855895
254.81/35.82	c (33,0) c ReductionTime_winner : 0.227905
254.81/35.82	c (33,0) c SimplifyTime_0 : 0.007419
254.81/35.82	c (33,0) c SimplifyTime_1 : 0.007991
254.81/35.82	c (33,0) c SimplifyTime_2 : 0.010108
254.81/35.82	c (33,0) c SimplifyTime_3 : 0.008051
254.81/35.82	c (33,0) c SimplifyTime_4 : 0.007390
254.81/35.82	c (33,0) c SimplifyTime_5 : 0.008489
254.81/35.82	c (33,0) c SimplifyTime_6 : 0.021524
254.81/35.82	c (33,0) c SimplifyTime_7 : 0.007034
254.81/35.82	c (33,0) c SimplifyTime_total : 0.078006
254.81/35.82	c (33,0) c SimplifyTime_winner : 0.010108
254.81/35.82	c (33,0) c UsedRateTime_0 : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_1 : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_2 : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_3 : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_4 : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_5 : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_6 : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_7 : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_total : 0.000000
254.81/35.82	c (33,0) c UsedRateTime_winner : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_0 : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_1 : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_2 : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_3 : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_4 : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_5 : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_6 : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_7 : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_total : 0.000000
254.81/35.82	c (33,0) c OverlapRateTime_winner : 0.000000
254.81/35.82	c (33,0) c
254.81/35.82	c (33,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
254.81/35.82	c (33,0) c
254.81/35.82	c (33,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.82	c (33,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
254.81/35.82	c (33,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.82	c (33,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
254.81/35.82	c (33,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
254.81/35.82	c (33,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
254.81/35.82	c (33,0) c | Initial random_seed   | 2126472682 |  452765545 | 2147088200 |  685186193 |   91487966 | 1073347843 | 1215694609 | 1736141240 |
254.81/35.82	c (33,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
254.81/35.82	c (33,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
254.81/35.82	c (33,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
254.81/35.82	c (33,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
254.81/35.82	c (33,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
254.81/35.82	c (33,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
254.81/35.82	c (33,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
254.81/35.82	c (33,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
254.81/35.82	c (33,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
254.81/35.82	c (33,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
254.81/35.82	c (33,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
254.81/35.82	c (33,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.81/35.82	c (33,0) 
254.81/35.82	c (33,0) s UNSATISFIABLE
254.81/35.83	c (33,0) SatSolver.solve End
254.81/35.83	c (33,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
254.81/35.83	c (33,0) Show results Begin
254.81/35.83	s UNSATISFIABLE
254.81/35.83	c (33,0) Show results End
254.81/35.83	c (33,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
254.81/35.83	c (33,0) 33,33,STOP-AFTER(ALL)
254.81/35.83	c END-Prog: Sat Sep 14 07:02:29 CEST 2019

Verifier Data


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 (15018 MiB free)
  memory of node 1: 16384 MiB (15579 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392491-1568437372/watcher-4392491-1568437372 -o /tmp/evaluation-result-4392491-1568437372/solver-4392491-1568437372 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392491-1568437372.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=5784, runsolver pid=5781

[startup+0.100153 s]*
/proc/loadavg: 5.93 3.84 3.08 2/212 5806
/proc/meminfo: memFree=31240752/32770624 swapFree=66996988/67108860
[pid=5784] ppid=5781 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5784/stat : 5784 (scop.sh) S 5781 5784 3266 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419990240 115843072 348 33554432000 4194304 5098028 140731153907328 140731153904584 140353227907708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20156416 140731153908517 140731153908844 140731153908844 140731153911757 0
/proc/5784/statm: 28282 348 296 221 0 87 0
[pid=5787] ppid=5784 vsize=27314120 memory=104588 CPUtime=0.11 cores=0-7
/proc/5787/stat : 5787 (java) S 5784 5784 3266 0 -1 1077944320 6783 0 0 0 8 3 0 0 20 0 20 0 419990240 27969658880 26147 33554432000 4194304 4196468 140726605541824 140726605524368 139973194575607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
/proc/5787/statm: 6828530 26147 2777 1 0 6790935 0
[pid=5787/tid=5788] ppid=5784 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/5787/task/5788/stat : 5788 (java) R 5784 5784 3266 0 -1 4202560 4879 0 0 0 6 2 0 0 20 0 20 0 419990240 27969658880 26147 33554432000 4194304 4196468 140726605541824 139973166410048 139973194597533 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5789] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5789/stat : 5789 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 26147 33554432000 4194304 4196468 140726605541824 139973198818064 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5790] ppid=5784 vsize=27314120 memory=140473040918080 CPUtime=0 cores=0-7
/proc/5787/task/5790/stat : 5790 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 26147 33554432000 4194304 4196468 140726605541824 139973012974480 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5791] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5791/stat : 5791 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 26147 33554432000 4194304 4196468 140726605541824 139973011921936 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5792] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5792/stat : 5792 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 26147 33554432000 4194304 4196468 140726605541824 139973010869392 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5793] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5793/stat : 5793 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 26212 33554432000 4194304 4196468 140726605541824 139973009815824 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5794] ppid=5784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5787/task/5794/stat : 5794 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 26212 33554432000 4194304 4196468 140726605541824 139973008763280 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5795] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5795/stat : 5795 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 26212 33554432000 4194304 4196468 140726605541824 139973007710736 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5796] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5796/stat : 5796 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 26212 33554432000 4194304 4196468 140726605541824 139973006658192 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5797] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5797/stat : 5797 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990244 27969658880 26212 33554432000 4194304 4196468 140726605541824 139972252854768 139973194586754 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5798] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5798/stat : 5798 (java) S 5784 5784 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419990245 27969658880 26212 33554432000 4194304 4196468 140726605541824 139971105121696 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5799] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5799/stat : 5799 (java) S 5784 5784 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419990245 27969658880 26212 33554432000 4194304 4196468 140726605541824 139970970899952 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5800] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5800/stat : 5800 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 26212 33554432000 4194304 4196468 140726605541824 139970596395728 139973194594203 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5801] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5801/stat : 5801 (java) S 5784 5784 3266 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 26212 33554432000 4194304 4196468 140726605541824 139972251801584 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5802] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5802/stat : 5802 (java) R 5784 5784 3266 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 26212 33554432000 4194304 4196468 140726605541824 139972250749040 139973194586754 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5803] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5803/stat : 5803 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 26212 33554432000 4194304 4196468 140726605541824 139972249696496 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5804] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5804/stat : 5804 (java) S 5784 5784 3266 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 26212 33554432000 4194304 4196468 140726605541824 139972248643952 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5805] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5805/stat : 5805 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 26212 33554432000 4194304 4196468 140726605541824 139970098490080 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5806] ppid=5784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5787/task/5806/stat : 5806 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 26212 33554432000 4194304 4196468 140726605541824 139972247591856 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105980 KiB

[startup+0.210381 s]*
/proc/loadavg: 5.93 3.84 3.08 3/212 5806
/proc/meminfo: memFree=31217764/32770624 swapFree=66996988/67108860
[pid=5784] ppid=5781 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5784/stat : 5784 (scop.sh) S 5781 5784 3266 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419990240 115843072 348 33554432000 4194304 5098028 140731153907328 140731153904584 140353227907708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20156416 140731153908517 140731153908844 140731153908844 140731153911757 0
/proc/5784/statm: 28282 348 296 221 0 87 0
[pid=5787] ppid=5784 vsize=27314120 memory=123956 CPUtime=0.25 cores=0-7
/proc/5787/stat : 5787 (java) S 5784 5784 3266 0 -1 1077944320 12432 0 0 0 20 5 0 0 20 0 20 0 419990240 27969658880 30989 33554432000 4194304 4196468 140726605541824 140726605524368 139973194575607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
/proc/5787/statm: 6828530 30989 2935 1 0 6790935 0
[pid=5787/tid=5788] ppid=5784 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5787/task/5788/stat : 5788 (java) R 5784 5784 3266 0 -1 4202560 10131 0 0 0 16 3 0 0 20 0 20 0 419990240 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973166374992 139973174851335 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5789] ppid=5784 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/5787/task/5789/stat : 5789 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973198818064 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5790] ppid=5784 vsize=27314120 memory=3474158748717467296 CPUtime=0 cores=0-7
/proc/5787/task/5790/stat : 5790 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973012974480 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5791] ppid=5784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5787/task/5791/stat : 5791 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973011921936 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5792] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5792/stat : 5792 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973010869392 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5793] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5793/stat : 5793 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973009815824 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5794] ppid=5784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5787/task/5794/stat : 5794 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973008763280 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5795] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5795/stat : 5795 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973007710736 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5796] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5796/stat : 5796 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 30989 33554432000 4194304 4196468 140726605541824 139973006658192 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5797] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5797/stat : 5797 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990244 27969658880 30989 33554432000 4194304 4196468 140726605541824 139972252854768 139973194586754 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5798] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5798/stat : 5798 (java) S 5784 5784 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419990245 27969658880 30989 33554432000 4194304 4196468 140726605541824 139971105121696 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5799] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5799/stat : 5799 (java) S 5784 5784 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419990245 27969658880 30989 33554432000 4194304 4196468 140726605541824 139970970899952 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5800] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5800/stat : 5800 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 30989 33554432000 4194304 4196468 140726605541824 139970596395728 139973194594203 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5801] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5801/stat : 5801 (java) S 5784 5784 3266 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 30989 33554432000 4194304 4196468 140726605541824 139972251801584 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5802] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5802/stat : 5802 (java) S 5784 5784 3266 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 30989 33554432000 4194304 4196468 140726605541824 139972250749040 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5803] ppid=5784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5787/task/5803/stat : 5803 (java) S 5784 5784 3266 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 30989 33554432000 4194304 4196468 140726605541824 139972249696496 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5804] ppid=5784 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/5787/task/5804/stat : 5804 (java) S 5784 5784 3266 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 20 0 419990248 27969658880 30989 33554432000 4194304 4196468 140726605541824 139972248643952 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5805] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5805/stat : 5805 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 30989 33554432000 4194304 4196468 140726605541824 139970098490080 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5806] ppid=5784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5787/task/5806/stat : 5806 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 30989 33554432000 4194304 4196468 140726605541824 139972247591856 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125348 KiB

[startup+0.310326 s]*
/proc/loadavg: 5.93 3.84 3.08 2/212 5806
/proc/meminfo: memFree=31216008/32770624 swapFree=66996988/67108860
[pid=5784] ppid=5781 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5784/stat : 5784 (scop.sh) S 5781 5784 3266 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419990240 115843072 348 33554432000 4194304 5098028 140731153907328 140731153904584 140353227907708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20156416 140731153908517 140731153908844 140731153908844 140731153911757 0
/proc/5784/statm: 28282 348 296 221 0 87 0
[pid=5787] ppid=5784 vsize=27314120 memory=127640 CPUtime=0.42 cores=0-7
/proc/5787/stat : 5787 (java) S 5784 5784 3266 0 -1 1077944320 12823 0 0 0 37 5 0 0 20 0 20 0 419990240 27969658880 31910 33554432000 4194304 4196468 140726605541824 140726605524368 139973194575607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
/proc/5787/statm: 6828530 31910 3035 1 0 6790935 0
[pid=5787/tid=5788] ppid=5784 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5787/task/5788/stat : 5788 (java) R 5784 5784 3266 0 -1 4202560 10338 0 0 0 26 3 0 0 20 0 20 0 419990240 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973166405680 139973177762416 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5789] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5789/stat : 5789 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973198818064 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5790] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5790/stat : 5790 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973012974480 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5791] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5791/stat : 5791 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973011921936 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5792] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5792/stat : 5792 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973010869392 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5793] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5793/stat : 5793 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973009815824 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5794] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5794/stat : 5794 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973008763280 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5795] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5795/stat : 5795 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973007710736 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5796] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5796/stat : 5796 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419990243 27969658880 31910 33554432000 4194304 4196468 140726605541824 139973006658192 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5797] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5797/stat : 5797 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990244 27969658880 31910 33554432000 4194304 4196468 140726605541824 139972252854768 139973194586754 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5798] ppid=5784 vsize=27314120 memory=280945756413312 CPUtime=0 cores=0-7
/proc/5787/task/5798/stat : 5798 (java) S 5784 5784 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419990245 27969658880 31910 33554432000 4194304 4196468 140726605541824 139971105121696 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5799] ppid=5784 vsize=27314120 memory=280945756417920 CPUtime=0 cores=0-7
/proc/5787/task/5799/stat : 5799 (java) S 5784 5784 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419990245 27969658880 31910 33554432000 4194304 4196468 140726605541824 139970970899952 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5800] ppid=5784 vsize=27314120 memory=280945756422528 CPUtime=0 cores=0-7
/proc/5787/task/5800/stat : 5800 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 31910 33554432000 4194304 4196468 140726605541824 139970596395728 139973194594203 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5801] ppid=5784 vsize=27314120 memory=280945756427136 CPUtime=0 cores=0-7
/proc/5787/task/5801/stat : 5801 (java) S 5784 5784 3266 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 31910 33554432000 4194304 4196468 140726605541824 139972251801584 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5802] ppid=5784 vsize=27314120 memory=280945756431744 CPUtime=0.01 cores=0-7
/proc/5787/task/5802/stat : 5802 (java) S 5784 5784 3266 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 419990248 27969658880 31910 33554432000 4194304 4196468 140726605541824 139972250749040 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5803] ppid=5784 vsize=27314120 memory=280945756436352 CPUtime=0.02 cores=0-7
/proc/5787/task/5803/stat : 5803 (java) R 5784 5784 3266 0 -1 4202560 245 0 0 0 2 0 0 0 20 0 20 0 419990248 27969658880 31910 33554432000 4194304 4196468 140726605541824 139972249696496 139973179681690 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5804] ppid=5784 vsize=27314120 memory=280945756440960 CPUtime=0.07 cores=0-7
/proc/5787/task/5804/stat : 5804 (java) S 5784 5784 3266 0 -1 1077944384 453 0 0 0 7 0 0 0 20 0 20 0 419990248 27969658880 31910 33554432000 4194304 4196468 140726605541824 139972248643952 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5805] ppid=5784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5805/stat : 5805 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 31910 33554432000 4194304 4196468 140726605541824 139970098490080 139973194585813 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5806] ppid=5784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5787/task/5806/stat : 5806 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990248 27969658880 31910 33554432000 4194304 4196468 140726605541824 139972247591856 139973194586754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129032 KiB

[startup+0.700987 s]
/proc/loadavg: 5.93 3.84 3.08 2/212 5806
/proc/meminfo: memFree=31194304/32770624 swapFree=66996988/67108860
[pid=5784] ppid=5781 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5784/stat : 5784 (scop.sh) S 5781 5784 3266 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419990240 115843072 348 33554432000 4194304 5098028 140731153907328 140731153904584 140353227907708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20156416 140731153908517 140731153908844 140731153908844 140731153911757 0
/proc/5784/statm: 28282 348 296 221 0 87 0
[pid=5787] ppid=5784 vsize=27322516 memory=163992 CPUtime=0.99 cores=0-7
/proc/5787/stat : 5787 (java) S 5784 5784 3266 0 -1 1077944320 20601 0 0 0 92 7 0 0 20 0 20 0 419990240 27978256384 40998 33554432000 4194304 4196468 140726605541824 140726605524368 139973194575607 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
/proc/5787/statm: 6830629 40998 3197 1 0 6791959 0
[pid=5787/tid=5788] ppid=5784 vsize=27322516 memory=4580 CPUtime=0.67 cores=0-7
/proc/5787/task/5788/stat : 5788 (java) R 5784 5784 3266 0 -1 4202560 17574 0 0 0 62 5 0 0 20 0 20 0 419990240 27978256384 40998 33554432000 4194304 4196468 140726605541824 139973166407344 139973194597533 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5789] ppid=5784 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5789/stat : 5789 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27978256384 40998 33554432000 4194304 4196468 140726605541824 139973198818064 139973194585813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5790] ppid=5784 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5787/task/5790/stat : 5790 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419990243 27978256384 40998 33554432000 4194304 4196468 140726605541824 139973012974480 139973194585813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0
[pid=5787/tid=5791] ppid=5784 vsize=27322516 memory=2828 CPUtime=0 cores=0-7
/proc/5787/task/5791/stat : 5791 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419990243 27978256384 40998 33554432000 4194304 4196468 140726605541824 139973011921936 139973194585813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140726605546220 140726605546646 140726605546646 140726605549519 0

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

[pid=5807/tid=5817] ppid=5784 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/5807/task/5817/stat : 5817 (java) S 5784 5784 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419990402 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632447449072 139633219766914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5818] ppid=5784 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/5807/task/5818/stat : 5818 (java) S 5784 5784 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419990403 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631534269344 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5819] ppid=5784 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/5807/task/5819/stat : 5819 (java) S 5784 5784 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419990403 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631400047600 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5820] ppid=5784 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/5807/task/5820/stat : 5820 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631025543376 139633219774363 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5821] ppid=5784 vsize=8414124 memory=916 CPUtime=0.1 cores=0-7
/proc/5807/task/5821/stat : 5821 (java) S 5784 5784 3266 0 -1 1077944384 1018 0 0 0 10 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632446396912 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5822] ppid=5784 vsize=8414124 memory=4488 CPUtime=0.07 cores=0-7
/proc/5807/task/5822/stat : 5822 (java) S 5784 5784 3266 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632445344368 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5823] ppid=5784 vsize=8414124 memory=-4075877051373423737 CPUtime=0.06 cores=0-7
/proc/5807/task/5823/stat : 5823 (java) S 5784 5784 3266 0 -1 1077944384 383 0 0 0 6 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632444291824 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5824] ppid=5784 vsize=8414124 memory=796 CPUtime=0.2 cores=0-7
/proc/5807/task/5824/stat : 5824 (java) S 5784 5784 3266 0 -1 1077944384 531 0 0 0 20 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632443239280 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5825] ppid=5784 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/5807/task/5825/stat : 5825 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139630527637728 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5826] ppid=5784 vsize=8414124 memory=916 CPUtime=0.01 cores=0-7
/proc/5807/task/5826/stat : 5826 (java) S 5784 5784 3266 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 419990406 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632442186160 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5828] ppid=5784 vsize=8414124 memory=4488 CPUtime=0 cores=0-7
/proc/5807/task/5828/stat : 5828 (java) S 5784 5784 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632434152640 139633219780377 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5830] ppid=5784 vsize=8414124 memory=4096 CPUtime=0 cores=0-7
/proc/5807/task/5830/stat : 5830 (java) S 5784 5784 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139629856538384 139633219777693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5834] ppid=5784 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/5807/task/5834/stat : 5834 (java) S 5784 5784 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139630124973968 139633219777693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5840] ppid=5784 vsize=8414124 memory=3324 CPUtime=0 cores=0-7
/proc/5807/task/5840/stat : 5840 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419990475 8616062976 30037 33554432000 4194304 4196468 140733869606544 139629588111024 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
Current children cumulated CPU time: 253.94 s
Current children cumulated vsize: 9145160 KiB
Current children cumulated memory: 450844 KiB

[startup+35.6012 s]
/proc/loadavg: 6.85 4.30 3.26 9/225 5843
/proc/meminfo: memFree=30895728/32770624 swapFree=66996988/67108860
[pid=5784] ppid=5781 vsize=113128 memory=1472 CPUtime=2.99 cores=0-7
/proc/5784/stat : 5784 (scop.sh) S 5781 5784 3266 0 -1 4202496 581 25261 0 0 0 0 284 15 20 0 1 0 419990240 115843072 368 33554432000 4194304 5098028 140731153907328 140731153904072 140353227907708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20156416 140731153908517 140731153908844 140731153908844 140731153911757 0
/proc/5784/statm: 28282 368 311 221 0 87 0
[pid=5807] ppid=5784 vsize=8414124 memory=120148 CPUtime=1.27 cores=0-7
/proc/5807/stat : 5807 (java) S 5784 5784 3266 0 -1 1077944320 20045 0 0 0 119 8 0 0 20 0 24 0 419990399 8616062976 30037 33554432000 4194304 4196468 140733869606544 140733869589088 139633219755767 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
/proc/5807/statm: 2103531 30037 3216 1 0 2064875 0
[pid=5827] ppid=5807 vsize=617908 memory=329224 CPUtime=250.35 cores=0-7
/proc/5827/stat : 5827 (manyglucose-4.1) S 5807 5784 3266 0 -1 1077944320 224389 0 0 0 24994 41 0 0 20 0 2 0 419990473 632737792 82306 33554432000 4194304 4454172 140735404574624 140735404573008 139988160380663 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 40112128 140735404577642 140735404577840 140735404577840 140735404580794 0
/proc/5827/statm: 154477 82306 419 64 0 150145 0
[pid=5827/tid=5833] ppid=5807 vsize=617908 memory=3028 CPUtime=32.8 cores=0-7
/proc/5827/task/5833/stat : 5833 (manyglucose-4.1) R 5807 5784 3266 0 -1 4202560 24683 0 0 0 3276 4 0 0 20 0 2 0 419990473 632737792 82306 33554432000 4194304 4454172 140735404574624 139988128377992 4351331 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 40112128 140735404577642 140735404577840 140735404577840 140735404580794 0
[pid=5807/tid=5808] ppid=5784 vsize=8414124 memory=2012 CPUtime=0.76 cores=0-7
/proc/5807/task/5808/stat : 5808 (java) S 5784 5784 3266 0 -1 1077944384 16393 0 0 0 71 5 0 0 20 0 24 0 419990399 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633191595936 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5809] ppid=5784 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/5807/task/5809/stat : 5809 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990400 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633223997712 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5810] ppid=5784 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/5807/task/5810/stat : 5810 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990400 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633024166288 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5811] ppid=5784 vsize=8414124 memory=3972 CPUtime=0 cores=0-7
/proc/5807/task/5811/stat : 5811 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419990400 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633023113744 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5812] ppid=5784 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/5807/task/5812/stat : 5812 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633022061200 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5813] ppid=5784 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/5807/task/5813/stat : 5813 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633021008656 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5814] ppid=5784 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/5807/task/5814/stat : 5814 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633019956112 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5815] ppid=5784 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/5807/task/5815/stat : 5815 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633018903568 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5816] ppid=5784 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/5807/task/5816/stat : 5816 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633017851024 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5817] ppid=5784 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/5807/task/5817/stat : 5817 (java) S 5784 5784 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419990402 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632447449072 139633219766914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5818] ppid=5784 vsize=8414124 memory=316376 CPUtime=0 cores=0-7
/proc/5807/task/5818/stat : 5818 (java) S 5784 5784 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419990403 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631534269344 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5819] ppid=5784 vsize=8414124 memory=300140 CPUtime=0 cores=0-7
/proc/5807/task/5819/stat : 5819 (java) S 5784 5784 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419990403 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631400047600 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5820] ppid=5784 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/5807/task/5820/stat : 5820 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631025543376 139633219774363 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5821] ppid=5784 vsize=8414124 memory=120148 CPUtime=0.1 cores=0-7
/proc/5807/task/5821/stat : 5821 (java) S 5784 5784 3266 0 -1 1077944384 1018 0 0 0 10 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632446396912 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5822] ppid=5784 vsize=8414124 memory=266104 CPUtime=0.07 cores=0-7
/proc/5807/task/5822/stat : 5822 (java) S 5784 5784 3266 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632445344368 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5823] ppid=5784 vsize=8414124 memory=1644 CPUtime=0.06 cores=0-7
/proc/5807/task/5823/stat : 5823 (java) S 5784 5784 3266 0 -1 1077944384 383 0 0 0 6 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632444291824 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5824] ppid=5784 vsize=8414124 memory=8317482817917895235 CPUtime=0.2 cores=0-7
/proc/5807/task/5824/stat : 5824 (java) S 5784 5784 3266 0 -1 1077944384 531 0 0 0 20 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632443239280 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5825] ppid=5784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5807/task/5825/stat : 5825 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139630527637728 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5826] ppid=5784 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/5807/task/5826/stat : 5826 (java) S 5784 5784 3266 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 419990406 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632442186160 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5828] ppid=5784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5807/task/5828/stat : 5828 (java) S 5784 5784 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632434152640 139633219780377 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5830] ppid=5784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5807/task/5830/stat : 5830 (java) S 5784 5784 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139629856538384 139633219777693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5834] ppid=5784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5807/task/5834/stat : 5834 (java) S 5784 5784 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139630124973968 139633219777693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5840] ppid=5784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5807/task/5840/stat : 5840 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419990475 8616062976 30037 33554432000 4194304 4196468 140733869606544 139629588111024 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
Current children cumulated CPU time: 254.61 s
Current children cumulated vsize: 9145160 KiB
Current children cumulated memory: 450844 KiB

[startup+35.8011 s]
/proc/loadavg: 6.85 4.30 3.26 9/225 5843
/proc/meminfo: memFree=30895728/32770624 swapFree=66996988/67108860
[pid=5784] ppid=5781 vsize=113128 memory=1472 CPUtime=2.99 cores=0-7
/proc/5784/stat : 5784 (scop.sh) S 5781 5784 3266 0 -1 4202496 581 25261 0 0 0 0 284 15 20 0 1 0 419990240 115843072 368 33554432000 4194304 5098028 140731153907328 140731153904072 140353227907708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20156416 140731153908517 140731153908844 140731153908844 140731153911757 0
/proc/5784/statm: 28282 368 311 221 0 87 0
[pid=5807] ppid=5784 vsize=8414124 memory=120148 CPUtime=1.27 cores=0-7
/proc/5807/stat : 5807 (java) S 5784 5784 3266 0 -1 1077944320 20045 0 0 0 119 8 0 0 20 0 24 0 419990399 8616062976 30037 33554432000 4194304 4196468 140733869606544 140733869589088 139633219755767 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
/proc/5807/statm: 2103531 30037 3216 1 0 2064875 0
[pid=5827] ppid=5807 vsize=617908 memory=329224 CPUtime=250.55 cores=0-7
/proc/5827/stat : 5827 (manyglucose-4.1) S 5807 5784 3266 0 -1 1077944320 224390 0 0 0 25014 41 0 0 20 0 2 0 419990473 632737792 82306 33554432000 4194304 4454172 140735404574624 140735404573008 139988160380663 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 40112128 140735404577642 140735404577840 140735404577840 140735404580794 0
/proc/5827/statm: 154477 82306 419 64 0 150145 0
[pid=5827/tid=5833] ppid=5807 vsize=617908 memory=1472 CPUtime=33 cores=0-7
/proc/5827/task/5833/stat : 5833 (manyglucose-4.1) R 5807 5784 3266 0 -1 4202560 24684 0 0 0 3296 4 0 0 20 0 2 0 419990473 632737792 82306 33554432000 4194304 4454172 140735404574624 139988128377992 4351584 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 40112128 140735404577642 140735404577840 140735404577840 140735404580794 0
[pid=5807/tid=5808] ppid=5784 vsize=8414124 memory=120148 CPUtime=0.76 cores=0-7
/proc/5807/task/5808/stat : 5808 (java) S 5784 5784 3266 0 -1 1077944384 16393 0 0 0 71 5 0 0 20 0 24 0 419990399 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633191595936 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5809] ppid=5784 vsize=8414124 memory=238072 CPUtime=0 cores=0-7
/proc/5807/task/5809/stat : 5809 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990400 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633223997712 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5810] ppid=5784 vsize=8414124 memory=140472878465672 CPUtime=0 cores=0-7
/proc/5807/task/5810/stat : 5810 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990400 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633024166288 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5811] ppid=5784 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/5807/task/5811/stat : 5811 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419990400 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633023113744 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5812] ppid=5784 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/5807/task/5812/stat : 5812 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633022061200 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5813] ppid=5784 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/5807/task/5813/stat : 5813 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633021008656 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5814] ppid=5784 vsize=8414124 memory=812 CPUtime=0 cores=0-7
/proc/5807/task/5814/stat : 5814 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633019956112 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5815] ppid=5784 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/5807/task/5815/stat : 5815 (java) S 5784 5784 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633018903568 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5816] ppid=5784 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/5807/task/5816/stat : 5816 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419990401 8616062976 30037 33554432000 4194304 4196468 140733869606544 139633017851024 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5817] ppid=5784 vsize=8414124 memory=299440 CPUtime=0 cores=0-7
/proc/5807/task/5817/stat : 5817 (java) S 5784 5784 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419990402 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632447449072 139633219766914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5818] ppid=5784 vsize=8414124 memory=-4075877051373423737 CPUtime=0 cores=0-7
/proc/5807/task/5818/stat : 5818 (java) S 5784 5784 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419990403 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631534269344 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5819] ppid=5784 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/5807/task/5819/stat : 5819 (java) S 5784 5784 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419990403 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631400047600 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5820] ppid=5784 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/5807/task/5820/stat : 5820 (java) S 5784 5784 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139631025543376 139633219774363 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5821] ppid=5784 vsize=8414124 memory=812 CPUtime=0.1 cores=0-7
/proc/5807/task/5821/stat : 5821 (java) S 5784 5784 3266 0 -1 1077944384 1018 0 0 0 10 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632446396912 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5822] ppid=5784 vsize=8414124 memory=1764 CPUtime=0.07 cores=0-7
/proc/5807/task/5822/stat : 5822 (java) S 5784 5784 3266 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632445344368 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5823] ppid=5784 vsize=8414124 memory=111628 CPUtime=0.06 cores=0-7
/proc/5807/task/5823/stat : 5823 (java) S 5784 5784 3266 0 -1 1077944384 383 0 0 0 6 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632444291824 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5824] ppid=5784 vsize=8414124 memory=796 CPUtime=0.2 cores=0-7
/proc/5807/task/5824/stat : 5824 (java) S 5784 5784 3266 0 -1 1077944384 531 0 0 0 20 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632443239280 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5825] ppid=5784 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/5807/task/5825/stat : 5825 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419990405 8616062976 30037 33554432000 4194304 4196468 140733869606544 139630527637728 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5826] ppid=5784 vsize=8414124 memory=916 CPUtime=0.01 cores=0-7
/proc/5807/task/5826/stat : 5826 (java) S 5784 5784 3266 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 419990406 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632442186160 139633219766914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5828] ppid=5784 vsize=8414124 memory=4488 CPUtime=0 cores=0-7
/proc/5807/task/5828/stat : 5828 (java) S 5784 5784 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139632434152640 139633219780377 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5830] ppid=5784 vsize=8414124 memory=4096 CPUtime=0 cores=0-7
/proc/5807/task/5830/stat : 5830 (java) S 5784 5784 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139629856538384 139633219777693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5834] ppid=5784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5807/task/5834/stat : 5834 (java) S 5784 5784 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419990473 8616062976 30037 33554432000 4194304 4196468 140733869606544 139630124973968 139633219777693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
[pid=5807/tid=5840] ppid=5784 vsize=8414124 memory=7229796263081762925 CPUtime=0 cores=0-7
/proc/5807/task/5840/stat : 5840 (java) S 5784 5784 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419990475 8616062976 30037 33554432000 4194304 4196468 140733869606544 139629588111024 139633219765973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15278080 140733869614072 140733869614230 140733869614230 140733869617103 0
Current children cumulated CPU time: 254.81 s
Current children cumulated vsize: 9145160 KiB
Current children cumulated memory: 450844 KiB

Child status: 0
Real time (s): 35.8523
CPU time (s): 254.943
CPU user time (s): 254.259
CPU system time (s): 0.683927
CPU usage (%): 711.091
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 452788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.259
system time used= 0.683927
maximum resident set size= 331248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8850
involuntary context switches= 2577


# summary of solver processes directly reported to runsolver:
#   pid: 5784
#   total CPU time (s): 254.943
#   total CPU user time (s): 254.259
#   total CPU system time (s): 0.683927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.376561 second user time and 0.492869 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 07:01:53
IDJOB=4392491
IDBENCH=134718
IDSOLVER=2838
FILE ID=node103/4392491-1568437372
RUNJOBID= node103-1568426882-3293
PBS_JOBID= 21702292
Free space on /tmp= 61720 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-15.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 /tmp/evaluation-result-4392491-1568437372/watcher-4392491-1568437372 -o /tmp/evaluation-result-4392491-1568437372/solver-4392491-1568437372 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392491-1568437372.xml

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

MD5SUM BENCH= 0275487dddce0dcf34d0f76368ca0063
RANDOM SEED=1699100076

node103.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.74
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.74
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.74
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.74
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:        31332948 kB
MemAvailable:   31889232 kB
Buffers:          104444 kB
Cached:           736172 kB
SwapCached:         9120 kB
Active:           599780 kB
Inactive:         252332 kB
Active(anon):       6084 kB
Inactive(anon):    47000 kB
Active(file):     593696 kB
Inactive(file):   205332 kB
Unevictable:      111172 kB
Mlocked:          111172 kB
SwapTotal:      67108860 kB
SwapFree:       66996988 kB
Dirty:             20616 kB
Writeback:             0 kB
AnonPages:        118528 kB
Mapped:            44568 kB
Shmem:             32644 kB
Slab:             175336 kB
SReclaimable:     146184 kB
SUnreclaim:        29152 kB
KernelStack:        3728 kB
PageTables:         5620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61700 MiB
End job on node103 at 2019-09-14 07:02:29