Trace number 4405514

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 394.571 53.5682

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-clau-011-010.xml
MD5SUM46ced5e3eb9b8d9f9897ebef4f7d04b7
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 benchmark51.188
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints561
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":110}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":110}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":550},{"arity":10,"count":11}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":561}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18294-serial-file.bin HOME/instance-4405514-1569355761.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 22:08:40 CEST 2019
0.66/0.56	c PID: 18297
0.66/0.56	c IP: 172.20.3.140
0.66/0.56	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.67/1.06	c (0,0) Parsing End
1.67/1.07	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
1.67/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) Constraint Name Generate Begin
1.67/1.08	c (0,0) Ctr:HOME/instance-4405514-1569355761.xml,Num:Var:WeightedSum
1.67/1.08	c (0,0) Constraint Name Generate End
1.67/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.67/1.08	c (0,0) CSP to CSPinCNF Begin
2.02/1.23	c (0,0) translated 57 (10%) constraints
2.02/1.25	c (0,0) translated 113 (20%) constraints
2.02/1.27	c (0,0) translated 169 (30%) constraints
2.02/1.29	c (0,0) translated 225 (40%) constraints
2.56/1.46	c (0,0) translated 281 (50%) constraints
2.56/1.46	c (0,0) translated 337 (60%) constraints
2.56/1.46	c (0,0) translated 393 (70%) constraints
2.56/1.46	c (0,0) translated 449 (80%) constraints
2.56/1.46	c (0,0) translated 505 (90%) constraints
2.56/1.46	c (0,0) translated 561 (100%) constraints
2.56/1.46	c (0,0) ===========================================
2.56/1.46	c (0,0) Hybrid: #OE=0, #LE=110
2.56/1.46	c (0,0) Hybrid
2.56/1.46	c (0,0) ===========================================
2.56/1.46	c (0,0) translated 57 (10%) constraints
2.56/1.46	c (0,0) translated 113 (20%) constraints
2.56/1.46	c (0,0) translated 169 (30%) constraints
2.56/1.46	c (0,0) translated 225 (40%) constraints
2.56/1.46	c (0,0) translated 281 (50%) constraints
2.56/1.46	c (0,0) translated 337 (60%) constraints
2.56/1.46	c (0,0) translated 393 (70%) constraints
2.56/1.46	c (0,0) translated 449 (80%) constraints
2.56/1.46	c (0,0) translated 505 (90%) constraints
2.56/1.46	c (0,0) translated 561 (100%) constraints
2.56/1.46	c (0,0) CSP to CSPinCNF End
2.56/1.46	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.56/1.46	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.56/1.46	c (0,0) CSPinCNF Propagation Begin
2.56/1.47	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.56/1.47	c (0,0) CSPinCNF Propagation End
2.56/1.47	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.56/1.47	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.56/1.47	c (0,0) Hybrid: #OE=0, #LE=110
2.56/1.47	c (0,0) Simplify CSPinCNF Begin
2.56/1.48	c (0,0) Simplify CSPinCNF End
2.56/1.48	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.56/1.48	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.56/1.48	c (0,0) Calculate Precise Domain Begin
2.56/1.48	c (0,0) 0 values are removed by re-calculation
2.56/1.48	c (0,0) Calculate Precise Domain End
2.56/1.48	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.56/1.48	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.56/1.48	c (0,0) CSPinCNF to SatSolver Begin
2.83/1.54	c (0,0) 57 (10 %) CSP clauses are encoded (0 SAT variables, 56 SAT clauses)
2.83/1.55	c (1,1) 113 (20 %) CSP clauses are encoded (0 SAT variables, 112 SAT clauses)
2.83/1.56	c (1,1) 169 (30 %) CSP clauses are encoded (0 SAT variables, 168 SAT clauses)
2.83/1.57	c (1,1) 225 (40 %) CSP clauses are encoded (0 SAT variables, 224 SAT clauses)
2.83/1.58	c (1,1) 281 (50 %) CSP clauses are encoded (0 SAT variables, 280 SAT clauses)
2.83/1.59	c (1,1) 337 (60 %) CSP clauses are encoded (0 SAT variables, 336 SAT clauses)
2.83/1.59	c (1,1) 393 (70 %) CSP clauses are encoded (0 SAT variables, 392 SAT clauses)
3.09/1.60	c (1,1) 449 (80 %) CSP clauses are encoded (0 SAT variables, 448 SAT clauses)
3.09/1.61	c (1,1) 505 (90 %) CSP clauses are encoded (0 SAT variables, 504 SAT clauses)
3.09/1.61	c (1,1) 561 (100 %) CSP clauses are encoded (0 SAT variables, 560 SAT clauses)
3.09/1.61	c (1,1) CSPinCNF to SatSolver End
3.09/1.61	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.09/1.61	c (1,1) 110 bool, 561 clause
3.09/1.61	c (1,1) Export Begin
3.27/1.72	c (1,1) Export to HOME/scop-18294-serial-file.bin
3.27/1.72	c (1,1) Export End
3.27/1.72	c (1,1) Export File Size: 0.04 MB
3.27/1.72	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.27/1.72	c END-Prog: Tue Sep 24 22:08:41 CEST 2019
3.27/1.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18294-serial-file.bin
3.84/2.19	c (0,0) Read Serial File Begin
3.84/2.20	c (0,0) HOME/scop-18294-serial-file.bin
4.27/2.43	c (0,0) Read Serial File End
4.27/2.44	
4.27/2.44	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
4.27/2.44	(Solving Process)
4.27/2.44	
4.27/2.46	c BEGIN-Prog: Tue Sep 24 22:08:42 CEST 2019
4.27/2.46	c PID: 18319
4.27/2.46	c IP: 172.20.3.140
4.27/2.46	c HOST: node140.alineos.net
4.27/2.47	c (0,0) SatSolver.solve Begin
4.27/2.47	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405514-1569355761.xml-scop-18297.cnf
4.27/2.49	c (0,0) c
4.27/2.49	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.27/2.49	c (0,0) c
4.27/2.49	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.27/2.49	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.27/2.49	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.27/2.49	c (0,0) c |                                                                                                       |
4.27/2.49	c (0,0) c |  Number of variables:           110                                                                   |
4.27/2.49	c (0,0) c |  Number of clauses:             561                                                                   |
4.27/2.49	c (0,0) c |  Parse time:                   0.00 s                                                                 |
4.27/2.49	c (0,0) c |                                                                                                       |
4.27/2.50	c (0,0) c |  Simplification time:          0.00 s                                                                 |
4.27/2.50	c (0,0) c |                                                                                                       |
4.27/2.50	c (0,0) c |  Generating clones                                                                                    |
4.27/2.50	c (0,0) c |  all clones generated. Memory =    22.98Mb.                                                           |
4.27/2.50	c (0,0) c ========================================================================================================|
4.27/2.50	c (0,0) c
4.27/2.50	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.27/2.50	c (0,0) c
4.27/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.27/2.50	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.27/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.27/2.50	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.27/2.50	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.27/2.50	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.27/2.50	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.27/2.50	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.27/2.50	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.27/2.50	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.27/2.50	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.27/2.50	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.27/2.50	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.27/2.50	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.27/2.50	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.27/2.50	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.27/2.50	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.27/2.50	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.27/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.30/32.13	c (30,0) c
228.30/32.13	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
228.30/32.13	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
228.30/32.13	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
228.30/32.13	c (30,0) c |  0 |    943 |     578365 |     480268 |      550 |    86349 |    34343 |   730940 |    48035 |      649 |  20 |  0.984 |
228.30/32.13	c (30,0) c |  1 |    494 |     560420 |     477129 |      550 |    74309 |    36148 |   730833 |    45323 |      649 |  20 |  0.992 |
228.30/32.13	c (30,0) c |  2 |   3402 |    2330827 |    1915207 |    11590 |     3189 |   195775 |   577339 |    15631 |      650 |  20 |  0.917 |
228.30/32.13	c (30,0) c |  3 |   1230 |     588523 |     482112 |      550 |    85780 |    31957 |   735737 |    51668 |      650 |  20 |  0.984 |
228.30/32.13	c (30,0) c |  4 |   3250 |    2269654 |    1869222 |    11171 |     3219 |   192580 |   562884 |    17613 |      634 |  20 |  0.975 |
228.30/32.13	c (30,0) c |  5 |    356 |     545428 |     467903 |      550 |    57409 |    39303 |   728684 |    40918 |      650 |  20 |  0.992 |
228.30/32.13	c (30,0) c |  6 |   3563 |    2305921 |    1888275 |    12240 |     2277 |   202871 |   551341 |    15858 |      630 |  20 |  0.918 |
228.30/32.13	c (30,0) c |  7 |    183 |     556416 |     478107 |      550 |    67388 |    43914 |   723007 |    33821 |      650 |  20 |  0.917 |
228.30/32.13	c (30,0) c 
228.30/32.13	c (30,0) c synthesis     8058226 conflicts    97706809 propagations    36083 conflicts/sec   437507 propagations/sec
228.30/32.13	c (30,0) c real: 29.6412 s, cpu: 223.326 s, memory: 699.40 Mb
394.41/53.53	c (51,0) c
394.41/53.53	c (51,0) c real time : 51.0442 s
394.41/53.53	c (51,0) c cpu time  : 388.966 s
394.41/53.53	c (51,0) c
394.41/53.53	c (51,0) c
394.41/53.53	c (51,0) c
394.41/53.53	c (51,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
394.41/53.53	c (51,0) c
394.41/53.53	c (51,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.53	c (51,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
394.41/53.53	c (51,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.53	c (51,0) c | Conflicts     |        12689881 |     744350 |     746850 |    2983953 |     746940 |    2985925 |     725842 |    3026672 |     729349 |
394.41/53.53	c (51,0) c | Decisions     |        15479635 |     905577 |     894466 |    3661334 |     918836 |    3658147 |     862845 |    3716448 |     861982 |
394.41/53.53	c (51,0) c | Propagations  |       157651710 |    9285528 |    9312974 |   37008039 |    9245678 |   37467821 |    8872568 |   37664341 |    8794761 |
394.41/53.53	c (51,0) c | ReduceDBs     |            4490 |         23 |         24 |       1449 |         23 |       1450 |         24 |       1473 |         24 |
394.41/53.53	c (51,0) c | SimpDBs       |              58 |          3 |          3 |         15 |          3 |         13 |          3 |         15 |          3 |
394.41/53.53	c (51,0) c | Restarts      |           23551 |       1525 |       1082 |       5832 |       1907 |       5816 |        886 |       6013 |        490 |
394.41/53.53	c (51,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.41/53.53	c (51,0) c | PropBinClauses|       287923657 |   15952563 |   15990284 |   69590071 |   15982892 |   69991190 |   14967601 |   70617646 |   14831410 |
394.41/53.53	c (51,0) c | PropPreBlocker|     24332667045 | 3121594947 | 3131080320 | 2885780444 | 3064321082 | 2876606303 | 3146459703 | 2855525532 | 3251298714 |
394.41/53.53	c (51,0) c | PropNotBlocker|      4032477937 |  502679901 |  490734646 |  530574028 |  498354796 |  530972154 |  489615941 |  533805828 |  455740643 |
394.41/53.53	c (51,0) c | LitFullScans  |     52819011334 | 6607786735 | 6602288509 | 6601936643 | 6601936228 | 6600677878 | 6602119945 | 6600485819 | 6601779577 |
394.41/53.53	c (51,0) c | LitScanFracts |        11447824 |    1763946 |    2278630 |     467892 |    1923588 |     668552 |    2100099 |     475600 |    1769517 |
394.41/53.53	c (51,0) c | DecisionLevel0|           23604 |       1528 |       1083 |       5851 |       1911 |       5824 |        887 |       6025 |        495 |
394.41/53.53	c (51,0) c | Periods       |            8801 |       1101 |       1100 |       1100 |       1100 |       1100 |       1100 |       1100 |       1100 |
394.41/53.53	c (51,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
394.41/53.53	c (51,0) c | Avg_Trail     |                 |         91 |         91 |         92 |         91 |         93 |         90 |         93 |         88 |
394.41/53.53	c (51,0) c | Avg_DL        |                 |         16 |         16 |         16 |         16 |         16 |         16 |         16 |         17 |
394.41/53.53	c (51,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.41/53.53	c (51,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.41/53.53	c (51,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.53	c (51,0) c | Exported      |         1212828 |      51300 |      52238 |     310367 |      47991 |     309501 |      56078 |     327017 |      58336 |
394.41/53.53	c (51,0) c | Imported      |         8319064 |    1139306 |    1136848 |     886408 |    1141826 |     885009 |    1133586 |     868478 |    1127603 |
394.41/53.53	c (51,0) c | Good          |            2833 |        402 |        381 |        336 |        386 |        312 |        391 |        285 |        340 |
394.41/53.53	c (51,0) c | Purge         |         8316231 |    1138904 |    1136467 |     886072 |    1141440 |     884697 |    1133195 |     868193 |    1127263 |
394.41/53.53	c (51,0) c | Promoted      |          411411 |      74604 |      72726 |      20992 |      79006 |      23310 |      63444 |      22150 |      55179 |
394.41/53.53	c (51,0) c | Remove_Imp    |         7138224 |     931949 |     938774 |     855874 |     923388 |     859207 |     889468 |     839688 |     899876 |
394.41/53.53	c (51,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.41/53.54	c (51,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.54	c (51,0) c | Unaries       |                 |          3 |          1 |         19 |          4 |          8 |          1 |         12 |          5 |
394.41/53.54	c (51,0) c | Binaries      |                 |         35 |         45 |        158 |         54 |        137 |         29 |        184 |         66 |
394.41/53.54	c (51,0) c | Glues         |                 |         69 |         86 |        226 |         85 |        187 |         74 |        254 |        106 |
394.41/53.54	c (51,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.54	c (51,0) c | Orig_Seen     |          2444 % |        550 |        550 |      32997 |        550 |      33421 |        550 |      34491 |        550 |
394.41/53.54	c (51,0) c | Diff Orig seen|                 | -    32447 | -    32447 |      X     | -    32447 |        424 | -    32447 |       1494 | -    32447 |
394.41/53.54	c (51,0) c | Hamming       |            26 % |         27 |         27 |      X     |         30 |         28 |         34 |         32 |         27 |
394.41/53.54	c (51,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.54	c (51,0) c | RunningTime   |                 |   48.7  97%|   47.7  94%|   49.2  98%|   47.8  95%|   49.9  99%|   47.9  94%|   50.0  99%|   46.0  91%|
394.41/53.54	c (51,0) c | WaitingTime   |                 |    1.1   2%|    2.8   6%|    0.4   1%|    2.1   4%|    0.0   0%|    2.4   5%|    0.0   0%|    4.0   8%|
394.41/53.54	c (51,0) c | ExchangingTime|                 |    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.5   1%|
394.41/53.54	c (51,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%|
394.41/53.54	c (51,0) c | SolvingTime   |                 |   50.2     |   51.0     |   50.0     |   50.3     |   50.4     |   50.7     |   50.4     |   50.4     |
394.41/53.54	c (51,0) c | PropagationTim|                 |   45.4  90%|   46.0  90%|   33.5  67%|   45.5  91%|   34.0  68%|   44.7  88%|   33.7  67%|   45.7  91%|
394.41/53.54	c (51,0) c | AnalysisTime  |                 |    2.9   6%|    2.9   6%|    9.6  19%|    2.7   5%|    9.8  20%|    4.0   8%|   10.1  20%|    2.7   5%|
394.41/53.54	c (51,0) c | ReductionTime |                 |    1.2   2%|    1.3   2%|    4.4   9%|    1.2   2%|    4.3   8%|    1.1   2%|    4.3   9%|    1.1   2%|
394.41/53.54	c (51,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.1   0%|
394.41/53.54	c (51,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%|
394.41/53.54	c (51,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%|
394.41/53.54	c (51,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.54	c (51,0) c
394.41/53.54	c (51,0) c
394.41/53.54	c (51,0) c Threads : 8
394.41/53.54	c (51,0) c Winner : 2
394.41/53.54	c (51,0) c Conflicts_0 : 744350
394.41/53.54	c (51,0) c Conflicts_1 : 746850
394.41/53.54	c (51,0) c Conflicts_2 : 2983953
394.41/53.54	c (51,0) c Conflicts_3 : 746940
394.41/53.54	c (51,0) c Conflicts_4 : 2985925
394.41/53.54	c (51,0) c Conflicts_5 : 725842
394.41/53.54	c (51,0) c Conflicts_6 : 3026672
394.41/53.54	c (51,0) c Conflicts_7 : 729349
394.41/53.54	c (51,0) c Conflicts_total : 12689881
394.41/53.54	c (51,0) c Conflicts_winner : 2983953
394.41/53.54	c (51,0) c Decisions_0 : 905577
394.41/53.54	c (51,0) c Decisions_1 : 894466
394.41/53.54	c (51,0) c Decisions_2 : 3661334
394.41/53.54	c (51,0) c Decisions_3 : 918836
394.41/53.54	c (51,0) c Decisions_4 : 3658147
394.41/53.54	c (51,0) c Decisions_5 : 862845
394.41/53.54	c (51,0) c Decisions_6 : 3716448
394.41/53.54	c (51,0) c Decisions_7 : 861982
394.41/53.54	c (51,0) c Decisions_total : 15479635
394.41/53.54	c (51,0) c Decisions_winner : 3661334
394.41/53.54	c (51,0) c Propagations_0 : 9285528
394.41/53.54	c (51,0) c Propagations_1 : 9312974
394.41/53.54	c (51,0) c Propagations_2 : 37008039
394.41/53.54	c (51,0) c Propagations_3 : 9245678
394.41/53.54	c (51,0) c Propagations_4 : 37467821
394.41/53.54	c (51,0) c Propagations_5 : 8872568
394.41/53.54	c (51,0) c Propagations_6 : 37664341
394.41/53.54	c (51,0) c Propagations_7 : 8794761
394.41/53.54	c (51,0) c Propagations_total : 157651710
394.41/53.54	c (51,0) c Propagations_winner : 37008039
394.41/53.54	c (51,0) c ReduceDBs_0 : 23
394.41/53.54	c (51,0) c ReduceDBs_1 : 24
394.41/53.54	c (51,0) c ReduceDBs_2 : 1449
394.41/53.54	c (51,0) c ReduceDBs_3 : 23
394.41/53.54	c (51,0) c ReduceDBs_4 : 1450
394.41/53.54	c (51,0) c ReduceDBs_5 : 24
394.41/53.54	c (51,0) c ReduceDBs_6 : 1473
394.41/53.54	c (51,0) c ReduceDBs_7 : 24
394.41/53.54	c (51,0) c ReduceDBs_total : 4490
394.41/53.54	c (51,0) c ReduceDBs_winner : 1449
394.41/53.54	c (51,0) c SimpDBs_0 : 3
394.41/53.54	c (51,0) c SimpDBs_1 : 3
394.41/53.54	c (51,0) c SimpDBs_2 : 15
394.41/53.54	c (51,0) c SimpDBs_3 : 3
394.41/53.54	c (51,0) c SimpDBs_4 : 13
394.41/53.54	c (51,0) c SimpDBs_5 : 3
394.41/53.54	c (51,0) c SimpDBs_6 : 15
394.41/53.54	c (51,0) c SimpDBs_7 : 3
394.41/53.54	c (51,0) c SimpDBs_total : 58
394.41/53.54	c (51,0) c SimpDBs_winner : 15
394.41/53.54	c (51,0) c Restarts_0 : 1525
394.41/53.54	c (51,0) c Restarts_1 : 1082
394.41/53.54	c (51,0) c Restarts_2 : 5832
394.41/53.54	c (51,0) c Restarts_3 : 1907
394.41/53.54	c (51,0) c Restarts_4 : 5816
394.41/53.54	c (51,0) c Restarts_5 : 886
394.41/53.54	c (51,0) c Restarts_6 : 6013
394.41/53.54	c (51,0) c Restarts_7 : 490
394.41/53.54	c (51,0) c Restarts_total : 23551
394.41/53.54	c (51,0) c Restarts_winner : 5832
394.41/53.54	c (51,0) c ForcedImports_0 : 0
394.41/53.54	c (51,0) c ForcedImports_1 : 0
394.41/53.54	c (51,0) c ForcedImports_2 : 0
394.41/53.54	c (51,0) c ForcedImports_3 : 0
394.41/53.54	c (51,0) c ForcedImports_4 : 0
394.41/53.54	c (51,0) c ForcedImports_5 : 0
394.41/53.54	c (51,0) c ForcedImports_6 : 0
394.41/53.54	c (51,0) c ForcedImports_7 : 0
394.41/53.54	c (51,0) c ForcedImports_total : 0
394.41/53.54	c (51,0) c ForcedImports_winner : 0
394.41/53.54	c (51,0) c PropsBinClauses_0 : 15952563
394.41/53.54	c (51,0) c PropsBinClauses_1 : 15990284
394.41/53.54	c (51,0) c PropsBinClauses_2 : 69590071
394.41/53.54	c (51,0) c PropsBinClauses_3 : 15982892
394.41/53.54	c (51,0) c PropsBinClauses_4 : 69991190
394.41/53.54	c (51,0) c PropsBinClauses_5 : 14967601
394.41/53.54	c (51,0) c PropsBinClauses_6 : 70617646
394.41/53.54	c (51,0) c PropsBinClauses_7 : 14831410
394.41/53.54	c (51,0) c PropsBinClauses_total : 287923657
394.41/53.54	c (51,0) c PropsBinClauses_winner : 69590071
394.41/53.54	c (51,0) c PropsPreBlocker_0 : 3121594947
394.41/53.54	c (51,0) c PropsPreBlocker_1 : 3131080320
394.41/53.54	c (51,0) c PropsPreBlocker_2 : 2885780444
394.41/53.54	c (51,0) c PropsPreBlocker_3 : 3064321082
394.41/53.54	c (51,0) c PropsPreBlocker_4 : 2876606303
394.41/53.54	c (51,0) c PropsPreBlocker_5 : 3146459703
394.41/53.54	c (51,0) c PropsPreBlocker_6 : 2855525532
394.41/53.54	c (51,0) c PropsPreBlocker_7 : 3251298714
394.41/53.54	c (51,0) c PropsPreBlocker_total : 24332667045
394.41/53.54	c (51,0) c PropsPreBlocker_winner : 2885780444
394.41/53.54	c (51,0) c PropsNotBlocker_0 : 502679901
394.41/53.54	c (51,0) c PropsNotBlocker_1 : 490734646
394.41/53.54	c (51,0) c PropsNotBlocker_2 : 530574028
394.41/53.54	c (51,0) c PropsNotBlocker_3 : 498354796
394.41/53.54	c (51,0) c PropsNotBlocker_4 : 530972154
394.41/53.54	c (51,0) c PropsNotBlocker_5 : 489615941
394.41/53.54	c (51,0) c PropsNotBlocker_6 : 533805828
394.41/53.54	c (51,0) c PropsNotBlocker_7 : 455740643
394.41/53.54	c (51,0) c PropsNotBlocker_total : 4032477937
394.41/53.54	c (51,0) c PropsNotBlocker_winner : 530574028
394.41/53.54	c (51,0) c PropsLitFullScans_0 : 6607786735
394.41/53.54	c (51,0) c PropsLitFullScans_1 : 6602288509
394.41/53.54	c (51,0) c PropsLitFullScans_2 : 6601936643
394.41/53.54	c (51,0) c PropsLitFullScans_3 : 6601936228
394.41/53.54	c (51,0) c PropsLitFullScans_4 : 6600677878
394.41/53.54	c (51,0) c PropsLitFullScans_5 : 6602119945
394.41/53.54	c (51,0) c PropsLitFullScans_6 : 6600485819
394.41/53.54	c (51,0) c PropsLitFullScans_7 : 6601779577
394.41/53.54	c (51,0) c PropsLitFullScans_total : 52819011334
394.41/53.54	c (51,0) c PropsLitFullScans_winner : 6601936643
394.41/53.54	c (51,0) c LitScanFractions_0 : 1763946
394.41/53.54	c (51,0) c LitScanFractions_1 : 2278630
394.41/53.54	c (51,0) c LitScanFractions_2 : 467892
394.41/53.54	c (51,0) c LitScanFractions_3 : 1923588
394.41/53.54	c (51,0) c LitScanFractions_4 : 668552
394.41/53.54	c (51,0) c LitScanFractions_5 : 2100099
394.41/53.54	c (51,0) c LitScanFractions_6 : 475600
394.41/53.54	c (51,0) c LitScanFractions_7 : 1769517
394.41/53.54	c (51,0) c LitScanFractions_total : 11447824
394.41/53.54	c (51,0) c LitScanFractions_winner : 467892
394.41/53.54	c (51,0) c DecisionLevel0_0 : 1528
394.41/53.54	c (51,0) c DecisionLevel0_1 : 1083
394.41/53.54	c (51,0) c DecisionLevel0_2 : 5851
394.41/53.54	c (51,0) c DecisionLevel0_3 : 1911
394.41/53.54	c (51,0) c DecisionLevel0_4 : 5824
394.41/53.54	c (51,0) c DecisionLevel0_5 : 887
394.41/53.54	c (51,0) c DecisionLevel0_6 : 6025
394.41/53.54	c (51,0) c DecisionLevel0_7 : 495
394.41/53.54	c (51,0) c DecisionLevel0_total : 23604
394.41/53.54	c (51,0) c DecisionLevel0_winner : 5851
394.41/53.54	c (51,0) c Periods_0 : 1101
394.41/53.54	c (51,0) c Periods_1 : 1100
394.41/53.54	c (51,0) c Periods_2 : 1100
394.41/53.54	c (51,0) c Periods_3 : 1100
394.41/53.54	c (51,0) c Periods_4 : 1100
394.41/53.54	c (51,0) c Periods_5 : 1100
394.41/53.54	c (51,0) c Periods_6 : 1100
394.41/53.54	c (51,0) c Periods_7 : 1100
394.41/53.54	c (51,0) c Periods_total : 8801
394.41/53.54	c (51,0) c Periods_winner : 1100
394.41/53.54	c (51,0) c Margin_0 : 20
394.41/53.54	c (51,0) c Margin_1 : 20
394.41/53.54	c (51,0) c Margin_2 : 20
394.41/53.54	c (51,0) c Margin_3 : 20
394.41/53.54	c (51,0) c Margin_4 : 20
394.41/53.54	c (51,0) c Margin_5 : 20
394.41/53.54	c (51,0) c Margin_6 : 20
394.41/53.54	c (51,0) c Margin_7 : 20
394.41/53.54	c (51,0) c Margin_total : 160
394.41/53.54	c (51,0) c Margin_winner : 20
394.41/53.54	c (51,0) c Exported_0 : 51300
394.41/53.54	c (51,0) c Exported_1 : 52238
394.41/53.54	c (51,0) c Exported_2 : 310367
394.41/53.54	c (51,0) c Exported_3 : 47991
394.41/53.54	c (51,0) c Exported_4 : 309501
394.41/53.54	c (51,0) c Exported_5 : 56078
394.41/53.54	c (51,0) c Exported_6 : 327017
394.41/53.54	c (51,0) c Exported_7 : 58336
394.41/53.54	c (51,0) c Exported_total : 1212828
394.41/53.54	c (51,0) c Exported_winner : 310367
394.41/53.54	c (51,0) c Imported_0 : 1139306
394.41/53.54	c (51,0) c Imported_1 : 1136848
394.41/53.54	c (51,0) c Imported_2 : 886408
394.41/53.54	c (51,0) c Imported_3 : 1141826
394.41/53.54	c (51,0) c Imported_4 : 885009
394.41/53.54	c (51,0) c Imported_5 : 1133586
394.41/53.54	c (51,0) c Imported_6 : 868478
394.41/53.54	c (51,0) c Imported_7 : 1127603
394.41/53.54	c (51,0) c Imported_total : 8319064
394.41/53.54	c (51,0) c Imported_winner : 886408
394.41/53.54	c (51,0) c Good_0 : 402
394.41/53.54	c (51,0) c Good_1 : 381
394.41/53.54	c (51,0) c Good_2 : 336
394.41/53.54	c (51,0) c Good_3 : 386
394.41/53.54	c (51,0) c Good_4 : 312
394.41/53.54	c (51,0) c Good_5 : 391
394.41/53.54	c (51,0) c Good_6 : 285
394.41/53.54	c (51,0) c Good_7 : 340
394.41/53.54	c (51,0) c Good_total : 2833
394.41/53.54	c (51,0) c Good_winner : 336
394.41/53.54	c (51,0) c Purge_0 : 1138904
394.41/53.54	c (51,0) c Purge_1 : 1136467
394.41/53.54	c (51,0) c Purge_2 : 886072
394.41/53.54	c (51,0) c Purge_3 : 1141440
394.41/53.54	c (51,0) c Purge_4 : 884697
394.41/53.54	c (51,0) c Purge_5 : 1133195
394.41/53.54	c (51,0) c Purge_6 : 868193
394.41/53.54	c (51,0) c Purge_7 : 1127263
394.41/53.54	c (51,0) c Purge_total : 8316231
394.41/53.54	c (51,0) c Purge_winner : 886072
394.41/53.54	c (51,0) c Promoted_0 : 74604
394.41/53.54	c (51,0) c Promoted_1 : 72726
394.41/53.54	c (51,0) c Promoted_2 : 20992
394.41/53.54	c (51,0) c Promoted_3 : 79006
394.41/53.54	c (51,0) c Promoted_4 : 23310
394.41/53.54	c (51,0) c Promoted_5 : 63444
394.41/53.54	c (51,0) c Promoted_6 : 22150
394.41/53.54	c (51,0) c Promoted_7 : 55179
394.41/53.54	c (51,0) c Promoted_total : 411411
394.41/53.54	c (51,0) c Promoted_winner : 20992
394.41/53.54	c (51,0) c Remove_Imp_0 : 931949
394.41/53.54	c (51,0) c Remove_Imp_1 : 938774
394.41/53.54	c (51,0) c Remove_Imp_2 : 855874
394.41/53.54	c (51,0) c Remove_Imp_3 : 923388
394.41/53.54	c (51,0) c Remove_Imp_4 : 859207
394.41/53.54	c (51,0) c Remove_Imp_5 : 889468
394.41/53.54	c (51,0) c Remove_Imp_6 : 839688
394.41/53.54	c (51,0) c Remove_Imp_7 : 899876
394.41/53.54	c (51,0) c Remove_Imp_total : 7138224
394.41/53.54	c (51,0) c Remove_Imp_winner : 855874
394.41/53.54	c (51,0) c Blocked_Reuse_0 : 0
394.41/53.54	c (51,0) c Blocked_Reuse_1 : 0
394.41/53.54	c (51,0) c Blocked_Reuse_2 : 0
394.41/53.54	c (51,0) c Blocked_Reuse_3 : 0
394.41/53.54	c (51,0) c Blocked_Reuse_4 : 0
394.41/53.54	c (51,0) c Blocked_Reuse_5 : 0
394.41/53.54	c (51,0) c Blocked_Reuse_6 : 0
394.41/53.54	c (51,0) c Blocked_Reuse_7 : 0
394.41/53.54	c (51,0) c Blocked_Reuse_total : 0
394.41/53.54	c (51,0) c Blocked_Reuse_winner : 0
394.41/53.54	c (51,0) c Unaries_0 : 3
394.41/53.54	c (51,0) c Unaries_1 : 1
394.41/53.54	c (51,0) c Unaries_2 : 19
394.41/53.54	c (51,0) c Unaries_3 : 4
394.41/53.54	c (51,0) c Unaries_4 : 8
394.41/53.54	c (51,0) c Unaries_5 : 1
394.41/53.54	c (51,0) c Unaries_6 : 12
394.41/53.55	c (51,0) c Unaries_7 : 5
394.41/53.55	c (51,0) c Unaries_total : 53
394.41/53.55	c (51,0) c Unaries_winner : 19
394.41/53.55	c (51,0) c Binaries_0 : 35
394.41/53.55	c (51,0) c Binaries_1 : 45
394.41/53.55	c (51,0) c Binaries_2 : 158
394.41/53.55	c (51,0) c Binaries_3 : 54
394.41/53.55	c (51,0) c Binaries_4 : 137
394.41/53.55	c (51,0) c Binaries_5 : 29
394.41/53.55	c (51,0) c Binaries_6 : 184
394.41/53.55	c (51,0) c Binaries_7 : 66
394.41/53.55	c (51,0) c Binaries_total : 708
394.41/53.55	c (51,0) c Binaries_winner : 158
394.41/53.55	c (51,0) c Glues_0 : 69
394.41/53.55	c (51,0) c Glues_1 : 86
394.41/53.55	c (51,0) c Glues_2 : 226
394.41/53.55	c (51,0) c Glues_3 : 85
394.41/53.55	c (51,0) c Glues_4 : 187
394.41/53.55	c (51,0) c Glues_5 : 74
394.41/53.55	c (51,0) c Glues_6 : 254
394.41/53.55	c (51,0) c Glues_7 : 106
394.41/53.55	c (51,0) c Glues_total : 1087
394.41/53.55	c (51,0) c Glues_winner : 226
394.41/53.55	c (51,0) c RunningTime_0 : 48.699272
394.41/53.55	c (51,0) c RunningTime_1 : 47.712063
394.41/53.55	c (51,0) c RunningTime_2 : 49.218324
394.41/53.55	c (51,0) c RunningTime_3 : 47.754701
394.41/53.55	c (51,0) c RunningTime_4 : 49.923518
394.41/53.55	c (51,0) c RunningTime_5 : 47.878348
394.41/53.55	c (51,0) c RunningTime_6 : 50.003037
394.41/53.55	c (51,0) c RunningTime_7 : 46.003217
394.41/53.55	c (51,0) c RunningTime_total : 387.192481
394.41/53.55	c (51,0) c RunningTime_winner : 49.218324
394.41/53.55	c (51,0) c WaitingTime_0 : 1.118372
394.41/53.55	c (51,0) c WaitingTime_1 : 2.832263
394.41/53.55	c (51,0) c WaitingTime_2 : 0.350252
394.41/53.55	c (51,0) c WaitingTime_3 : 2.081019
394.41/53.55	c (51,0) c WaitingTime_4 : 0.001590
394.41/53.55	c (51,0) c WaitingTime_5 : 2.359755
394.41/53.55	c (51,0) c WaitingTime_6 : 0.001370
394.41/53.55	c (51,0) c WaitingTime_7 : 3.954548
394.41/53.55	c (51,0) c WaitingTime_total : 12.699171
394.41/53.55	c (51,0) c WaitingTime_winner : 0.350252
394.41/53.55	c (51,0) c ExchangingTime_0 : 0.416734
394.41/53.55	c (51,0) c ExchangingTime_1 : 0.421387
394.41/53.55	c (51,0) c ExchangingTime_2 : 0.435503
394.41/53.55	c (51,0) c ExchangingTime_3 : 0.413334
394.41/53.55	c (51,0) c ExchangingTime_4 : 0.438047
394.41/53.55	c (51,0) c ExchangingTime_5 : 0.445052
394.41/53.55	c (51,0) c ExchangingTime_6 : 0.423429
394.41/53.55	c (51,0) c ExchangingTime_7 : 0.461159
394.41/53.55	c (51,0) c ExchangingTime_total : 3.454646
394.41/53.55	c (51,0) c ExchangingTime_winner : 0.435503
394.41/53.55	c (51,0) c PeriodProcTime_0 : 0.007945
394.41/53.55	c (51,0) c PeriodProcTime_1 : 0.007906
394.41/53.55	c (51,0) c PeriodProcTime_2 : 0.007946
394.41/53.55	c (51,0) c PeriodProcTime_3 : 0.007481
394.41/53.55	c (51,0) c PeriodProcTime_4 : 0.009170
394.41/53.55	c (51,0) c PeriodProcTime_5 : 0.007449
394.41/53.55	c (51,0) c PeriodProcTime_6 : 0.009601
394.41/53.55	c (51,0) c PeriodProcTime_7 : 0.008326
394.41/53.55	c (51,0) c PeriodProcTime_total : 0.065823
394.41/53.55	c (51,0) c PeriodProcTime_winner : 0.007946
394.41/53.55	c (51,0) c SolvingTime_0 : 50.242322
394.41/53.55	c (51,0) c SolvingTime_1 : 50.973620
394.41/53.55	c (51,0) c SolvingTime_2 : 50.012025
394.41/53.55	c (51,0) c SolvingTime_3 : 50.256535
394.41/53.55	c (51,0) c SolvingTime_4 : 50.372326
394.41/53.55	c (51,0) c SolvingTime_5 : 50.690605
394.41/53.55	c (51,0) c SolvingTime_6 : 50.437437
394.41/53.55	c (51,0) c SolvingTime_7 : 50.427250
394.41/53.55	c (51,0) c SolvingTime_total : 403.412120
394.41/53.55	c (51,0) c SolvingTime_winner : 50.012025
394.41/53.55	c (51,0) c PropagationTime_0 : 45.384695
394.41/53.55	c (51,0) c PropagationTime_1 : 45.955890
394.41/53.55	c (51,0) c PropagationTime_2 : 33.493198
394.41/53.55	c (51,0) c PropagationTime_3 : 45.505402
394.41/53.55	c (51,0) c PropagationTime_4 : 34.006689
394.41/53.55	c (51,0) c PropagationTime_5 : 44.704396
394.41/53.55	c (51,0) c PropagationTime_6 : 33.705426
394.41/53.55	c (51,0) c PropagationTime_7 : 45.744840
394.41/53.55	c (51,0) c PropagationTime_total : 328.500536
394.41/53.55	c (51,0) c PropagationTime_winner : 33.493198
394.41/53.55	c (51,0) c AnalysisTime_0 : 2.863460
394.41/53.55	c (51,0) c AnalysisTime_1 : 2.921810
394.41/53.55	c (51,0) c AnalysisTime_2 : 9.584730
394.41/53.55	c (51,0) c AnalysisTime_3 : 2.749100
394.41/53.55	c (51,0) c AnalysisTime_4 : 9.832322
394.41/53.55	c (51,0) c AnalysisTime_5 : 4.030732
394.41/53.55	c (51,0) c AnalysisTime_6 : 10.069720
394.41/53.55	c (51,0) c AnalysisTime_7 : 2.692261
394.41/53.55	c (51,0) c AnalysisTime_total : 44.744134
394.41/53.55	c (51,0) c AnalysisTime_winner : 9.584730
394.41/53.55	c (51,0) c ReductionTime_0 : 1.161685
394.41/53.55	c (51,0) c ReductionTime_1 : 1.268802
394.41/53.55	c (51,0) c ReductionTime_2 : 4.408211
394.41/53.55	c (51,0) c ReductionTime_3 : 1.170128
394.41/53.55	c (51,0) c ReductionTime_4 : 4.274740
394.41/53.55	c (51,0) c ReductionTime_5 : 1.139111
394.41/53.55	c (51,0) c ReductionTime_6 : 4.305729
394.41/53.55	c (51,0) c ReductionTime_7 : 1.120219
394.41/53.55	c (51,0) c ReductionTime_total : 18.848625
394.41/53.55	c (51,0) c ReductionTime_winner : 4.408211
394.41/53.55	c (51,0) c SimplifyTime_0 : 0.024160
394.41/53.55	c (51,0) c SimplifyTime_1 : 0.033607
394.41/53.55	c (51,0) c SimplifyTime_2 : 0.033976
394.41/53.55	c (51,0) c SimplifyTime_3 : 0.025748
394.41/53.55	c (51,0) c SimplifyTime_4 : 0.029336
394.41/53.55	c (51,0) c SimplifyTime_5 : 0.030176
394.41/53.55	c (51,0) c SimplifyTime_6 : 0.035186
394.41/53.55	c (51,0) c SimplifyTime_7 : 0.072209
394.41/53.55	c (51,0) c SimplifyTime_total : 0.284397
394.41/53.55	c (51,0) c SimplifyTime_winner : 0.033976
394.41/53.55	c (51,0) c UsedRateTime_0 : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_1 : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_2 : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_3 : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_4 : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_5 : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_6 : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_7 : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_total : 0.000000
394.41/53.55	c (51,0) c UsedRateTime_winner : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_0 : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_1 : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_2 : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_3 : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_4 : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_5 : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_6 : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_7 : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_total : 0.000000
394.41/53.55	c (51,0) c OverlapRateTime_winner : 0.000000
394.41/53.55	c (51,0) c
394.41/53.55	c (51,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
394.41/53.55	c (51,0) c
394.41/53.55	c (51,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.55	c (51,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
394.41/53.55	c (51,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.55	c (51,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
394.41/53.55	c (51,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
394.41/53.55	c (51,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
394.41/53.55	c (51,0) c | Initial random_seed   | 1414390192 |  269122161 | 1838876403 | 1054814778 |  935448000 |  790058287 | 1275334800 |  229044585 |
394.41/53.55	c (51,0) c | chanseokStrategy      |      False |      False |       True |      False |       True |      False |       True |      False |
394.41/53.55	c (51,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
394.41/53.55	c (51,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
394.41/53.55	c (51,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
394.41/53.55	c (51,0) c | incReduceDB           |        300 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
394.41/53.55	c (51,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
394.41/53.55	c (51,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
394.41/53.55	c (51,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
394.41/53.55	c (51,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
394.41/53.55	c (51,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
394.41/53.55	c (51,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
394.41/53.55	c (51,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.41/53.55	c (51,0) 
394.41/53.55	c (51,0) s UNSATISFIABLE
394.41/53.55	c (51,0) SatSolver.solve End
394.41/53.55	c (51,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
394.41/53.55	c (51,0) Show results Begin
394.41/53.55	s UNSATISFIABLE
394.41/53.55	c (51,0) Show results End
394.41/53.55	c (51,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
394.41/53.56	c (51,0) 51,51,STOP-AFTER(ALL)
394.41/53.56	c END-Prog: Tue Sep 24 22:09:33 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 (14035 MiB free)
  memory of node 1: 16384 MiB (10973 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405514-1569355761/watcher-4405514-1569355761 -o /var/tmp/evaluation-result-4405514-1569355761/solver-4405514-1569355761 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569355719-18277 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405514-1569355761.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18294, runsolver pid=18291
Current StackSize limit: 8192 KiB


[startup+0.100955 s]*
/proc/loadavg: 7.43 7.73 7.93 3/211 18316
/proc/meminfo: memFree=25514296/32770624 swapFree=66997532/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 18250 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 511514401 115843072 349 33554432000 4194304 5098028 140724956599248 140724956596504 140684959847036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24133632 140724956603132 140724956603480 140724956603480 140724956606409 0
/proc/18294/statm: 28282 349 296 221 0 87 0
[pid=18297] ppid=18294 vsize=27314120 memory=107684 CPUtime=0.1 cores=0-7
/proc/18297/stat : 18297 (java) S 18294 18294 18250 0 -1 1077944320 6470 0 0 0 8 2 0 0 20 0 20 0 511514401 27969658880 26921 33554432000 4194304 4196468 140736862245584 140736862228128 140067999825655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
/proc/18297/statm: 6828530 26921 2795 1 0 6790935 0
[pid=18297/tid=18298] ppid=18294 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 18250 0 -1 4202560 4584 0 0 0 7 2 0 0 20 0 20 0 511514402 27969658880 26921 33554432000 4194304 4196468 140736862245584 140067971660784 140067983906142 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18299] ppid=18294 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 26921 33554432000 4194304 4196468 140736862245584 140068004068368 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18300] ppid=18294 vsize=27314120 memory=139878092555904 CPUtime=0 cores=0-7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 26921 33554432000 4194304 4196468 140736862245584 140067818224784 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18301] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 26921 33554432000 4194304 4196468 140736862245584 140067817171728 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18302] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18302/stat : 18302 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 26921 33554432000 4194304 4196468 140736862245584 140067816119184 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18303] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18303/stat : 18303 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 26921 33554432000 4194304 4196468 140736862245584 140067815066128 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18304] ppid=18294 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18297/task/18304/stat : 18304 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 26921 33554432000 4194304 4196468 140736862245584 140067814013584 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18305] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18305/stat : 18305 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 26921 33554432000 4194304 4196468 140736862245584 140067812960528 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18306] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18306/stat : 18306 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 26921 33554432000 4194304 4196468 140736862245584 140067811907984 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18307] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18307/stat : 18307 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 26921 33554432000 4194304 4196468 140736862245584 140066923948784 140067999836802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18308] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18308/stat : 18308 (java) S 18294 18294 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 26921 33554432000 4194304 4196468 140736862245584 140065929946784 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18309] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18309/stat : 18309 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 26921 33554432000 4194304 4196468 140736862245584 140065661510896 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18310] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18310/stat : 18310 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 26921 33554432000 4194304 4196468 140736862245584 140065287002576 140067999844251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18311] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18311/stat : 18311 (java) S 18294 18294 18250 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 26921 33554432000 4194304 4196468 140736862245584 140066922895600 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18312] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18312/stat : 18312 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 26921 33554432000 4194304 4196468 140736862245584 140066921843056 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18313] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18313/stat : 18313 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 26921 33554432000 4194304 4196468 140736862245584 140066920790000 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18314] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18314/stat : 18314 (java) S 18294 18294 18250 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 26921 33554432000 4194304 4196468 140736862245584 140066919737456 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18315] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18315/stat : 18315 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 26921 33554432000 4194304 4196468 140736862245584 140064789097440 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18316] ppid=18294 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18297/task/18316/stat : 18316 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 26921 33554432000 4194304 4196468 140736862245584 140066918685872 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109080 KiB

[startup+0.213467 s]*
/proc/loadavg: 7.43 7.73 7.93 2/211 18316
/proc/meminfo: memFree=25490936/32770624 swapFree=66997532/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 18250 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 511514401 115843072 349 33554432000 4194304 5098028 140724956599248 140724956596504 140684959847036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24133632 140724956603132 140724956603480 140724956603480 140724956606409 0
/proc/18294/statm: 28282 349 296 221 0 87 0
[pid=18297] ppid=18294 vsize=27314120 memory=126808 CPUtime=0.25 cores=0-7
/proc/18297/stat : 18297 (java) S 18294 18294 18250 0 -1 1077944320 12090 0 0 0 21 4 0 0 20 0 20 0 511514401 27969658880 31702 33554432000 4194304 4196468 140736862245584 140736862228128 140067999825655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
/proc/18297/statm: 6828530 31702 2940 1 0 6790935 0
[pid=18297/tid=18298] ppid=18294 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 18250 0 -1 4202560 9824 0 0 0 17 3 0 0 20 0 20 0 511514402 27969658880 31702 33554432000 4194304 4196468 140736862245584 140067971609216 140067981389184 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18299] ppid=18294 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 31702 33554432000 4194304 4196468 140736862245584 140068004068368 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18300] ppid=18294 vsize=27314120 memory=139878092571957 CPUtime=0 cores=0-7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 31702 33554432000 4194304 4196468 140736862245584 140067818224784 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18301] ppid=18294 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 31702 33554432000 4194304 4196468 140736862245584 140067817171728 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18302] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18302/stat : 18302 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 31702 33554432000 4194304 4196468 140736862245584 140067816119184 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18303] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18303/stat : 18303 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 31702 33554432000 4194304 4196468 140736862245584 140067815066128 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18304] ppid=18294 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18297/task/18304/stat : 18304 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 31702 33554432000 4194304 4196468 140736862245584 140067814013584 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18305] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18305/stat : 18305 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 31702 33554432000 4194304 4196468 140736862245584 140067812960528 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18306] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18306/stat : 18306 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 31702 33554432000 4194304 4196468 140736862245584 140067811907984 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18307] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18307/stat : 18307 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 31702 33554432000 4194304 4196468 140736862245584 140066923948784 140067999836802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18308] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18308/stat : 18308 (java) S 18294 18294 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 31702 33554432000 4194304 4196468 140736862245584 140065929946784 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18309] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18309/stat : 18309 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 31702 33554432000 4194304 4196468 140736862245584 140065661510896 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18310] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18310/stat : 18310 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 31702 33554432000 4194304 4196468 140736862245584 140065287002576 140067999844251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18311] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18311/stat : 18311 (java) S 18294 18294 18250 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 31702 33554432000 4194304 4196468 140736862245584 140066922895600 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18312] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18312/stat : 18312 (java) S 18294 18294 18250 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 31702 33554432000 4194304 4196468 140736862245584 140066921843056 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18313] ppid=18294 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18297/task/18313/stat : 18313 (java) S 18294 18294 18250 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 31702 33554432000 4194304 4196468 140736862245584 140066920790000 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18314] ppid=18294 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/18297/task/18314/stat : 18314 (java) S 18294 18294 18250 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 20 0 511514409 27969658880 31702 33554432000 4194304 4196468 140736862245584 140066919737456 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18315] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18315/stat : 18315 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 31702 33554432000 4194304 4196468 140736862245584 140064789097440 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18316] ppid=18294 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18297/task/18316/stat : 18316 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 31702 33554432000 4194304 4196468 140736862245584 140066918685872 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128204 KiB

[startup+0.310176 s]*
/proc/loadavg: 7.43 7.73 7.93 2/211 18316
/proc/meminfo: memFree=25488712/32770624 swapFree=66997532/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 18250 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 511514401 115843072 349 33554432000 4194304 5098028 140724956599248 140724956596504 140684959847036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24133632 140724956603132 140724956603480 140724956603480 140724956606409 0
/proc/18294/statm: 28282 349 296 221 0 87 0
[pid=18297] ppid=18294 vsize=27314120 memory=130416 CPUtime=0.43 cores=0-7
/proc/18297/stat : 18297 (java) S 18294 18294 18250 0 -1 1077944320 12439 0 0 0 38 5 0 0 20 0 20 0 511514401 27969658880 32604 33554432000 4194304 4196468 140736862245584 140736862228128 140067999825655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
/proc/18297/statm: 6828530 32604 3032 1 0 6790935 0
[pid=18297/tid=18298] ppid=18294 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 18250 0 -1 4202560 10011 0 0 0 26 3 0 0 20 0 20 0 511514402 27969658880 32604 33554432000 4194304 4196468 140736862245584 140067971652832 140067983012464 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18299] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 32604 33554432000 4194304 4196468 140736862245584 140068004068368 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18300] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 32604 33554432000 4194304 4196468 140736862245584 140067818224784 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18301] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 32604 33554432000 4194304 4196468 140736862245584 140067817171728 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18302] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18302/stat : 18302 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 32604 33554432000 4194304 4196468 140736862245584 140067816119184 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18303] ppid=18294 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/18297/task/18303/stat : 18303 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 32604 33554432000 4194304 4196468 140736862245584 140067815066128 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18304] ppid=18294 vsize=27314120 memory=139877958120367 CPUtime=0 cores=0-7
/proc/18297/task/18304/stat : 18304 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 32604 33554432000 4194304 4196468 140736862245584 140067814013584 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18305] ppid=18294 vsize=27314120 memory=139877958122672 CPUtime=0 cores=0-7
/proc/18297/task/18305/stat : 18305 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 32604 33554432000 4194304 4196468 140736862245584 140067812960528 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18306] ppid=18294 vsize=27314120 memory=139877958124976 CPUtime=0 cores=0-7
/proc/18297/task/18306/stat : 18306 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27969658880 32604 33554432000 4194304 4196468 140736862245584 140067811907984 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18307] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18307/stat : 18307 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 32604 33554432000 4194304 4196468 140736862245584 140066923948784 140067999836802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18308] ppid=18294 vsize=27314120 memory=279755916256912 CPUtime=0 cores=0-7
/proc/18297/task/18308/stat : 18308 (java) S 18294 18294 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 32604 33554432000 4194304 4196468 140736862245584 140065929946784 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18309] ppid=18294 vsize=27314120 memory=279755916263824 CPUtime=0 cores=0-7
/proc/18297/task/18309/stat : 18309 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514406 27969658880 32604 33554432000 4194304 4196468 140736862245584 140065661510896 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18310] ppid=18294 vsize=27314120 memory=279755916204976 CPUtime=0 cores=0-7
/proc/18297/task/18310/stat : 18310 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 32604 33554432000 4194304 4196468 140736862245584 140065287002576 140067999844251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18311] ppid=18294 vsize=27314120 memory=279755916277648 CPUtime=0.02 cores=0-7
/proc/18297/task/18311/stat : 18311 (java) R 18294 18294 18250 0 -1 4202560 426 0 0 0 2 0 0 0 20 0 20 0 511514409 27969658880 32604 33554432000 4194304 4196468 140736862245584 140066922895600 140067981348181 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18312] ppid=18294 vsize=27314120 memory=279755916284560 CPUtime=0 cores=0-7
/proc/18297/task/18312/stat : 18312 (java) S 18294 18294 18250 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 32604 33554432000 4194304 4196468 140736862245584 140066921843056 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18313] ppid=18294 vsize=27314120 memory=279755916282256 CPUtime=0.01 cores=0-7
/proc/18297/task/18313/stat : 18313 (java) S 18294 18294 18250 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 511514409 27969658880 32604 33554432000 4194304 4196468 140736862245584 140066920790000 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18314] ppid=18294 vsize=27314120 memory=279755916298416 CPUtime=0.07 cores=0-7
/proc/18297/task/18314/stat : 18314 (java) S 18294 18294 18250 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 20 0 511514409 27969658880 32604 33554432000 4194304 4196468 140736862245584 140066919737456 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18315] ppid=18294 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18315/stat : 18315 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 32604 33554432000 4194304 4196468 140736862245584 140064789097440 140067999835861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18316] ppid=18294 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18297/task/18316/stat : 18316 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514409 27969658880 32604 33554432000 4194304 4196468 140736862245584 140066918685872 140067999836802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131812 KiB

