Trace number 4405235

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 390.03 53.0083

General information on the benchmark

NameSat/Sat-m1-various/
hole-10.xml
MD5SUM9520e39dbeb812da3aa0c7bffde6870d
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.6093
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 constraints561
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10911-serial-file.bin HOME/instance-4405235-1569241153.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Mon Sep 23 14:18:32 CEST 2019
0.66/0.56	c PID: 10914
0.66/0.56	c IP: 172.20.3.124
0.66/0.56	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.66/1.04	c (0,0) Parsing End
1.66/1.05	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
1.66/1.05	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.66/1.05	c (0,0) Constraint Name Generate Begin
1.66/1.06	c (0,0) Ctr:HOME/instance-4405235-1569241153.xml,ExtensionConflict:Var
1.66/1.06	c (0,0) Constraint Name Generate End
1.66/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.66/1.06	c (0,0) CSP to CSPinCNF Begin
2.21/1.30	c (0,0) translated 57 (10%) constraints
2.21/1.33	c (0,0) translated 113 (20%) constraints
2.21/1.35	c (0,0) translated 169 (30%) constraints
2.21/1.37	c (0,0) translated 225 (40%) constraints
2.21/1.39	c (0,0) translated 281 (50%) constraints
2.47/1.40	c (0,0) translated 337 (60%) constraints
2.47/1.42	c (0,0) translated 393 (70%) constraints
2.47/1.43	c (0,0) translated 449 (80%) constraints
2.47/1.44	c (0,0) translated 505 (90%) constraints
2.47/1.45	c (0,0) translated 561 (100%) constraints
2.47/1.45	c (0,0) ===========================================
2.47/1.46	c (0,0) Order
2.47/1.46	c (0,0) ===========================================
2.47/1.47	c (0,0) translated 57 (10%) constraints
2.47/1.47	c (0,0) translated 113 (20%) constraints
2.47/1.47	c (0,0) translated 169 (30%) constraints
2.47/1.48	c (0,0) translated 225 (40%) constraints
2.47/1.48	c (0,0) translated 281 (50%) constraints
2.47/1.48	c (0,0) translated 337 (60%) constraints
2.47/1.49	c (0,0) translated 393 (70%) constraints
2.47/1.49	c (0,0) translated 449 (80%) constraints
2.47/1.49	c (0,0) translated 505 (90%) constraints
2.47/1.50	c (0,0) translated 561 (100%) constraints
2.81/1.50	c (0,0) CSP to CSPinCNF End
2.81/1.50	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.81/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.81/1.50	c (0,0) CSPinCNF Propagation Begin
2.81/1.54	c (1,0) 0 values, 110 unsatisfiable literals, and 0 valid clauses are removed
2.81/1.54	c (1,0) CSPinCNF Propagation End
2.81/1.54	c (1,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.81/1.54	c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.81/1.54	c (1,0) Simplify CSPinCNF Begin
2.81/1.55	c (1,1) Simplify CSPinCNF End
2.81/1.55	c (1,1) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.81/1.55	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.81/1.55	c (1,1) Calculate Precise Domain Begin
2.81/1.55	c (1,1) 0 values are removed by re-calculation
2.81/1.55	c (1,1) Calculate Precise Domain End
2.81/1.55	c (1,1) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.81/1.55	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.81/1.55	c (1,1) CSPinCNF to SatSolver Begin
3.02/1.60	c (1,1) 57 (10 %) CSP clauses are encoded (0 SAT variables, 56 SAT clauses)
3.02/1.61	c (1,1) 113 (20 %) CSP clauses are encoded (0 SAT variables, 112 SAT clauses)
3.02/1.62	c (1,1) 169 (30 %) CSP clauses are encoded (0 SAT variables, 168 SAT clauses)
3.02/1.62	c (1,1) 225 (40 %) CSP clauses are encoded (0 SAT variables, 224 SAT clauses)
3.02/1.63	c (1,1) 281 (50 %) CSP clauses are encoded (0 SAT variables, 280 SAT clauses)
3.02/1.63	c (1,1) 337 (60 %) CSP clauses are encoded (0 SAT variables, 336 SAT clauses)
3.17/1.83	c (1,1) 393 (70 %) CSP clauses are encoded (0 SAT variables, 392 SAT clauses)
3.17/1.83	c (1,1) 449 (80 %) CSP clauses are encoded (0 SAT variables, 448 SAT clauses)
3.17/1.83	c (1,1) 505 (90 %) CSP clauses are encoded (0 SAT variables, 504 SAT clauses)
3.17/1.83	c (1,1) 561 (100 %) CSP clauses are encoded (0 SAT variables, 560 SAT clauses)
3.17/1.83	c (1,1) CSPinCNF to SatSolver End
3.17/1.83	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.17/1.83	c (1,1) 110 bool, 561 clause
3.17/1.83	c (1,1) Export Begin
3.30/1.93	c (1,1) Export to HOME/scop-10911-serial-file.bin
3.30/1.93	c (1,1) Export End
3.30/1.93	c (1,1) Export File Size: 0.02 MB
3.30/1.93	c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
3.30/1.93	c END-Prog: Mon Sep 23 14:18:34 CEST 2019
3.30/1.94	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10911-serial-file.bin
3.86/2.39	c (0,0) Read Serial File Begin
3.86/2.39	c (0,0) HOME/scop-10911-serial-file.bin
4.28/2.62	c (0,0) Read Serial File End
4.28/2.63	
4.28/2.63	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
4.28/2.63	(Solving Process)
4.28/2.63	
4.28/2.65	c BEGIN-Prog: Mon Sep 23 14:18:35 CEST 2019
4.28/2.65	c PID: 10934
4.28/2.65	c IP: 172.20.3.124
4.28/2.65	c HOST: node124.alineos.net
4.28/2.65	c (0,0) SatSolver.solve Begin
4.28/2.65	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405235-1569241153.xml-scop-10914.cnf
4.28/2.68	c (0,0) c
4.28/2.68	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.28/2.68	c (0,0) c
4.28/2.68	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.28/2.68	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.28/2.68	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.28/2.68	c (0,0) c |                                                                                                       |
4.28/2.68	c (0,0) c |  Number of variables:           110                                                                   |
4.28/2.68	c (0,0) c |  Number of clauses:             561                                                                   |
4.28/2.68	c (0,0) c |  Parse time:                   0.00 s                                                                 |
4.28/2.68	c (0,0) c |                                                                                                       |
4.28/2.68	c (0,0) c |  Simplification time:          0.00 s                                                                 |
4.28/2.68	c (0,0) c |                                                                                                       |
4.28/2.68	c (0,0) c |  Generating clones                                                                                    |
4.28/2.68	c (0,0) c |  all clones generated. Memory =    22.98Mb.                                                           |
4.28/2.68	c (0,0) c ========================================================================================================|
4.28/2.68	c (0,0) c
4.28/2.68	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.28/2.68	c (0,0) c
4.28/2.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.28/2.68	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.28/2.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.28/2.68	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.28/2.68	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.28/2.68	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.28/2.68	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.28/2.68	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.28/2.68	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.28/2.68	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.28/2.68	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.28/2.68	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.28/2.68	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.28/2.68	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.28/2.68	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.28/2.68	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.28/2.68	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.28/2.68	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.28/2.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
232.28/32.60	c (30,0) c
232.28/32.60	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
232.28/32.60	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
232.28/32.60	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
232.28/32.60	c (30,0) c |  0 |    974 |     592850 |     492047 |      550 |    53793 |    34986 |   747191 |    48966 |      666 |  20 |  0.984 |
232.28/32.60	c (30,0) c |  1 |    515 |     573533 |     487974 |      550 |    85154 |    36719 |   750291 |    46821 |      668 |  20 |  0.992 |
232.28/32.60	c (30,0) c |  2 |   3458 |    2367972 |    1945256 |    12139 |     3237 |   197746 |   585549 |    15720 |      661 |  20 |  0.918 |
232.28/32.60	c (30,0) c |  3 |   1257 |     605654 |     496383 |      550 |    56920 |    32695 |   753269 |    52705 |      668 |  20 |  0.918 |
232.28/32.60	c (30,0) c |  4 |   3329 |    2336443 |    1924578 |    11636 |     2574 |   198465 |   577561 |    17792 |      653 |  20 |  0.992 |
232.28/32.60	c (30,0) c |  5 |    385 |     557548 |     477638 |      550 |    67143 |    39807 |   741183 |    41957 |      666 |  20 |  0.993 |
232.28/32.60	c (30,0) c |  6 |   3670 |    2369517 |    1939950 |    12692 |     3925 |   209830 |   562966 |    16113 |      648 |  20 |  0.993 |
232.28/32.60	c (30,0) c |  7 |    187 |     568313 |     488246 |      550 |    77527 |    44443 |   728341 |    34848 |      668 |  20 |  0.993 |
232.28/32.60	c (30,0) c 
232.28/32.60	c (30,0) c synthesis     8252073 conflicts   100184942 propagations    36206 conflicts/sec   439561 propagations/sec
232.28/32.60	c (30,0) c real: 29.9183 s, cpu: 227.92 s, memory: 649.41 Mb
389.78/52.97	c (50,0) c
389.78/52.97	c (50,0) c real time : 50.2948 s
389.78/52.97	c (50,0) c cpu time  : 384.469 s
389.78/52.97	c (50,0) c
389.78/52.97	c (50,0) c
389.78/52.97	c (50,0) c
389.78/52.97	c (50,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
389.78/52.97	c (50,0) c
389.78/52.97	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.97	c (50,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
389.78/52.97	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.97	c (50,0) c | Conflicts     |        12690335 |     743911 |     746850 |    2983953 |     747401 |    2985925 |     725842 |    3026672 |     729781 |
389.78/52.97	c (50,0) c | Decisions     |        15480211 |     905030 |     894466 |    3661334 |     919433 |    3658147 |     862845 |    3716448 |     862508 |
389.78/52.97	c (50,0) c | Propagations  |       157656577 |    9279836 |    9312974 |   37008039 |    9251315 |   37467821 |    8872568 |   37664341 |    8799683 |
389.78/52.97	c (50,0) c | ReduceDBs     |            4490 |         23 |         24 |       1449 |         23 |       1450 |         24 |       1473 |         24 |
389.78/52.97	c (50,0) c | SimpDBs       |              58 |          3 |          3 |         15 |          3 |         13 |          3 |         15 |          3 |
389.78/52.97	c (50,0) c | Restarts      |           23551 |       1525 |       1082 |       5832 |       1907 |       5816 |        886 |       6013 |        490 |
389.78/52.97	c (50,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
389.78/52.97	c (50,0) c | PropBinClauses|       287935561 |   15938285 |   15990284 |   69590071 |   15997934 |   69991190 |   14967601 |   70617646 |   14842550 |
389.78/52.97	c (50,0) c | PropPreBlocker|     24335877666 | 3118699284 | 3131080320 | 2885780444 | 3067240256 | 2876606303 | 3146459703 | 2855525532 | 3254485824 |
389.78/52.97	c (50,0) c | PropNotBlocker|      4032803590 |  502145876 |  490734646 |  530574028 |  498789825 |  530972154 |  489615941 |  533805828 |  456165292 |
389.78/52.97	c (50,0) c | LitFullScans  |     52825057414 | 6601799853 | 6602288509 | 6601936643 | 6607952320 | 6600677878 | 6602119945 | 6600485819 | 6607796447 |
389.78/52.97	c (50,0) c | LitScanFracts |        11457310 |    1763579 |    2278630 |     467892 |    1929572 |     668552 |    2100099 |     475600 |    1773386 |
389.78/52.97	c (50,0) c | DecisionLevel0|           23603 |       1527 |       1083 |       5851 |       1911 |       5824 |        887 |       6025 |        495 |
389.78/52.97	c (50,0) c | Periods       |            8802 |       1100 |       1100 |       1100 |       1101 |       1100 |       1100 |       1100 |       1101 |
389.78/52.97	c (50,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
389.78/52.97	c (50,0) c | Avg_Trail     |                 |         91 |         91 |         92 |         91 |         93 |         90 |         93 |         88 |
389.78/52.97	c (50,0) c | Avg_DL        |                 |         16 |         16 |         16 |         16 |         16 |         16 |         16 |         17 |
389.78/52.97	c (50,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
389.78/52.97	c (50,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
389.78/52.97	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.97	c (50,0) c | Exported      |         1212817 |      51239 |      52238 |     310367 |      48014 |     309501 |      56078 |     327017 |      58363 |
389.78/52.97	c (50,0) c | Imported      |         8317442 |    1137684 |    1136848 |     886408 |    1141826 |     885009 |    1133586 |     868478 |    1127603 |
389.78/52.97	c (50,0) c | Good          |            2823 |        392 |        381 |        336 |        386 |        312 |        391 |        285 |        340 |
389.78/52.97	c (50,0) c | Purge         |         8314619 |    1137292 |    1136467 |     886072 |    1141440 |     884697 |    1133195 |     868193 |    1127263 |
389.78/52.97	c (50,0) c | Promoted      |          411463 |      74544 |      72726 |      20992 |      79071 |      23310 |      63444 |      22150 |      55226 |
389.78/52.97	c (50,0) c | Remove_Imp    |         7138224 |     931949 |     938774 |     855874 |     923388 |     859207 |     889468 |     839688 |     899876 |
389.78/52.97	c (50,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
389.78/52.97	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.97	c (50,0) c | Unaries       |                 |          2 |          1 |         19 |          4 |          8 |          1 |         12 |          5 |
389.78/52.97	c (50,0) c | Binaries      |                 |         29 |         45 |        158 |         54 |        137 |         29 |        184 |         66 |
389.78/52.97	c (50,0) c | Glues         |                 |         63 |         86 |        226 |         85 |        187 |         74 |        254 |        107 |
389.78/52.97	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.97	c (50,0) c | Orig_Seen     |          2444 % |        550 |        550 |      32997 |        550 |      33421 |        550 |      34491 |        550 |
389.78/52.97	c (50,0) c | Diff Orig seen|                 | -    32447 | -    32447 |      X     | -    32447 |        424 | -    32447 |       1494 | -    32447 |
389.78/52.97	c (50,0) c | Hamming       |            26 % |         27 |         27 |      X     |         30 |         28 |         34 |         32 |         30 |
389.78/52.97	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.97	c (50,0) c | RunningTime   |                 |   48.8  98%|   46.4  92%|   48.5  98%|   47.0  95%|   49.1  99%|   48.2  96%|   49.0  99%|   45.1  91%|
389.78/52.97	c (50,0) c | WaitingTime   |                 |    0.7   1%|    3.4   7%|    0.4   1%|    2.1   4%|    0.0   0%|    1.5   3%|    0.0   0%|    3.9   8%|
389.78/52.97	c (50,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%|
389.78/52.97	c (50,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%|
389.78/52.97	c (50,0) c | SolvingTime   |                 |   49.9     |   50.2     |   49.3     |   49.5     |   49.5     |   50.2     |   49.5     |   49.5     |
389.78/52.97	c (50,0) c | PropagationTim|                 |   45.2  90%|   45.2  90%|   33.2  67%|   44.7  90%|   33.4  68%|   44.2  88%|   33.1  67%|   44.9  91%|
389.78/52.97	c (50,0) c | AnalysisTime  |                 |    2.8   6%|    2.8   6%|    9.5  19%|    2.8   6%|    9.5  19%|    4.1   8%|    9.8  20%|    2.7   5%|
389.78/52.97	c (50,0) c | ReductionTime |                 |    1.2   2%|    1.3   3%|    4.2   9%|    1.2   2%|    4.3   9%|    1.1   2%|    4.3   9%|    1.1   2%|
389.78/52.97	c (50,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%|
389.78/52.97	c (50,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%|
389.78/52.97	c (50,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%|
389.78/52.97	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.97	c (50,0) c
389.78/52.97	c (50,0) c
389.78/52.97	c (50,0) c Threads : 8
389.78/52.97	c (50,0) c Winner : 2
389.78/52.97	c (50,0) c Conflicts_0 : 743911
389.78/52.97	c (50,0) c Conflicts_1 : 746850
389.78/52.97	c (50,0) c Conflicts_2 : 2983953
389.78/52.97	c (50,0) c Conflicts_3 : 747401
389.78/52.97	c (50,0) c Conflicts_4 : 2985925
389.78/52.97	c (50,0) c Conflicts_5 : 725842
389.78/52.98	c (50,0) c Conflicts_6 : 3026672
389.78/52.98	c (50,0) c Conflicts_7 : 729781
389.78/52.98	c (50,0) c Conflicts_total : 12690335
389.78/52.98	c (50,0) c Conflicts_winner : 2983953
389.78/52.98	c (50,0) c Decisions_0 : 905030
389.78/52.98	c (50,0) c Decisions_1 : 894466
389.78/52.98	c (50,0) c Decisions_2 : 3661334
389.78/52.98	c (50,0) c Decisions_3 : 919433
389.78/52.98	c (50,0) c Decisions_4 : 3658147
389.78/52.98	c (50,0) c Decisions_5 : 862845
389.78/52.98	c (50,0) c Decisions_6 : 3716448
389.78/52.98	c (50,0) c Decisions_7 : 862508
389.78/52.98	c (50,0) c Decisions_total : 15480211
389.78/52.98	c (50,0) c Decisions_winner : 3661334
389.78/52.98	c (50,0) c Propagations_0 : 9279836
389.78/52.98	c (50,0) c Propagations_1 : 9312974
389.78/52.98	c (50,0) c Propagations_2 : 37008039
389.78/52.98	c (50,0) c Propagations_3 : 9251315
389.78/52.98	c (50,0) c Propagations_4 : 37467821
389.78/52.98	c (50,0) c Propagations_5 : 8872568
389.78/52.98	c (50,0) c Propagations_6 : 37664341
389.78/52.98	c (50,0) c Propagations_7 : 8799683
389.78/52.98	c (50,0) c Propagations_total : 157656577
389.78/52.98	c (50,0) c Propagations_winner : 37008039
389.78/52.98	c (50,0) c ReduceDBs_0 : 23
389.78/52.98	c (50,0) c ReduceDBs_1 : 24
389.78/52.98	c (50,0) c ReduceDBs_2 : 1449
389.78/52.98	c (50,0) c ReduceDBs_3 : 23
389.78/52.98	c (50,0) c ReduceDBs_4 : 1450
389.78/52.98	c (50,0) c ReduceDBs_5 : 24
389.78/52.98	c (50,0) c ReduceDBs_6 : 1473
389.78/52.98	c (50,0) c ReduceDBs_7 : 24
389.78/52.98	c (50,0) c ReduceDBs_total : 4490
389.78/52.98	c (50,0) c ReduceDBs_winner : 1449
389.78/52.98	c (50,0) c SimpDBs_0 : 3
389.78/52.98	c (50,0) c SimpDBs_1 : 3
389.78/52.98	c (50,0) c SimpDBs_2 : 15
389.78/52.98	c (50,0) c SimpDBs_3 : 3
389.78/52.98	c (50,0) c SimpDBs_4 : 13
389.78/52.98	c (50,0) c SimpDBs_5 : 3
389.78/52.98	c (50,0) c SimpDBs_6 : 15
389.78/52.98	c (50,0) c SimpDBs_7 : 3
389.78/52.98	c (50,0) c SimpDBs_total : 58
389.78/52.98	c (50,0) c SimpDBs_winner : 15
389.78/52.98	c (50,0) c Restarts_0 : 1525
389.78/52.98	c (50,0) c Restarts_1 : 1082
389.78/52.98	c (50,0) c Restarts_2 : 5832
389.78/52.98	c (50,0) c Restarts_3 : 1907
389.78/52.98	c (50,0) c Restarts_4 : 5816
389.78/52.98	c (50,0) c Restarts_5 : 886
389.78/52.98	c (50,0) c Restarts_6 : 6013
389.78/52.98	c (50,0) c Restarts_7 : 490
389.78/52.98	c (50,0) c Restarts_total : 23551
389.78/52.98	c (50,0) c Restarts_winner : 5832
389.78/52.98	c (50,0) c ForcedImports_0 : 0
389.78/52.98	c (50,0) c ForcedImports_1 : 0
389.78/52.98	c (50,0) c ForcedImports_2 : 0
389.78/52.98	c (50,0) c ForcedImports_3 : 0
389.78/52.98	c (50,0) c ForcedImports_4 : 0
389.78/52.98	c (50,0) c ForcedImports_5 : 0
389.78/52.98	c (50,0) c ForcedImports_6 : 0
389.78/52.98	c (50,0) c ForcedImports_7 : 0
389.78/52.98	c (50,0) c ForcedImports_total : 0
389.78/52.98	c (50,0) c ForcedImports_winner : 0
389.78/52.98	c (50,0) c PropsBinClauses_0 : 15938285
389.78/52.98	c (50,0) c PropsBinClauses_1 : 15990284
389.78/52.98	c (50,0) c PropsBinClauses_2 : 69590071
389.78/52.98	c (50,0) c PropsBinClauses_3 : 15997934
389.78/52.98	c (50,0) c PropsBinClauses_4 : 69991190
389.78/52.98	c (50,0) c PropsBinClauses_5 : 14967601
389.78/52.98	c (50,0) c PropsBinClauses_6 : 70617646
389.78/52.98	c (50,0) c PropsBinClauses_7 : 14842550
389.78/52.98	c (50,0) c PropsBinClauses_total : 287935561
389.78/52.98	c (50,0) c PropsBinClauses_winner : 69590071
389.78/52.98	c (50,0) c PropsPreBlocker_0 : 3118699284
389.78/52.98	c (50,0) c PropsPreBlocker_1 : 3131080320
389.78/52.98	c (50,0) c PropsPreBlocker_2 : 2885780444
389.78/52.98	c (50,0) c PropsPreBlocker_3 : 3067240256
389.78/52.98	c (50,0) c PropsPreBlocker_4 : 2876606303
389.78/52.98	c (50,0) c PropsPreBlocker_5 : 3146459703
389.78/52.98	c (50,0) c PropsPreBlocker_6 : 2855525532
389.78/52.98	c (50,0) c PropsPreBlocker_7 : 3254485824
389.78/52.98	c (50,0) c PropsPreBlocker_total : 24335877666
389.78/52.98	c (50,0) c PropsPreBlocker_winner : 2885780444
389.78/52.98	c (50,0) c PropsNotBlocker_0 : 502145876
389.78/52.98	c (50,0) c PropsNotBlocker_1 : 490734646
389.78/52.98	c (50,0) c PropsNotBlocker_2 : 530574028
389.78/52.98	c (50,0) c PropsNotBlocker_3 : 498789825
389.78/52.98	c (50,0) c PropsNotBlocker_4 : 530972154
389.78/52.98	c (50,0) c PropsNotBlocker_5 : 489615941
389.78/52.98	c (50,0) c PropsNotBlocker_6 : 533805828
389.78/52.98	c (50,0) c PropsNotBlocker_7 : 456165292
389.78/52.98	c (50,0) c PropsNotBlocker_total : 4032803590
389.78/52.98	c (50,0) c PropsNotBlocker_winner : 530574028
389.78/52.98	c (50,0) c PropsLitFullScans_0 : 6601799853
389.78/52.98	c (50,0) c PropsLitFullScans_1 : 6602288509
389.78/52.98	c (50,0) c PropsLitFullScans_2 : 6601936643
389.78/52.98	c (50,0) c PropsLitFullScans_3 : 6607952320
389.78/52.98	c (50,0) c PropsLitFullScans_4 : 6600677878
389.78/52.98	c (50,0) c PropsLitFullScans_5 : 6602119945
389.78/52.98	c (50,0) c PropsLitFullScans_6 : 6600485819
389.78/52.98	c (50,0) c PropsLitFullScans_7 : 6607796447
389.78/52.98	c (50,0) c PropsLitFullScans_total : 52825057414
389.78/52.98	c (50,0) c PropsLitFullScans_winner : 6601936643
389.78/52.98	c (50,0) c LitScanFractions_0 : 1763579
389.78/52.98	c (50,0) c LitScanFractions_1 : 2278630
389.78/52.98	c (50,0) c LitScanFractions_2 : 467892
389.78/52.98	c (50,0) c LitScanFractions_3 : 1929572
389.78/52.98	c (50,0) c LitScanFractions_4 : 668552
389.78/52.98	c (50,0) c LitScanFractions_5 : 2100099
389.78/52.98	c (50,0) c LitScanFractions_6 : 475600
389.78/52.98	c (50,0) c LitScanFractions_7 : 1773386
389.78/52.98	c (50,0) c LitScanFractions_total : 11457310
389.78/52.98	c (50,0) c LitScanFractions_winner : 467892
389.78/52.98	c (50,0) c DecisionLevel0_0 : 1527
389.78/52.98	c (50,0) c DecisionLevel0_1 : 1083
389.78/52.98	c (50,0) c DecisionLevel0_2 : 5851
389.78/52.98	c (50,0) c DecisionLevel0_3 : 1911
389.78/52.98	c (50,0) c DecisionLevel0_4 : 5824
389.78/52.98	c (50,0) c DecisionLevel0_5 : 887
389.78/52.98	c (50,0) c DecisionLevel0_6 : 6025
389.78/52.98	c (50,0) c DecisionLevel0_7 : 495
389.78/52.98	c (50,0) c DecisionLevel0_total : 23603
389.78/52.98	c (50,0) c DecisionLevel0_winner : 5851
389.78/52.98	c (50,0) c Periods_0 : 1100
389.78/52.98	c (50,0) c Periods_1 : 1100
389.78/52.98	c (50,0) c Periods_2 : 1100
389.78/52.98	c (50,0) c Periods_3 : 1101
389.78/52.98	c (50,0) c Periods_4 : 1100
389.78/52.98	c (50,0) c Periods_5 : 1100
389.78/52.98	c (50,0) c Periods_6 : 1100
389.78/52.98	c (50,0) c Periods_7 : 1101
389.78/52.98	c (50,0) c Periods_total : 8802
389.78/52.98	c (50,0) c Periods_winner : 1100
389.78/52.98	c (50,0) c Margin_0 : 20
389.78/52.98	c (50,0) c Margin_1 : 20
389.78/52.98	c (50,0) c Margin_2 : 20
389.78/52.98	c (50,0) c Margin_3 : 20
389.78/52.98	c (50,0) c Margin_4 : 20
389.78/52.98	c (50,0) c Margin_5 : 20
389.78/52.98	c (50,0) c Margin_6 : 20
389.78/52.98	c (50,0) c Margin_7 : 20
389.78/52.98	c (50,0) c Margin_total : 160
389.78/52.98	c (50,0) c Margin_winner : 20
389.78/52.98	c (50,0) c Exported_0 : 51239
389.78/52.98	c (50,0) c Exported_1 : 52238
389.78/52.98	c (50,0) c Exported_2 : 310367
389.78/52.98	c (50,0) c Exported_3 : 48014
389.78/52.98	c (50,0) c Exported_4 : 309501
389.78/52.98	c (50,0) c Exported_5 : 56078
389.78/52.98	c (50,0) c Exported_6 : 327017
389.78/52.98	c (50,0) c Exported_7 : 58363
389.78/52.98	c (50,0) c Exported_total : 1212817
389.78/52.98	c (50,0) c Exported_winner : 310367
389.78/52.98	c (50,0) c Imported_0 : 1137684
389.78/52.98	c (50,0) c Imported_1 : 1136848
389.78/52.98	c (50,0) c Imported_2 : 886408
389.78/52.98	c (50,0) c Imported_3 : 1141826
389.78/52.98	c (50,0) c Imported_4 : 885009
389.78/52.98	c (50,0) c Imported_5 : 1133586
389.78/52.98	c (50,0) c Imported_6 : 868478
389.78/52.98	c (50,0) c Imported_7 : 1127603
389.78/52.98	c (50,0) c Imported_total : 8317442
389.78/52.98	c (50,0) c Imported_winner : 886408
389.78/52.98	c (50,0) c Good_0 : 392
389.78/52.98	c (50,0) c Good_1 : 381
389.78/52.98	c (50,0) c Good_2 : 336
389.78/52.98	c (50,0) c Good_3 : 386
389.78/52.98	c (50,0) c Good_4 : 312
389.78/52.98	c (50,0) c Good_5 : 391
389.78/52.98	c (50,0) c Good_6 : 285
389.78/52.98	c (50,0) c Good_7 : 340
389.78/52.98	c (50,0) c Good_total : 2823
389.78/52.98	c (50,0) c Good_winner : 336
389.78/52.98	c (50,0) c Purge_0 : 1137292
389.78/52.98	c (50,0) c Purge_1 : 1136467
389.78/52.98	c (50,0) c Purge_2 : 886072
389.78/52.98	c (50,0) c Purge_3 : 1141440
389.78/52.98	c (50,0) c Purge_4 : 884697
389.78/52.98	c (50,0) c Purge_5 : 1133195
389.78/52.98	c (50,0) c Purge_6 : 868193
389.78/52.98	c (50,0) c Purge_7 : 1127263
389.78/52.98	c (50,0) c Purge_total : 8314619
389.78/52.98	c (50,0) c Purge_winner : 886072
389.78/52.98	c (50,0) c Promoted_0 : 74544
389.78/52.98	c (50,0) c Promoted_1 : 72726
389.78/52.98	c (50,0) c Promoted_2 : 20992
389.78/52.98	c (50,0) c Promoted_3 : 79071
389.78/52.98	c (50,0) c Promoted_4 : 23310
389.78/52.98	c (50,0) c Promoted_5 : 63444
389.78/52.98	c (50,0) c Promoted_6 : 22150
389.78/52.98	c (50,0) c Promoted_7 : 55226
389.78/52.98	c (50,0) c Promoted_total : 411463
389.78/52.98	c (50,0) c Promoted_winner : 20992
389.78/52.98	c (50,0) c Remove_Imp_0 : 931949
389.78/52.98	c (50,0) c Remove_Imp_1 : 938774
389.78/52.98	c (50,0) c Remove_Imp_2 : 855874
389.78/52.98	c (50,0) c Remove_Imp_3 : 923388
389.78/52.98	c (50,0) c Remove_Imp_4 : 859207
389.78/52.98	c (50,0) c Remove_Imp_5 : 889468
389.78/52.98	c (50,0) c Remove_Imp_6 : 839688
389.78/52.98	c (50,0) c Remove_Imp_7 : 899876
389.78/52.98	c (50,0) c Remove_Imp_total : 7138224
389.78/52.98	c (50,0) c Remove_Imp_winner : 855874
389.78/52.98	c (50,0) c Blocked_Reuse_0 : 0
389.78/52.98	c (50,0) c Blocked_Reuse_1 : 0
389.78/52.98	c (50,0) c Blocked_Reuse_2 : 0
389.78/52.98	c (50,0) c Blocked_Reuse_3 : 0
389.78/52.98	c (50,0) c Blocked_Reuse_4 : 0
389.78/52.98	c (50,0) c Blocked_Reuse_5 : 0
389.78/52.98	c (50,0) c Blocked_Reuse_6 : 0
389.78/52.98	c (50,0) c Blocked_Reuse_7 : 0
389.78/52.98	c (50,0) c Blocked_Reuse_total : 0
389.78/52.98	c (50,0) c Blocked_Reuse_winner : 0
389.78/52.98	c (50,0) c Unaries_0 : 2
389.78/52.98	c (50,0) c Unaries_1 : 1
389.78/52.98	c (50,0) c Unaries_2 : 19
389.78/52.98	c (50,0) c Unaries_3 : 4
389.78/52.98	c (50,0) c Unaries_4 : 8
389.78/52.98	c (50,0) c Unaries_5 : 1
389.78/52.98	c (50,0) c Unaries_6 : 12
389.78/52.98	c (50,0) c Unaries_7 : 5
389.78/52.98	c (50,0) c Unaries_total : 52
389.78/52.98	c (50,0) c Unaries_winner : 19
389.78/52.98	c (50,0) c Binaries_0 : 29
389.78/52.98	c (50,0) c Binaries_1 : 45
389.78/52.98	c (50,0) c Binaries_2 : 158
389.78/52.98	c (50,0) c Binaries_3 : 54
389.78/52.98	c (50,0) c Binaries_4 : 137
389.78/52.98	c (50,0) c Binaries_5 : 29
389.78/52.98	c (50,0) c Binaries_6 : 184
389.78/52.98	c (50,0) c Binaries_7 : 66
389.78/52.98	c (50,0) c Binaries_total : 702
389.78/52.98	c (50,0) c Binaries_winner : 158
389.78/52.98	c (50,0) c Glues_0 : 63
389.78/52.98	c (50,0) c Glues_1 : 86
389.78/52.98	c (50,0) c Glues_2 : 226
389.78/52.98	c (50,0) c Glues_3 : 85
389.78/52.98	c (50,0) c Glues_4 : 187
389.78/52.98	c (50,0) c Glues_5 : 74
389.78/52.98	c (50,0) c Glues_6 : 254
389.78/52.98	c (50,0) c Glues_7 : 107
389.78/52.98	c (50,0) c Glues_total : 1082
389.78/52.98	c (50,0) c Glues_winner : 226
389.78/52.98	c (50,0) c RunningTime_0 : 48.788718
389.78/52.98	c (50,0) c RunningTime_1 : 46.412409
389.78/52.98	c (50,0) c RunningTime_2 : 48.508326
389.78/52.98	c (50,0) c RunningTime_3 : 47.001579
389.78/52.98	c (50,0) c RunningTime_4 : 49.098106
389.78/52.98	c (50,0) c RunningTime_5 : 48.230483
389.78/52.98	c (50,0) c RunningTime_6 : 49.025674
389.78/52.98	c (50,0) c RunningTime_7 : 45.147578
389.78/52.98	c (50,0) c RunningTime_total : 382.212873
389.78/52.99	c (50,0) c RunningTime_winner : 48.508326
389.78/52.99	c (50,0) c WaitingTime_0 : 0.738116
389.78/52.99	c (50,0) c WaitingTime_1 : 3.366996
389.78/52.99	c (50,0) c WaitingTime_2 : 0.359748
389.78/52.99	c (50,0) c WaitingTime_3 : 2.099018
389.78/52.99	c (50,0) c WaitingTime_4 : 0.001580
389.78/52.99	c (50,0) c WaitingTime_5 : 1.548738
389.78/52.99	c (50,0) c WaitingTime_6 : 0.001395
389.78/52.99	c (50,0) c WaitingTime_7 : 3.880474
389.78/52.99	c (50,0) c WaitingTime_total : 11.996064
389.78/52.99	c (50,0) c WaitingTime_winner : 0.359748
389.78/52.99	c (50,0) c ExchangingTime_0 : 0.413124
389.78/52.99	c (50,0) c ExchangingTime_1 : 0.436470
389.78/52.99	c (50,0) c ExchangingTime_2 : 0.423269
389.78/52.99	c (50,0) c ExchangingTime_3 : 0.423455
389.78/52.99	c (50,0) c ExchangingTime_4 : 0.432512
389.78/52.99	c (50,0) c ExchangingTime_5 : 0.414917
389.78/52.99	c (50,0) c ExchangingTime_6 : 0.426226
389.78/52.99	c (50,0) c ExchangingTime_7 : 0.495306
389.78/52.99	c (50,0) c ExchangingTime_total : 3.465280
389.78/52.99	c (50,0) c ExchangingTime_winner : 0.423269
389.78/52.99	c (50,0) c PeriodProcTime_0 : 0.007348
389.78/52.99	c (50,0) c PeriodProcTime_1 : 0.008480
389.78/52.99	c (50,0) c PeriodProcTime_2 : 0.008575
389.78/52.99	c (50,0) c PeriodProcTime_3 : 0.008094
389.78/52.99	c (50,0) c PeriodProcTime_4 : 0.007855
389.78/52.99	c (50,0) c PeriodProcTime_5 : 0.007550
389.78/52.99	c (50,0) c PeriodProcTime_6 : 0.010922
389.78/52.99	c (50,0) c PeriodProcTime_7 : 0.008821
389.78/52.99	c (50,0) c PeriodProcTime_total : 0.067646
389.78/52.99	c (50,0) c PeriodProcTime_winner : 0.008575
389.78/52.99	c (50,0) c SolvingTime_0 : 49.947305
389.78/52.99	c (50,0) c SolvingTime_1 : 50.224355
389.78/52.99	c (50,0) c SolvingTime_2 : 49.299918
389.78/52.99	c (50,0) c SolvingTime_3 : 49.532146
389.78/52.99	c (50,0) c SolvingTime_4 : 49.540053
389.78/52.99	c (50,0) c SolvingTime_5 : 50.201689
389.78/52.99	c (50,0) c SolvingTime_6 : 49.464218
389.78/52.99	c (50,0) c SolvingTime_7 : 49.532179
389.78/52.99	c (50,0) c SolvingTime_total : 397.741864
389.78/52.99	c (50,0) c SolvingTime_winner : 49.299918
389.78/52.99	c (50,0) c PropagationTime_0 : 45.201017
389.78/52.99	c (50,0) c PropagationTime_1 : 45.244865
389.78/52.99	c (50,0) c PropagationTime_2 : 33.156193
389.78/52.99	c (50,0) c PropagationTime_3 : 44.700406
389.78/52.99	c (50,0) c PropagationTime_4 : 33.447253
389.78/52.99	c (50,0) c PropagationTime_5 : 44.193519
389.78/52.99	c (50,0) c PropagationTime_6 : 33.051240
389.78/52.99	c (50,0) c PropagationTime_7 : 44.878613
389.78/52.99	c (50,0) c PropagationTime_total : 323.873106
389.78/52.99	c (50,0) c PropagationTime_winner : 33.156193
389.78/52.99	c (50,0) c AnalysisTime_0 : 2.750699
389.78/52.99	c (50,0) c AnalysisTime_1 : 2.846775
389.78/52.99	c (50,0) c AnalysisTime_2 : 9.516574
389.78/52.99	c (50,0) c AnalysisTime_3 : 2.792260
389.78/52.99	c (50,0) c AnalysisTime_4 : 9.545407
389.78/52.99	c (50,0) c AnalysisTime_5 : 4.075711
389.78/52.99	c (50,0) c AnalysisTime_6 : 9.829418
389.78/52.99	c (50,0) c AnalysisTime_7 : 2.669626
389.78/52.99	c (50,0) c AnalysisTime_total : 44.026470
389.78/52.99	c (50,0) c AnalysisTime_winner : 9.516574
389.78/52.99	c (50,0) c ReductionTime_0 : 1.176171
389.78/52.99	c (50,0) c ReductionTime_1 : 1.292905
389.78/52.99	c (50,0) c ReductionTime_2 : 4.214023
389.78/52.99	c (50,0) c ReductionTime_3 : 1.193662
389.78/52.99	c (50,0) c ReductionTime_4 : 4.262742
389.78/52.99	c (50,0) c ReductionTime_5 : 1.149546
389.78/52.99	c (50,0) c ReductionTime_6 : 4.277699
389.78/52.99	c (50,0) c ReductionTime_7 : 1.115958
389.78/52.99	c (50,0) c ReductionTime_total : 18.682705
389.78/52.99	c (50,0) c ReductionTime_winner : 4.214023
389.78/52.99	c (50,0) c SimplifyTime_0 : 0.024894
389.78/52.99	c (50,0) c SimplifyTime_1 : 0.028565
389.78/52.99	c (50,0) c SimplifyTime_2 : 0.032734
389.78/52.99	c (50,0) c SimplifyTime_3 : 0.030890
389.78/52.99	c (50,0) c SimplifyTime_4 : 0.031465
389.78/52.99	c (50,0) c SimplifyTime_5 : 0.027709
389.78/52.99	c (50,0) c SimplifyTime_6 : 0.036746
389.78/52.99	c (50,0) c SimplifyTime_7 : 0.055798
389.78/52.99	c (50,0) c SimplifyTime_total : 0.268801
389.78/52.99	c (50,0) c SimplifyTime_winner : 0.032734
389.78/52.99	c (50,0) c UsedRateTime_0 : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_1 : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_2 : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_3 : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_4 : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_5 : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_6 : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_7 : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_total : 0.000000
389.78/52.99	c (50,0) c UsedRateTime_winner : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_0 : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_1 : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_2 : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_3 : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_4 : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_5 : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_6 : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_7 : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_total : 0.000000
389.78/52.99	c (50,0) c OverlapRateTime_winner : 0.000000
389.78/52.99	c (50,0) c
389.78/52.99	c (50,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
389.78/52.99	c (50,0) c
389.78/52.99	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.99	c (50,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
389.78/52.99	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.99	c (50,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
389.78/52.99	c (50,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
389.78/52.99	c (50,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
389.78/52.99	c (50,0) c | Initial random_seed   | 1877430420 |  269122161 | 1838876403 | 1420359131 |  935448000 |  790058287 | 1275334800 | 1828800912 |
389.78/52.99	c (50,0) c | chanseokStrategy      |      False |      False |       True |      False |       True |      False |       True |      False |
389.78/52.99	c (50,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
389.78/52.99	c (50,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
389.78/52.99	c (50,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
389.78/52.99	c (50,0) c | incReduceDB           |        300 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
389.78/52.99	c (50,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
389.78/52.99	c (50,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
389.78/52.99	c (50,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
389.78/52.99	c (50,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
389.78/52.99	c (50,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
389.78/52.99	c (50,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
389.78/52.99	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.78/52.99	c (50,0) 
389.78/52.99	c (50,0) s UNSATISFIABLE
389.78/52.99	c (50,0) SatSolver.solve End
389.78/52.99	c (50,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
389.78/52.99	c (50,0) Show results Begin
389.78/52.99	s UNSATISFIABLE
389.78/52.99	c (50,0) Show results End
389.78/52.99	c (50,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
389.78/52.99	c (50,0) 50,50,STOP-AFTER(ALL)
389.78/53.00	c END-Prog: Mon Sep 23 14:19:25 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 (9660 MiB free)
  memory of node 1: 16384 MiB (11101 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405235-1569241153/watcher-4405235-1569241153 -o /var/tmp/evaluation-result-4405235-1569241153/solver-4405235-1569241153 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569238587-10558 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405235-1569241153.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=10911, runsolver pid=10908
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 7.95 8.01 7.37 2/211 10933
/proc/meminfo: memFree=21166768/32770624 swapFree=66976768/67108860
[pid=10911] ppid=10908 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10911/stat : 10911 (scop.sh) S 10908 10911 10531 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500055355 115843072 349 33554432000 4194304 5098028 140722255907392 140722255904648 140113100989052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140722255909629 140722255909976 140722255909976 140722255912905 0
/proc/10911/statm: 28282 349 296 221 0 87 0
[pid=10914] ppid=10911 vsize=27314120 memory=104100 CPUtime=0.1 cores=0-7
/proc/10914/stat : 10914 (java) S 10911 10911 10531 0 -1 1077944320 6121 0 0 0 8 2 0 0 20 0 20 0 500055355 27969658880 26025 33554432000 4194304 4196468 140730509620352 140730509602896 139824498831095 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
/proc/10914/statm: 6828530 26025 2793 1 0 6790935 0
[pid=10914/tid=10915] ppid=10911 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10914/task/10915/stat : 10915 (java) R 10911 10911 10531 0 -1 4202560 4219 0 0 0 7 2 0 0 20 0 20 0 500055355 27969658880 26537 33554432000 4194304 4196468 140730509620352 139824470644608 139824484197828 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10916] ppid=10911 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10914/task/10916/stat : 10916 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 26537 33554432000 4194304 4196468 140730509620352 139824503073680 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10917] ppid=10911 vsize=27314120 memory=139929710937728 CPUtime=0 cores=0-7
/proc/10914/task/10917/stat : 10917 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823921400592 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10918] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10918/stat : 10918 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823920348304 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10919] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10919/stat : 10919 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823919295504 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10920] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10920/stat : 10920 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823918242192 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10921] ppid=10911 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10914/task/10921/stat : 10921 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823917189392 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10922] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10922/stat : 10922 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823916137104 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10923] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10923/stat : 10923 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823915084304 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10924] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10924/stat : 10924 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055359 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823871916656 139824498842242 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10925] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10925/stat : 10925 (java) S 10911 10911 10531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500055360 27969658880 26537 33554432000 4194304 4196468 140730509620352 139822391878944 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10926] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10926/stat : 10926 (java) S 10911 10911 10531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500055360 27969658880 26537 33554432000 4194304 4196468 140730509620352 139822257657456 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10927] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10927/stat : 10927 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055362 27969658880 26537 33554432000 4194304 4196468 140730509620352 139821883152976 139824498849691 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10928] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10928/stat : 10928 (java) S 10911 10911 10531 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 500055362 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823870863472 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10929] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10929/stat : 10929 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823869810672 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10930] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10930/stat : 10930 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823620811120 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10931] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10931/stat : 10931 (java) S 10911 10911 10531 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823619758320 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10932] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10932/stat : 10932 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 26537 33554432000 4194304 4196468 140730509620352 139821385247584 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10933] ppid=10911 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10914/task/10933/stat : 10933 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 26537 33554432000 4194304 4196468 140730509620352 139823618706224 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105496 KiB

[startup+0.210442 s]*
/proc/loadavg: 7.95 8.01 7.37 2/211 10933
/proc/meminfo: memFree=21149144/32770624 swapFree=66976768/67108860
[pid=10911] ppid=10908 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10911/stat : 10911 (scop.sh) S 10908 10911 10531 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500055355 115843072 349 33554432000 4194304 5098028 140722255907392 140722255904648 140113100989052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140722255909629 140722255909976 140722255909976 140722255912905 0
/proc/10911/statm: 28282 349 296 221 0 87 0
[pid=10914] ppid=10911 vsize=27314120 memory=120952 CPUtime=0.24 cores=0-7
/proc/10914/stat : 10914 (java) S 10911 10911 10531 0 -1 1077944320 11133 0 0 0 21 3 0 0 20 0 20 0 500055355 27969658880 30238 33554432000 4194304 4196468 140730509620352 140730509602896 139824498831095 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
/proc/10914/statm: 6828530 30238 2951 1 0 6790935 0
[pid=10914/tid=10915] ppid=10911 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10914/task/10915/stat : 10915 (java) R 10911 10911 10531 0 -1 4202560 8822 0 0 0 17 2 0 0 20 0 20 0 500055355 27969658880 30238 33554432000 4194304 4196468 140730509620352 139824470648576 139824482911582 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10916] ppid=10911 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/10914/task/10916/stat : 10916 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 30238 33554432000 4194304 4196468 140730509620352 139824503073680 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10917] ppid=10911 vsize=27314120 memory=288370305862649472 CPUtime=0 cores=0-7
/proc/10914/task/10917/stat : 10917 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823921400592 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10918] ppid=10911 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10914/task/10918/stat : 10918 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823920348304 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10919] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10919/stat : 10919 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823919295504 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10920] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10920/stat : 10920 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823918242192 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10921] ppid=10911 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10914/task/10921/stat : 10921 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823917189392 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10922] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10922/stat : 10922 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823916137104 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10923] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10923/stat : 10923 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823915084304 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10924] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10924/stat : 10924 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055359 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823871916656 139824498842242 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10925] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10925/stat : 10925 (java) S 10911 10911 10531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500055360 27969658880 30238 33554432000 4194304 4196468 140730509620352 139822391878944 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10926] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10926/stat : 10926 (java) S 10911 10911 10531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500055360 27969658880 30238 33554432000 4194304 4196468 140730509620352 139822257657456 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10927] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10927/stat : 10927 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055362 27969658880 30238 33554432000 4194304 4196468 140730509620352 139821883152976 139824498849691 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10928] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10928/stat : 10928 (java) S 10911 10911 10531 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 500055362 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823870863472 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10929] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10929/stat : 10929 (java) S 10911 10911 10531 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823869810672 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10930] ppid=10911 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10914/task/10930/stat : 10930 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823620811120 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10931] ppid=10911 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10914/task/10931/stat : 10931 (java) S 10911 10911 10531 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 20 0 500055363 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823619758320 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10932] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10932/stat : 10932 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 30238 33554432000 4194304 4196468 140730509620352 139821385247584 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10933] ppid=10911 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10914/task/10933/stat : 10933 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 30238 33554432000 4194304 4196468 140730509620352 139823618706224 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122348 KiB