[startup+0.701502 s]
/proc/loadavg: 7.43 7.73 7.93 2/211 18316
/proc/meminfo: memFree=25467868/32770624 swapFree=66997532/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 18250 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 511514401 115843072 349 33554432000 4194304 5098028 140724956599248 140724956596504 140684959847036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24133632 140724956603132 140724956603480 140724956603480 140724956606409 0
/proc/18294/statm: 28282 349 296 221 0 87 0
[pid=18297] ppid=18294 vsize=27320392 memory=165580 CPUtime=0.99 cores=0-7
/proc/18297/stat : 18297 (java) S 18294 18294 18250 0 -1 1077944320 19975 0 0 0 92 7 0 0 20 0 20 0 511514401 27976081408 41395 33554432000 4194304 4196468 140736862245584 140736862228128 140067999825655 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
/proc/18297/statm: 6830098 41395 3188 1 0 6791447 0
[pid=18297/tid=18298] ppid=18294 vsize=27320392 memory=279755916656304 CPUtime=0.67 cores=0-7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 18250 0 -1 4202560 16969 0 0 0 62 5 0 0 20 0 20 0 511514402 27976081408 41395 33554432000 4194304 4196468 140736862245584 140067971649280 140067999847581 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18299] ppid=18294 vsize=27320392 memory=139877958329200 CPUtime=0 cores=0-7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27976081408 41395 33554432000 4194304 4196468 140736862245584 140068004068368 140067999835861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18300] ppid=18294 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511514404 27976081408 41395 33554432000 4194304 4196468 140736862245584 140067818224784 140067999835861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0
[pid=18297/tid=18301] ppid=18294 vsize=27320392 memory=6124 CPUtime=0 cores=0-7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511514404 27976081408 41395 33554432000 4194304 4196468 140736862245584 140067817171728 140067999835861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19283968 140736862249670 140736862250118 140736862250118 140736862253007 0

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

[pid=18319/tid=18329] ppid=18294 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18319/task/18329/stat : 18329 (java) S 18294 18294 18250 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 511514578 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854714382320 139855352556162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18330] ppid=18294 vsize=8414124 memory=1182734363 CPUtime=0 cores=0-7
/proc/18319/task/18330/stat : 18330 (java) S 18294 18294 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511514579 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853664609184 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18331] ppid=18294 vsize=8414124 memory=1182734363 CPUtime=0 cores=0-7
/proc/18319/task/18331/stat : 18331 (java) S 18294 18294 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511514579 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853530387440 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18332] ppid=18294 vsize=8414124 memory=9127577552 CPUtime=0 cores=0-7
/proc/18319/task/18332/stat : 18332 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853155883216 139855352563611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18333] ppid=18294 vsize=8414124 memory=9127577553 CPUtime=0.11 cores=0-7
/proc/18319/task/18333/stat : 18333 (java) S 18294 18294 18250 0 -1 1077944384 799 0 0 0 11 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854713330160 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18334] ppid=18294 vsize=8414124 memory=288230574492221466 CPUtime=0.08 cores=0-7
/proc/18319/task/18334/stat : 18334 (java) S 18294 18294 18250 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854712277616 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18335] ppid=18294 vsize=8414124 memory=301741382048153914 CPUtime=0.07 cores=0-7
/proc/18319/task/18335/stat : 18335 (java) S 18294 18294 18250 0 -1 1077944384 433 0 0 0 7 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854711225072 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18336] ppid=18294 vsize=8414124 memory=14973369229511284 CPUtime=0.21 cores=0-7
/proc/18319/task/18336/stat : 18336 (java) S 18294 18294 18250 0 -1 1077944384 552 0 0 0 21 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854710172528 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18337] ppid=18294 vsize=8414124 memory=20935 CPUtime=0 cores=0-7
/proc/18319/task/18337/stat : 18337 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139852657977568 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18338] ppid=18294 vsize=8414124 memory=2663 CPUtime=0.01 cores=0-7
/proc/18319/task/18338/stat : 18338 (java) S 18294 18294 18250 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854709119408 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18340] ppid=18294 vsize=8414124 memory=2483 CPUtime=0 cores=0-7
/proc/18319/task/18340/stat : 18340 (java) S 18294 18294 18250 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511514650 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854701085888 139855352569625 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18349] ppid=18294 vsize=8414124 memory=7378837505724521942 CPUtime=0 cores=0-7
/proc/18319/task/18349/stat : 18349 (java) S 18294 18294 18250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511514651 8616062976 29950 33554432000 4194304 4196468 140722272437840 139851986878256 139855352566941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18351] ppid=18294 vsize=8414124 memory=279755918393376 CPUtime=0 cores=0-7
/proc/18319/task/18351/stat : 18351 (java) S 18294 18294 18250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 511514651 8616062976 29950 33554432000 4194304 4196468 140722272437840 139851718442928 139855352566941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18352] ppid=18294 vsize=8414124 memory=-3761991693426146123 CPUtime=0 cores=0-7
/proc/18319/task/18352/stat : 18352 (java) S 18294 18294 18250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 511514653 8616062976 29950 33554432000 4194304 4196468 140722272437840 139852255321776 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
Current children cumulated CPU time: 394.06 s
Current children cumulated vsize: 9273788 KiB
Current children cumulated memory: 572856 KiB