[startup+0.310238 s]*
/proc/loadavg: 7.95 8.01 7.37 2/211 10933
/proc/meminfo: memFree=21145116/32770624 swapFree=66976768/67108860
[pid=10911] ppid=10908 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10911/stat : 10911 (scop.sh) S 10908 10911 10531 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500055355 115843072 349 33554432000 4194304 5098028 140722255907392 140722255904648 140113100989052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140722255909629 140722255909976 140722255909976 140722255912905 0
/proc/10911/statm: 28282 349 296 221 0 87 0
[pid=10914] ppid=10911 vsize=27314120 memory=125320 CPUtime=0.43 cores=0-7
/proc/10914/stat : 10914 (java) S 10911 10911 10531 0 -1 1077944320 12286 0 0 0 39 4 0 0 20 0 20 0 500055355 27969658880 31330 33554432000 4194304 4196468 140730509620352 140730509602896 139824498831095 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
/proc/10914/statm: 6828530 31330 3011 1 0 6790935 0
[pid=10914/tid=10915] ppid=10911 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10914/task/10915/stat : 10915 (java) R 10911 10911 10531 0 -1 4202560 9753 0 0 0 27 3 0 0 20 0 20 0 500055355 27969658880 31330 33554432000 4194304 4196468 140730509620352 139824470661168 139824480204544 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10916] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10916/stat : 10916 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 31330 33554432000 4194304 4196468 140730509620352 139824503073680 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10917] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10917/stat : 10917 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823921400592 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10918] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10918/stat : 10918 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823920348304 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10919] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10919/stat : 10919 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823919295504 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10920] ppid=10911 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10914/task/10920/stat : 10920 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823918242192 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10921] ppid=10911 vsize=27314120 memory=139929564836783 CPUtime=0 cores=0-7
/proc/10914/task/10921/stat : 10921 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823917189392 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10922] ppid=10911 vsize=27314120 memory=139929564839088 CPUtime=0 cores=0-7
/proc/10914/task/10922/stat : 10922 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823916137104 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10923] ppid=10911 vsize=27314120 memory=139929564841392 CPUtime=0 cores=0-7
/proc/10914/task/10923/stat : 10923 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055358 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823915084304 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10924] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10924/stat : 10924 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055359 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823871916656 139824498842242 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10925] ppid=10911 vsize=27314120 memory=279859129689744 CPUtime=0 cores=0-7
/proc/10914/task/10925/stat : 10925 (java) S 10911 10911 10531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500055360 27969658880 31330 33554432000 4194304 4196468 140730509620352 139822391878944 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10926] ppid=10911 vsize=27314120 memory=279859129696656 CPUtime=0 cores=0-7
/proc/10914/task/10926/stat : 10926 (java) S 10911 10911 10531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500055360 27969658880 31330 33554432000 4194304 4196468 140730509620352 139822257657456 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10927] ppid=10911 vsize=27314120 memory=279859129637936 CPUtime=0 cores=0-7
/proc/10914/task/10927/stat : 10927 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055362 27969658880 31330 33554432000 4194304 4196468 140730509620352 139821883152976 139824498849691 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10928] ppid=10911 vsize=27314120 memory=279859129710480 CPUtime=0.01 cores=0-7
/proc/10914/task/10928/stat : 10928 (java) S 10911 10911 10531 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 500055362 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823870863472 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10929] ppid=10911 vsize=27314120 memory=279859129717392 CPUtime=0.02 cores=0-7
/proc/10914/task/10929/stat : 10929 (java) R 10911 10911 10531 0 -1 4202560 250 0 0 0 2 0 0 0 20 0 20 0 500055363 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823869810672 139824478069568 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10930] ppid=10911 vsize=27314120 memory=279859129715088 CPUtime=0 cores=0-7
/proc/10914/task/10930/stat : 10930 (java) S 10911 10911 10531 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823620811120 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10931] ppid=10911 vsize=27314120 memory=279859129731248 CPUtime=0.07 cores=0-7
/proc/10914/task/10931/stat : 10931 (java) S 10911 10911 10531 0 -1 1077944384 545 0 0 0 7 0 0 0 20 0 20 0 500055363 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823619758320 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10932] ppid=10911 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10932/stat : 10932 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 31330 33554432000 4194304 4196468 140730509620352 139821385247584 139824498841301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10933] ppid=10911 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10914/task/10933/stat : 10933 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055363 27969658880 31330 33554432000 4194304 4196468 140730509620352 139823618706224 139824498842242 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126716 KiB

[startup+0.700981 s]
/proc/loadavg: 7.95 8.01 7.37 2/211 10933
/proc/meminfo: memFree=21121428/32770624 swapFree=66976768/67108860
[pid=10911] ppid=10908 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10911/stat : 10911 (scop.sh) S 10908 10911 10531 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500055355 115843072 349 33554432000 4194304 5098028 140722255907392 140722255904648 140113100989052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140722255909629 140722255909976 140722255909976 140722255912905 0
/proc/10911/statm: 28282 349 296 221 0 87 0
[pid=10914] ppid=10911 vsize=27322440 memory=163708 CPUtime=1.02 cores=0-7
/proc/10914/stat : 10914 (java) S 10911 10911 10531 0 -1 1077944320 20097 0 0 0 95 7 0 0 20 0 20 0 500055355 27978178560 40927 33554432000 4194304 4196468 140730509620352 140730509602896 139824498831095 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
/proc/10914/statm: 6830610 40927 3182 1 0 6791959 0
[pid=10914/tid=10915] ppid=10911 vsize=27322440 memory=279859130089136 CPUtime=0.68 cores=0-7
/proc/10914/task/10915/stat : 10915 (java) R 10911 10911 10531 0 -1 4202560 16920 0 0 0 63 5 0 0 20 0 20 0 500055355 27978178560 40927 33554432000 4194304 4196468 140730509620352 139824470654816 139824498853021 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10916] ppid=10911 vsize=27322440 memory=139929565045616 CPUtime=0 cores=0-7
/proc/10914/task/10916/stat : 10916 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500055358 27978178560 40927 33554432000 4194304 4196468 140730509620352 139824503073680 139824498841301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10917] ppid=10911 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/10914/task/10917/stat : 10917 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500055358 27978178560 40927 33554432000 4194304 4196468 140730509620352 139823921400592 139824498841301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16932864 140730509628103 140730509628550 140730509628550 140730509631439 0
[pid=10914/tid=10918] ppid=10911 vsize=27322440 memory=1060 CPUtime=0 cores=0-7

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