[startup+53.401 s]
/proc/loadavg: 7.67 7.75 7.93 5/220 18355
/proc/meminfo: memFree=25051956/32770624 swapFree=66997532/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1476 CPUtime=3.36 cores=0-7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 18250 0 -1 4202496 583 25052 0 0 0 0 322 14 20 0 1 0 511514401 115843072 369 33554432000 4194304 5098028 140724956599248 140724956595992 140684959847036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24133632 140724956603132 140724956603480 140724956603480 140724956606409 0
/proc/18294/statm: 28282 369 311 221 0 87 0
[pid=18319] ppid=18294 vsize=8414124 memory=119800 CPUtime=1.31 cores=0-7
/proc/18319/stat : 18319 (java) S 18294 18294 18250 0 -1 1077944320 20331 0 0 0 122 9 0 0 20 0 24 0 511514575 8616062976 29950 33554432000 4194304 4196468 140722272437840 140722272420384 139855352545015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
/proc/18319/statm: 2103531 29950 3208 1 0 2064875 0
[pid=18339] ppid=18319 vsize=746536 memory=451580 CPUtime=389.64 cores=0-7
/proc/18339/stat : 18339 (manyglucose-4.1) S 18319 18294 18250 0 -1 1077944320 419902 0 0 0 38882 82 0 0 20 0 2 0 511514650 764452864 112895 33554432000 4194304 4454172 140733998239968 140733998238352 139952831045367 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 19914752 140733998248781 140733998248988 140733998248988 140733998251958 0
/proc/18339/statm: 186634 112895 419 64 0 182302 0
[pid=18339/tid=18342] ppid=18319 vsize=746536 memory=279755917870752 CPUtime=47.72 cores=0-7
/proc/18339/task/18342/stat : 18342 (manyglucose-4.1) R 18319 18294 18250 0 -1 4202560 59874 0 0 0 4757 15 0 0 20 0 2 0 511514650 764452864 112895 33554432000 4194304 4454172 140733998239968 139952807435400 4351313 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 19914752 140733998248781 140733998248988 140733998248988 140733998251958 0
[pid=18319/tid=18320] ppid=18294 vsize=8414124 memory=279755917877568 CPUtime=0.77 cores=0-7
/proc/18319/task/18320/stat : 18320 (java) S 18294 18294 18250 0 -1 1077944384 16832 0 0 0 71 6 0 0 20 0 24 0 511514576 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855324385184 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18321] ppid=18294 vsize=8414124 memory=279755917355632 CPUtime=0 cores=0-7
/proc/18319/task/18321/stat : 18321 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855356786960 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18322] ppid=18294 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18319/task/18322/stat : 18322 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855156955536 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18323] ppid=18294 vsize=8414124 memory=6935653653823705168 CPUtime=0 cores=0-7
/proc/18319/task/18323/stat : 18323 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855155902992 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18324] ppid=18294 vsize=8414124 memory=6935655852846960720 CPUtime=0 cores=0-7
/proc/18319/task/18324/stat : 18324 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855154850448 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18325] ppid=18294 vsize=8414124 memory=6935651454800449616 CPUtime=0 cores=0-7
/proc/18319/task/18325/stat : 18325 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855153797904 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18326] ppid=18294 vsize=8414124 memory=6935656952358588496 CPUtime=0 cores=0-7
/proc/18319/task/18326/stat : 18326 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855152745360 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18327] ppid=18294 vsize=8414124 memory=6935650355288821840 CPUtime=0 cores=0-7
/proc/18319/task/18327/stat : 18327 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855151692816 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18328] ppid=18294 vsize=8414124 memory=6935652554312077392 CPUtime=0 cores=0-7
/proc/18319/task/18328/stat : 18328 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855150640272 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18329] ppid=18294 vsize=8414124 memory=6935654753335332944 CPUtime=0 cores=0-7
/proc/18319/task/18329/stat : 18329 (java) S 18294 18294 18250 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 511514578 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854714382320 139855352556162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18330] ppid=18294 vsize=8414124 memory=6935650355288821840 CPUtime=0 cores=0-7
/proc/18319/task/18330/stat : 18330 (java) S 18294 18294 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511514579 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853664609184 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18331] ppid=18294 vsize=8414124 memory=4639341352798146640 CPUtime=0 cores=0-7
/proc/18319/task/18331/stat : 18331 (java) S 18294 18294 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511514579 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853530387440 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18332] ppid=18294 vsize=8414124 memory=4639341352798146640 CPUtime=0 cores=0-7
/proc/18319/task/18332/stat : 18332 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853155883216 139855352563611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18333] ppid=18294 vsize=8414124 memory=6935651454800449616 CPUtime=0.11 cores=0-7
/proc/18319/task/18333/stat : 18333 (java) S 18294 18294 18250 0 -1 1077944384 799 0 0 0 11 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854713330160 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18334] ppid=18294 vsize=8414124 memory=4639074098508484695 CPUtime=0.08 cores=0-7
/proc/18319/task/18334/stat : 18334 (java) S 18294 18294 18250 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854712277616 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18335] ppid=18294 vsize=8414124 memory=7440053569103876176 CPUtime=0.07 cores=0-7
/proc/18319/task/18335/stat : 18335 (java) S 18294 18294 18250 0 -1 1077944384 433 0 0 0 7 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854711225072 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18336] ppid=18294 vsize=8414124 memory=7440053569103876176 CPUtime=0.21 cores=0-7
/proc/18319/task/18336/stat : 18336 (java) S 18294 18294 18250 0 -1 1077944384 552 0 0 0 21 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854710172528 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18337] ppid=18294 vsize=8414124 memory=4639074098508484694 CPUtime=0 cores=0-7
/proc/18319/task/18337/stat : 18337 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139852657977568 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18338] ppid=18294 vsize=8414124 memory=6935653653823705168 CPUtime=0.01 cores=0-7
/proc/18319/task/18338/stat : 18338 (java) S 18294 18294 18250 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854709119408 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18340] ppid=18294 vsize=8414124 memory=6935656952358588496 CPUtime=0 cores=0-7
/proc/18319/task/18340/stat : 18340 (java) S 18294 18294 18250 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511514650 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854701085888 139855352569625 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18349] ppid=18294 vsize=8414124 memory=7367994819987136845 CPUtime=0 cores=0-7
/proc/18319/task/18349/stat : 18349 (java) S 18294 18294 18250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511514651 8616062976 29950 33554432000 4194304 4196468 140722272437840 139851986878256 139855352566941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18351] ppid=18294 vsize=8414124 memory=5937503940876124257 CPUtime=0 cores=0-7
/proc/18319/task/18351/stat : 18351 (java) S 18294 18294 18250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 511514651 8616062976 29950 33554432000 4194304 4196468 140722272437840 139851718442928 139855352566941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18352] ppid=18294 vsize=8414124 memory=5937503940875862113 CPUtime=0 cores=0-7
/proc/18319/task/18352/stat : 18352 (java) S 18294 18294 18250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 511514653 8616062976 29950 33554432000 4194304 4196468 140722272437840 139852255321776 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
Current children cumulated CPU time: 394.31 s
Current children cumulated vsize: 9273788 KiB
Current children cumulated memory: 572856 KiB