[pid=10934/tid=10946] ppid=10911 vsize=8414124 memory=-8102918446579788844 CPUtime=0 cores=0-7
/proc/10934/task/10946/stat : 10946 (java) S 10911 10911 10531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500055553 8616062976 29636 33554432000 4194304 4196468 140721882652112 140559582745712 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10947] ppid=10911 vsize=8414124 memory=-8102918446579788844 CPUtime=0 cores=0-7
/proc/10934/task/10947/stat : 10947 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140559208241232 140561445898139 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10948] ppid=10911 vsize=8414124 memory=-8102918446579788844 CPUtime=0.04 cores=0-7
/proc/10934/task/10948/stat : 10948 (java) S 10911 10911 10531 0 -1 1077944384 211 0 0 0 4 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560739695216 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10949] ppid=10911 vsize=8414124 memory=1181011527 CPUtime=0.06 cores=0-7
/proc/10934/task/10949/stat : 10949 (java) S 10911 10911 10531 0 -1 1077944384 404 0 0 0 6 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560738642416 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10950] ppid=10911 vsize=8414124 memory=279859130935392 CPUtime=0.07 cores=0-7
/proc/10934/task/10950/stat : 10950 (java) S 10911 10911 10531 0 -1 1077944384 558 0 0 0 7 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560737590128 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10951] ppid=10911 vsize=8414124 memory=279859131926352 CPUtime=0.2 cores=0-7
/proc/10934/task/10951/stat : 10951 (java) S 10911 10911 10531 0 -1 1077944384 561 0 0 0 20 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560736537328 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10952] ppid=10911 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/10934/task/10952/stat : 10952 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558710335840 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10953] ppid=10911 vsize=8414124 memory=1556 CPUtime=0.02 cores=0-7
/proc/10934/task/10953/stat : 10953 (java) S 10911 10911 10531 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 500055556 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560735484208 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10955] ppid=10911 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/10934/task/10955/stat : 10955 (java) S 10911 10911 10531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560727450944 140561445904153 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10964] ppid=10911 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/10934/task/10964/stat : 10964 (java) S 10911 10911 10531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558039236496 140561445901469 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10966] ppid=10911 vsize=8414124 memory=816 CPUtime=0 cores=0-7
/proc/10934/task/10966/stat : 10966 (java) S 10911 10911 10531 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558307671824 140561445901469 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10967] ppid=10911 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/10934/task/10967/stat : 10967 (java) S 10911 10911 10531 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500055626 8616062976 29636 33554432000 4194304 4196468 140721882652112 140557770809136 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
Current children cumulated CPU time: 388.38 s
Current children cumulated vsize: 9192248 KiB
Current children cumulated memory: 529284 KiB

[startup+52.8012 s]
/proc/loadavg: 7.67 7.88 7.36 9/224 10970
/proc/meminfo: memFree=20742032/32770624 swapFree=66976768/67108860
[pid=10911] ppid=10908 vsize=113128 memory=1476 CPUtime=3.39 cores=0-7
/proc/10911/stat : 10911 (scop.sh) S 10908 10911 10531 0 -1 4202496 583 26375 0 0 0 0 325 14 20 0 1 0 500055355 115843072 369 33554432000 4194304 5098028 140722255907392 140722255904136 140113100989052 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16007168 140722255909629 140722255909976 140722255909976 140722255912905 0
/proc/10911/statm: 28282 369 311 221 0 87 0
[pid=10934] ppid=10911 vsize=8414124 memory=118544 CPUtime=1.21 cores=0-7
/proc/10934/stat : 10934 (java) S 10911 10911 10531 0 -1 1077944320 21099 0 0 0 113 8 0 0 20 0 24 0 500055549 8616062976 29636 33554432000 4194304 4196468 140721882652112 140721882634656 140561445879543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
/proc/10934/statm: 2103531 29636 3208 1 0 2064875 0
[pid=10954] ppid=10934 vsize=664996 memory=409264 CPUtime=384.98 cores=0-7
/proc/10954/stat : 10954 (manyglucose-4.1) S 10934 10911 10531 0 -1 1077944320 431838 0 0 0 38414 84 0 0 20 0 3 0 500055623 680955904 102316 33554432000 4194304 4454172 140722276027728 140722276026112 139696039857911 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 8294400 140722276029261 140722276029468 140722276029468 140722276032438 0
/proc/10954/statm: 166249 102316 418 64 0 161917 0
[pid=10954/tid=10958] ppid=10934 vsize=664996 memory=410852 CPUtime=46.31 cores=0-7
/proc/10954/task/10958/stat : 10958 (manyglucose-4.1) R 10934 10911 10531 0 -1 4202560 56051 0 0 0 4617 14 0 0 20 0 3 0 500055623 680955904 102316 33554432000 4194304 4454172 140722276027728 139696016247944 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 8294400 140722276029261 140722276029468 140722276029468 140722276032438 0
[pid=10954/tid=10962] ppid=10934 vsize=664996 memory=4211830626400688706 CPUtime=48.37 cores=0-7
/proc/10954/task/10962/stat : 10962 (manyglucose-4.1) R 10934 10911 10531 0 -1 4202560 77248 0 0 0 4826 11 0 0 20 0 3 0 500055623 680955904 102316 33554432000 4194304 4454172 140722276027728 139695982677144 4349976 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 8294400 140722276029261 140722276029468 140722276029468 140722276032438 0
[pid=10934/tid=10935] ppid=10911 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7
/proc/10934/task/10935/stat : 10935 (java) S 10911 10911 10531 0 -1 1077944384 17944 0 0 0 71 5 0 0 20 0 24 0 500055549 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561417719712 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10936] ppid=10911 vsize=8414124 memory=-8888523932890853778 CPUtime=0 cores=0-7
/proc/10934/task/10936/stat : 10936 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561450121616 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10937] ppid=10911 vsize=8414124 memory=301741382048153914 CPUtime=0 cores=0-7
/proc/10934/task/10937/stat : 10937 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561264277776 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10938] ppid=10911 vsize=8414124 memory=14981057220971048 CPUtime=0 cores=0-7
/proc/10934/task/10938/stat : 10938 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561263225488 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10939] ppid=10911 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/10934/task/10939/stat : 10939 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561262172688 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10940] ppid=10911 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/10934/task/10940/stat : 10940 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560927718288 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10941] ppid=10911 vsize=8414124 memory=1649 CPUtime=0 cores=0-7
/proc/10934/task/10941/stat : 10941 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560926665488 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10942] ppid=10911 vsize=8414124 memory=32483 CPUtime=0 cores=0-7
/proc/10934/task/10942/stat : 10942 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560925613200 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10943] ppid=10911 vsize=8414124 memory=1 CPUtime=0 cores=0-7
/proc/10934/task/10943/stat : 10943 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560924560400 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10944] ppid=10911 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10934/task/10944/stat : 10944 (java) S 10911 10911 10531 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500055552 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560740747376 140561445890690 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10945] ppid=10911 vsize=8414124 memory=1 CPUtime=0 cores=0-7
/proc/10934/task/10945/stat : 10945 (java) S 10911 10911 10531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500055553 8616062976 29636 33554432000 4194304 4196468 140721882652112 140559716967200 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10946] ppid=10911 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10934/task/10946/stat : 10946 (java) S 10911 10911 10531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500055553 8616062976 29636 33554432000 4194304 4196468 140721882652112 140559582745712 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10947] ppid=10911 vsize=8414124 memory=118544 CPUtime=0 cores=0-7
/proc/10934/task/10947/stat : 10947 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140559208241232 140561445898139 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10948] ppid=10911 vsize=8414124 memory=410864 CPUtime=0.04 cores=0-7
/proc/10934/task/10948/stat : 10948 (java) S 10911 10911 10531 0 -1 1077944384 211 0 0 0 4 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560739695216 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10949] ppid=10911 vsize=8414124 memory=-8707038579349950309 CPUtime=0.06 cores=0-7
/proc/10934/task/10949/stat : 10949 (java) S 10911 10911 10531 0 -1 1077944384 404 0 0 0 6 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560738642416 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10950] ppid=10911 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/10934/task/10950/stat : 10950 (java) S 10911 10911 10531 0 -1 1077944384 558 0 0 0 7 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560737590128 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10951] ppid=10911 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/10934/task/10951/stat : 10951 (java) S 10911 10911 10531 0 -1 1077944384 561 0 0 0 20 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560736537328 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10952] ppid=10911 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10934/task/10952/stat : 10952 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558710335840 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10953] ppid=10911 vsize=8414124 memory=118544 CPUtime=0.02 cores=0-7
/proc/10934/task/10953/stat : 10953 (java) S 10911 10911 10531 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 500055556 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560735484208 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10955] ppid=10911 vsize=8414124 memory=410856 CPUtime=0 cores=0-7
/proc/10934/task/10955/stat : 10955 (java) S 10911 10911 10531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560727450944 140561445904153 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10964] ppid=10911 vsize=8414124 memory=33760 CPUtime=0 cores=0-7
/proc/10934/task/10964/stat : 10964 (java) S 10911 10911 10531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558039236496 140561445901469 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10966] ppid=10911 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/10934/task/10966/stat : 10966 (java) S 10911 10911 10531 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558307671824 140561445901469 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10967] ppid=10911 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/10934/task/10967/stat : 10967 (java) S 10911 10911 10531 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500055626 8616062976 29636 33554432000 4194304 4196468 140721882652112 140557770809136 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
Current children cumulated CPU time: 389.58 s
Current children cumulated vsize: 9192248 KiB
Current children cumulated memory: 529284 KiB