[startup+53.5011 s]
/proc/loadavg: 7.67 7.75 7.93 5/220 18355
/proc/meminfo: memFree=25051956/32770624 swapFree=66997532/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1476 CPUtime=3.36 cores=0-7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 18250 0 -1 4202496 583 25052 0 0 0 0 322 14 20 0 1 0 511514401 115843072 369 33554432000 4194304 5098028 140724956599248 140724956595992 140684959847036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24133632 140724956603132 140724956603480 140724956603480 140724956606409 0
/proc/18294/statm: 28282 369 311 221 0 87 0
[pid=18319] ppid=18294 vsize=8414124 memory=119800 CPUtime=1.31 cores=0-7
/proc/18319/stat : 18319 (java) S 18294 18294 18250 0 -1 1077944320 20331 0 0 0 122 9 0 0 20 0 24 0 511514575 8616062976 29950 33554432000 4194304 4196468 140722272437840 140722272420384 139855352545015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
/proc/18319/statm: 2103531 29950 3208 1 0 2064875 0
[pid=18339] ppid=18319 vsize=746536 memory=451580 CPUtime=389.74 cores=0-7
/proc/18339/stat : 18339 (manyglucose-4.1) S 18319 18294 18250 0 -1 1077944320 419912 0 0 0 38892 82 0 0 20 0 2 0 511514650 764452864 112895 33554432000 4194304 4454172 140733998239968 140733998238352 139952831045367 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 19914752 140733998248781 140733998248988 140733998248988 140733998251958 0
/proc/18339/statm: 186634 112895 419 64 0 182302 0
[pid=18339/tid=18342] ppid=18319 vsize=746536 memory=2116 CPUtime=47.82 cores=0-7
/proc/18339/task/18342/stat : 18342 (manyglucose-4.1) R 18319 18294 18250 0 -1 4202560 59884 0 0 0 4767 15 0 0 20 0 2 0 511514650 764452864 112895 33554432000 4194304 4454172 140733998239968 139952807435400 4351331 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 19914752 140733998248781 140733998248988 140733998248988 140733998251958 0
[pid=18319/tid=18320] ppid=18294 vsize=8414124 memory=119800 CPUtime=0.77 cores=0-7
/proc/18319/task/18320/stat : 18320 (java) S 18294 18294 18250 0 -1 1077944384 16832 0 0 0 71 6 0 0 20 0 24 0 511514576 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855324385184 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18321] ppid=18294 vsize=8414124 memory=139882387523199 CPUtime=0 cores=0-7
/proc/18319/task/18321/stat : 18321 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855356786960 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18322] ppid=18294 vsize=8414124 memory=6944656591801718942 CPUtime=0 cores=0-7
/proc/18319/task/18322/stat : 18322 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855156955536 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18323] ppid=18294 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18319/task/18323/stat : 18323 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855155902992 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18324] ppid=18294 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18319/task/18324/stat : 18324 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855154850448 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18325] ppid=18294 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18319/task/18325/stat : 18325 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855153797904 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18326] ppid=18294 vsize=8414124 memory=4740 CPUtime=0 cores=0-7
/proc/18319/task/18326/stat : 18326 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855152745360 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18327] ppid=18294 vsize=8414124 memory=4983 CPUtime=0 cores=0-7
/proc/18319/task/18327/stat : 18327 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855151692816 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18328] ppid=18294 vsize=8414124 memory=4546 CPUtime=0 cores=0-7
/proc/18319/task/18328/stat : 18328 (java) S 18294 18294 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511514577 8616062976 29950 33554432000 4194304 4196468 140722272437840 139855150640272 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18329] ppid=18294 vsize=8414124 memory=6673 CPUtime=0 cores=0-7
/proc/18319/task/18329/stat : 18329 (java) S 18294 18294 18250 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 511514578 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854714382320 139855352556162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18330] ppid=18294 vsize=8414124 memory=4420 CPUtime=0 cores=0-7
/proc/18319/task/18330/stat : 18330 (java) S 18294 18294 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511514579 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853664609184 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18331] ppid=18294 vsize=8414124 memory=6628 CPUtime=0 cores=0-7
/proc/18319/task/18331/stat : 18331 (java) S 18294 18294 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511514579 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853530387440 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18332] ppid=18294 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/18319/task/18332/stat : 18332 (java) S 18294 18294 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139853155883216 139855352563611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18333] ppid=18294 vsize=8414124 memory=288230583166042426 CPUtime=0.11 cores=0-7
/proc/18319/task/18333/stat : 18333 (java) S 18294 18294 18250 0 -1 1077944384 799 0 0 0 11 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854713330160 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18334] ppid=18294 vsize=8414124 memory=3624 CPUtime=0.08 cores=0-7
/proc/18319/task/18334/stat : 18334 (java) S 18294 18294 18250 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 24 0 511514581 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854712277616 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18335] ppid=18294 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/18319/task/18335/stat : 18335 (java) S 18294 18294 18250 0 -1 1077944384 433 0 0 0 7 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854711225072 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18336] ppid=18294 vsize=8414124 memory=2828 CPUtime=0.21 cores=0-7
/proc/18319/task/18336/stat : 18336 (java) S 18294 18294 18250 0 -1 1077944384 552 0 0 0 21 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854710172528 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18337] ppid=18294 vsize=8414124 memory=1048 CPUtime=0 cores=0-7
/proc/18319/task/18337/stat : 18337 (java) S 18294 18294 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139852657977568 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18338] ppid=18294 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7
/proc/18319/task/18338/stat : 18338 (java) S 18294 18294 18250 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 511514582 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854709119408 139855352556162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18340] ppid=18294 vsize=8414124 memory=119800 CPUtime=0 cores=0-7
/proc/18319/task/18340/stat : 18340 (java) S 18294 18294 18250 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511514650 8616062976 29950 33554432000 4194304 4196468 140722272437840 139854701085888 139855352569625 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18349] ppid=18294 vsize=8414124 memory=64248 CPUtime=0 cores=0-7
/proc/18319/task/18349/stat : 18349 (java) S 18294 18294 18250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511514651 8616062976 29950 33554432000 4194304 4196468 140722272437840 139851986878256 139855352566941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18351] ppid=18294 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/18319/task/18351/stat : 18351 (java) S 18294 18294 18250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 511514651 8616062976 29950 33554432000 4194304 4196468 140722272437840 139851718442928 139855352566941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
[pid=18319/tid=18352] ppid=18294 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/18319/task/18352/stat : 18352 (java) S 18294 18294 18250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 511514653 8616062976 29950 33554432000 4194304 4196468 140722272437840 139852255321776 139855352555221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140722272441311 140722272441478 140722272441478 140722272444367 0
Current children cumulated CPU time: 394.41 s
Current children cumulated vsize: 9273788 KiB
Current children cumulated memory: 572856 KiB