[startup+52.9012 s]
/proc/loadavg: 7.67 7.88 7.36 9/224 10970
/proc/meminfo: memFree=20742032/32770624 swapFree=66976768/67108860
[pid=10911] ppid=10908 vsize=113128 memory=1476 CPUtime=3.39 cores=0-7
/proc/10911/stat : 10911 (scop.sh) S 10908 10911 10531 0 -1 4202496 583 26375 0 0 0 0 325 14 20 0 1 0 500055355 115843072 369 33554432000 4194304 5098028 140722255907392 140722255904136 140113100989052 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16007168 140722255909629 140722255909976 140722255909976 140722255912905 0
/proc/10911/statm: 28282 369 311 221 0 87 0
[pid=10934] ppid=10911 vsize=8414124 memory=118544 CPUtime=1.21 cores=0-7
/proc/10934/stat : 10934 (java) S 10911 10911 10531 0 -1 1077944320 21099 0 0 0 113 8 0 0 20 0 24 0 500055549 8616062976 29636 33554432000 4194304 4196468 140721882652112 140721882634656 140561445879543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
/proc/10934/statm: 2103531 29636 3208 1 0 2064875 0
[pid=10954] ppid=10934 vsize=664996 memory=409264 CPUtime=385.18 cores=0-7
/proc/10954/stat : 10954 (manyglucose-4.1) S 10934 10911 10531 0 -1 1077944320 431979 0 0 0 38434 84 0 0 20 0 3 0 500055623 680955904 102316 33554432000 4194304 4454172 140722276027728 140722276026112 139696039857911 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 8294400 140722276029261 140722276029468 140722276029468 140722276032438 0
/proc/10954/statm: 166249 102316 418 64 0 161917 0
[pid=10954/tid=10958] ppid=10934 vsize=664996 memory=10604 CPUtime=46.41 cores=0-7
/proc/10954/task/10958/stat : 10958 (manyglucose-4.1) R 10934 10911 10531 0 -1 4202560 56152 0 0 0 4627 14 0 0 20 0 3 0 500055623 680955904 102316 33554432000 4194304 4454172 140722276027728 139696016247944 4351305 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 8294400 140722276029261 140722276029468 140722276029468 140722276032438 0
[pid=10954/tid=10962] ppid=10934 vsize=664996 memory=3636 CPUtime=48.47 cores=0-7
/proc/10954/task/10962/stat : 10962 (manyglucose-4.1) R 10934 10911 10531 0 -1 4202560 77288 0 0 0 4836 11 0 0 20 0 3 0 500055623 680955904 102316 33554432000 4194304 4454172 140722276027728 139695982677144 4351209 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 8294400 140722276029261 140722276029468 140722276029468 140722276032438 0
[pid=10934/tid=10935] ppid=10911 vsize=8414124 memory=1476 CPUtime=0.76 cores=0-7
/proc/10934/task/10935/stat : 10935 (java) S 10911 10911 10531 0 -1 1077944384 17944 0 0 0 71 5 0 0 20 0 24 0 500055549 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561417719712 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10936] ppid=10911 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10934/task/10936/stat : 10936 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561450121616 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10937] ppid=10911 vsize=8414124 memory=610078326301750573 CPUtime=0 cores=0-7
/proc/10934/task/10937/stat : 10937 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561264277776 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10938] ppid=10911 vsize=8414124 memory=288285571665888046 CPUtime=0 cores=0-7
/proc/10934/task/10938/stat : 10938 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561263225488 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10939] ppid=10911 vsize=8414124 memory=139934005905023 CPUtime=0 cores=0-7
/proc/10934/task/10939/stat : 10939 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140561262172688 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10940] ppid=10911 vsize=8414124 memory=6370719275257063784 CPUtime=0 cores=0-7
/proc/10934/task/10940/stat : 10940 (java) S 10911 10911 10531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560927718288 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10941] ppid=10911 vsize=8414124 memory=6370719275257063784 CPUtime=0 cores=0-7
/proc/10934/task/10941/stat : 10941 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560926665488 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10942] ppid=10911 vsize=8414124 memory=10604 CPUtime=0 cores=0-7
/proc/10934/task/10942/stat : 10942 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560925613200 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10943] ppid=10911 vsize=8414124 memory=3636 CPUtime=0 cores=0-7
/proc/10934/task/10943/stat : 10943 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500055551 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560924560400 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10944] ppid=10911 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/10934/task/10944/stat : 10944 (java) S 10911 10911 10531 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500055552 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560740747376 140561445890690 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10945] ppid=10911 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/10934/task/10945/stat : 10945 (java) S 10911 10911 10531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500055553 8616062976 29636 33554432000 4194304 4196468 140721882652112 140559716967200 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10946] ppid=10911 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10934/task/10946/stat : 10946 (java) S 10911 10911 10531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500055553 8616062976 29636 33554432000 4194304 4196468 140721882652112 140559582745712 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10947] ppid=10911 vsize=8414124 memory=118544 CPUtime=0 cores=0-7
/proc/10934/task/10947/stat : 10947 (java) S 10911 10911 10531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140559208241232 140561445898139 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10948] ppid=10911 vsize=8414124 memory=410864 CPUtime=0.04 cores=0-7
/proc/10934/task/10948/stat : 10948 (java) S 10911 10911 10531 0 -1 1077944384 211 0 0 0 4 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560739695216 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10949] ppid=10911 vsize=8414124 memory=667716 CPUtime=0.06 cores=0-7
/proc/10934/task/10949/stat : 10949 (java) S 10911 10911 10531 0 -1 1077944384 404 0 0 0 6 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560738642416 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10950] ppid=10911 vsize=8414124 memory=988 CPUtime=0.07 cores=0-7
/proc/10934/task/10950/stat : 10950 (java) S 10911 10911 10531 0 -1 1077944384 558 0 0 0 7 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560737590128 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10951] ppid=10911 vsize=8414124 memory=2008 CPUtime=0.2 cores=0-7
/proc/10934/task/10951/stat : 10951 (java) S 10911 10911 10531 0 -1 1077944384 561 0 0 0 20 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560736537328 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10952] ppid=10911 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/10934/task/10952/stat : 10952 (java) S 10911 10911 10531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500055555 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558710335840 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10953] ppid=10911 vsize=8414124 memory=580 CPUtime=0.02 cores=0-7
/proc/10934/task/10953/stat : 10953 (java) S 10911 10911 10531 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 500055556 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560735484208 140561445890690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10955] ppid=10911 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10934/task/10955/stat : 10955 (java) S 10911 10911 10531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140560727450944 140561445904153 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10964] ppid=10911 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/10934/task/10964/stat : 10964 (java) S 10911 10911 10531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558039236496 140561445901469 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10966] ppid=10911 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/10934/task/10966/stat : 10966 (java) S 10911 10911 10531 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500055623 8616062976 29636 33554432000 4194304 4196468 140721882652112 140558307671824 140561445901469 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
[pid=10934/tid=10967] ppid=10911 vsize=8414124 memory=62280 CPUtime=0 cores=0-7
/proc/10934/task/10967/stat : 10967 (java) S 10911 10911 10531 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500055626 8616062976 29636 33554432000 4194304 4196468 140721882652112 140557770809136 140561445889749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15314944 140721882653663 140721882653830 140721882653830 140721882656719 0
Current children cumulated CPU time: 389.78 s
Current children cumulated vsize: 9192248 KiB
Current children cumulated memory: 529284 KiB