Child status: 0
Real time (s): 53.5682
CPU time (s): 394.571
CPU user time (s): 393.477
CPU system time (s): 1.09364
CPU usage (%): 736.576
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 607772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.477
system time used= 1.09364
maximum resident set size= 486496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10182
involuntary context switches= 4024


# summary of solver processes directly reported to runsolver:
#   pid: 18294
#   total CPU time (s): 394.571
#   total CPU user time (s): 393.477
#   total CPU system time (s): 1.09364

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.538339 second user time and 0.742034 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 22:08:39
IDJOB=4405514
IDBENCH=135568
IDSOLVER=2868
FILE ID=node140/4405514-1569355761
RUNJOBID= node140-1569355719-18277
PBS_JOBID= 21705100
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-clau-011-010.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405514-1569355761/watcher-4405514-1569355761 -o /var/tmp/evaluation-result-4405514-1569355761/solver-4405514-1569355761 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569355719-18277 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405514-1569355761.xml

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

MD5SUM BENCH= 46ced5e3eb9b8d9f9897ebef4f7d04b7
RANDOM SEED=2029150433

node140.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.43
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.43
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.43
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.43
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:        25609084 kB
MemAvailable:   31842912 kB
Buffers:          131512 kB
Cached:          6200984 kB
SwapCached:         2776 kB
Active:          3151728 kB
Inactive:        3187996 kB
Active(anon):       4452 kB
Inactive(anon):    58660 kB
Active(file):    3147276 kB
Inactive(file):  3129336 kB
Unevictable:      108100 kB
Mlocked:          108100 kB
SwapTotal:      67108860 kB
SwapFree:       66997532 kB
Dirty:             20696 kB
Writeback:             0 kB
AnonPages:        112764 kB
Mapped:            57136 kB
Shmem:             46828 kB
Slab:             414592 kB
SReclaimable:     385676 kB
SUnreclaim:        28916 kB
KernelStack:        3280 kB
PageTables:         5732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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 /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 22:09:33