Child status: 0
Real time (s): 53.0083
CPU time (s): 390.03
CPU user time (s): 388.93
CPU system time (s): 1.10001
CPU usage (%): 735.791
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 542312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.93
system time used= 1.10001
maximum resident set size= 422300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 480440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10230
involuntary context switches= 3859


# summary of solver processes directly reported to runsolver:
#   pid: 10911
#   total CPU time (s): 390.03
#   total CPU user time (s): 388.93
#   total CPU system time (s): 1.10001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.531016 second user time and 0.699666 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-23 14:18:32
IDJOB=4405235
IDBENCH=123576
IDSOLVER=2867
FILE ID=node124/4405235-1569241153
RUNJOBID= node124-1569238587-10558
PBS_JOBID= 21704906
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Sat/Sat-m1-various/hole-10.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405235-1569241153/watcher-4405235-1569241153 -o /var/tmp/evaluation-result-4405235-1569241153/solver-4405235-1569241153 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569238587-10558 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405235-1569241153.xml

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

MD5SUM BENCH= 9520e39dbeb812da3aa0c7bffde6870d
RANDOM SEED=1320727312

node124.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.47
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.47
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.47
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.47
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:        21259244 kB
MemAvailable:   31812116 kB
Buffers:          140580 kB
Cached:         10438136 kB
SwapCached:        29048 kB
Active:          5257416 kB
Inactive:        5356128 kB
Active(anon):       4060 kB
Inactive(anon):    88512 kB
Active(file):    5253356 kB
Inactive(file):  5267616 kB
Unevictable:      108320 kB
Mlocked:          108320 kB
SwapTotal:      67108860 kB
SwapFree:       66976768 kB
Dirty:             20652 kB
Writeback:             4 kB
AnonPages:        114988 kB
Mapped:            54896 kB
Shmem:             49088 kB
Slab:             488604 kB
SReclaimable:     460360 kB
SUnreclaim:        28244 kB
KernelStack:        3360 kB
PageTables:         6060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514884 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:      112000 kB
DirectMap2M:    33433600 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node124 at 2019-09-23 14:19:25