Trace number 4405491

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 77.4102 12.2973

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-armies/
Pb-army11-17ls.xml
MD5SUM3a369118bc0c88105fbaeba7564c3313
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.4026
Satisfiable
(Un)Satisfiability was proved
Number of variables370
Number of constraints557
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":370}]
Minimum variable degree3
Maximum variable degree13
Distribution of variable degrees[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":250},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":48}]
Minimum constraint arity2
Maximum constraint arity121
Distribution of constraint arities[{"arity":2,"count":193},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":250},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":48},{"arity":121,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":557}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9151-serial-file.bin HOME/instance-4405491-1569355181.xml
0.66/0.60	
0.66/0.60	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.60	
0.77/0.63	c BEGIN-Prog: Tue Sep 24 21:58:59 CEST 2019
0.77/0.63	c PID: 9154
0.77/0.63	c IP: 172.20.3.116
0.77/0.63	c HOST: node116.alineos.net
0.77/0.63	c (0,0) Parsing Begin
2.13/1.27	c (0,0) Parsing End
2.13/1.28	c (0,0) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2
2.13/1.28	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.13/1.28	c (0,0) Constraint Name Generate Begin
2.13/1.29	c (0,0) Ctr:HOME/instance-4405491-1569355181.xml,Num:Var:WeightedSum
2.13/1.29	c (0,0) Constraint Name Generate End
2.13/1.29	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.13/1.29	c (0,0) CSP to CSPinCNF Begin
3.10/1.51	c (0,0) translated 56 (10%) constraints
3.10/1.54	c (0,0) translated 112 (20%) constraints
3.10/1.56	c (0,0) translated 168 (30%) constraints
3.10/1.59	c (0,0) translated 223 (40%) constraints
3.42/1.62	c (1,1) translated 279 (50%) constraints
3.42/1.64	c (1,1) translated 335 (60%) constraints
3.42/1.66	c (1,1) translated 390 (70%) constraints
3.42/1.68	c (1,1) translated 446 (80%) constraints
3.77/1.71	c (1,1) translated 502 (90%) constraints
3.77/1.72	c (1,1) translated 557 (100%) constraints
3.77/1.72	c (1,1) ===========================================
3.77/1.73	c (1,1) Hybrid: #OE=0, #LE=370
3.77/1.73	c (1,1) Hybrid
3.77/1.73	c (1,1) ===========================================
3.77/1.75	c (1,1) translated 56 (10%) constraints
3.77/1.76	c (1,1) translated 112 (20%) constraints
3.77/1.77	c (1,1) translated 168 (30%) constraints
3.77/1.77	c (1,1) translated 223 (40%) constraints
3.77/1.78	c (1,1) translated 279 (50%) constraints
3.77/1.79	c (1,1) translated 335 (60%) constraints
3.77/1.79	c (1,1) translated 390 (70%) constraints
3.77/1.80	c (1,1) translated 446 (80%) constraints
4.02/1.81	c (1,1) translated 502 (90%) constraints
4.02/1.81	c (1,1) translated 557 (100%) constraints
4.02/1.82	c (1,1) CSP to CSPinCNF End
4.02/1.82	c (1,1) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2
4.02/1.82	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.02/1.82	c (1,1) CSPinCNF Propagation Begin
4.02/1.85	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.02/1.85	c (1,1) CSPinCNF Propagation End
4.02/1.85	c (1,1) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2
4.02/1.85	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.02/1.85	c (1,1) Hybrid: #OE=0, #LE=370
4.02/1.85	c (1,1) Simplify CSPinCNF Begin
4.02/1.86	c (1,1) Simplify CSPinCNF End
4.02/1.86	c (1,1) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2
4.02/1.86	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.02/1.86	c (1,1) Calculate Precise Domain Begin
4.02/1.87	c (1,1) 0 values are removed by re-calculation
4.02/1.87	c (1,1) Calculate Precise Domain End
4.02/1.87	c (1,1) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2
4.02/1.87	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.02/1.87	c (1,1) CSPinCNF to SatSolver Begin
4.79/2.02	c (1,1) 56 (10 %) CSP clauses are encoded (0 SAT variables, 10345 SAT clauses)
4.79/2.03	c (1,1) 112 (20 %) CSP clauses are encoded (0 SAT variables, 10401 SAT clauses)
4.79/2.04	c (1,1) 168 (30 %) CSP clauses are encoded (0 SAT variables, 10457 SAT clauses)
4.79/2.05	c (1,1) 223 (40 %) CSP clauses are encoded (0 SAT variables, 10897 SAT clauses)
4.79/2.06	c (1,1) 279 (50 %) CSP clauses are encoded (0 SAT variables, 11569 SAT clauses)
4.79/2.07	c (1,1) 335 (60 %) CSP clauses are encoded (0 SAT variables, 12241 SAT clauses)
4.79/2.08	c (1,1) 390 (70 %) CSP clauses are encoded (0 SAT variables, 12901 SAT clauses)
4.79/2.09	c (1,1) 446 (80 %) CSP clauses are encoded (0 SAT variables, 13397 SAT clauses)
4.79/2.10	c (1,1) 502 (90 %) CSP clauses are encoded (0 SAT variables, 13453 SAT clauses)
4.79/2.10	c (1,1) 557 (100 %) CSP clauses are encoded (0 SAT variables, 13508 SAT clauses)
4.79/2.10	c (1,1) CSPinCNF to SatSolver End
4.79/2.10	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.79/2.11	c (1,1) 5150 bool, 13509 clause
4.79/2.11	c (1,1) Export Begin
5.41/2.26	c (1,1) Export to HOME/scop-9151-serial-file.bin
5.41/2.26	c (1,1) Export End
5.41/2.26	c (1,1) Export File Size: 0.14 MB
5.41/2.26	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.41/2.26	c END-Prog: Tue Sep 24 21:59:01 CEST 2019
5.41/2.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9151-serial-file.bin
5.61/2.79	c (0,0) Read Serial File Begin
5.61/2.79	c (0,0) HOME/scop-9151-serial-file.bin
6.59/3.09	c (0,0) Read Serial File End
6.59/3.10	
6.59/3.10	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.59/3.10	(Solving Process)
6.59/3.10	
6.93/3.13	c BEGIN-Prog: Tue Sep 24 21:59:02 CEST 2019
6.93/3.13	c PID: 9174
6.93/3.13	c IP: 172.20.3.116
6.93/3.13	c HOST: node116.alineos.net
6.93/3.13	c (0,0) SatSolver.solve Begin
6.93/3.13	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405491-1569355181.xml-scop-9154.cnf
6.93/3.16	c (0,0) c
6.93/3.16	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)
6.93/3.16	c (0,0) c
6.93/3.16	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.93/3.16	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.93/3.16	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.93/3.16	c (0,0) c |                                                                                                       |
6.93/3.16	c (0,0) c |  Number of variables:          5150                                                                   |
6.93/3.16	c (0,0) c |  Number of clauses:           13265                                                                   |
6.93/3.16	c (0,0) c |  Parse time:                   0.01 s                                                                 |
6.93/3.16	c (0,0) c |                                                                                                       |
6.93/3.17	c (0,0) c |  Simplification time:          0.01 s                                                                 |
6.93/3.17	c (0,0) c |                                                                                                       |
6.93/3.17	c (0,0) c |  Generating clones                                                                                    |
6.93/3.18	c (0,0) c |  all clones generated. Memory =    34.57Mb.                                                           |
6.93/3.18	c (0,0) c ========================================================================================================|
6.93/3.18	c (0,0) c
6.93/3.18	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.93/3.18	c (0,0) c
6.93/3.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.93/3.18	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.93/3.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.93/3.18	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.93/3.18	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.93/3.18	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.93/3.18	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.93/3.18	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.93/3.18	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.93/3.18	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.93/3.18	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.93/3.18	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.93/3.18	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.93/3.18	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.93/3.18	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.93/3.18	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.93/3.18	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.93/3.18	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.93/3.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.08	c (9,0) c
76.79/12.08	c (9,0) c real time : 8.92212 s
76.79/12.08	c (9,0) c cpu time  : 69.4096 s
76.79/12.08	c (9,0) c
76.79/12.08	c (9,0) c
76.79/12.08	c (9,0) c
76.79/12.08	c (9,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
76.79/12.08	c (9,0) c
76.79/12.08	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.08	c (9,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
76.79/12.08	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.08	c (9,0) c | Conflicts     |          716229 |      86500 |      86593 |      94271 |      90192 |      89607 |      91970 |      89999 |      87097 |
76.79/12.08	c (9,0) c | Decisions     |         1183752 |     143122 |     149999 |     150697 |     154698 |     144953 |     155587 |     135642 |     149054 |
76.79/12.08	c (9,0) c | Propagations  |       189278923 |   23113924 |   23588198 |   24637432 |   24351973 |   23346884 |   24639539 |   21756020 |   23844953 |
76.79/12.08	c (9,0) c | ReduceDBs     |              61 |          7 |          7 |          8 |          8 |          8 |          8 |          8 |          7 |
76.79/12.08	c (9,0) c | SimpDBs       |              48 |          7 |          6 |          6 |          6 |          6 |          6 |          5 |          6 |
76.79/12.08	c (9,0) c | Restarts      |            2116 |        250 |        332 |        202 |        318 |        225 |        360 |        126 |        303 |
76.79/12.08	c (9,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
76.79/12.08	c (9,0) c | PropBinClauses|       100963137 |   12209220 |   12301350 |   13508731 |   12858452 |   12262706 |   12907771 |   12400879 |   12514028 |
76.79/12.08	c (9,0) c | PropPreBlocker|      1426122500 |  171823198 |  169188306 |  180686283 |  182994768 |  176651300 |  183060728 |  184200343 |  177517574 |
76.79/12.08	c (9,0) c | PropNotBlocker|       503260198 |   61134425 |   61818886 |   63858925 |   64032351 |   60676052 |   64623410 |   62608955 |   64507194 |
76.79/12.08	c (9,0) c | LitFullScans  |      4257434160 |  528046465 |  528169476 |  530974184 |  534029573 |  528079925 |  528040254 |  552035372 |  528058911 |
76.79/12.08	c (9,0) c | LitScanFracts |          375466 |      29834 |     152771 |      23307 |      17398 |      64872 |      25328 |      23795 |      38161 |
76.79/12.08	c (9,0) c | DecisionLevel0|            2122 |        251 |        334 |        202 |        319 |        226 |        360 |        126 |        304 |
76.79/12.08	c (9,0) c | Periods       |             709 |         88 |         88 |         88 |         89 |         88 |         88 |         92 |         88 |
76.79/12.08	c (9,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
76.79/12.08	c (9,0) c | Avg_Trail     |                 |       1544 |       1593 |       1513 |       1529 |       1520 |       1510 |       1388 |       1505 |
76.79/12.08	c (9,0) c | Avg_DL        |                 |         34 |         34 |         36 |         37 |         34 |         35 |         32 |         36 |
76.79/12.08	c (9,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
76.79/12.08	c (9,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
76.79/12.08	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.08	c (9,0) c | Exported      |          123662 |      14858 |      14056 |      16535 |      14657 |      15489 |      15652 |      17809 |      14606 |
76.79/12.08	c (9,0) c | Imported      |          745103 |      93827 |      93238 |      92874 |      93631 |      92180 |      92713 |      92772 |      93868 |
76.79/12.08	c (9,0) c | Good          |            5634 |        747 |        680 |        729 |        645 |        718 |        679 |        744 |        692 |
76.79/12.08	c (9,0) c | Purge         |          739469 |      93080 |      92558 |      92145 |      92986 |      91462 |      92034 |      92028 |      93176 |
76.79/12.08	c (9,0) c | Promoted      |           48470 |       5784 |       5919 |       5479 |       6100 |       5935 |       6185 |       6360 |       6708 |
76.79/12.08	c (9,0) c | Remove_Imp    |          398855 |      42845 |      43133 |      51142 |      57972 |      56463 |      53599 |      56608 |      37093 |
76.79/12.08	c (9,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
76.79/12.08	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.08	c (9,0) c | Unaries       |                 |          1 |          2 |          0 |          1 |          1 |          0 |          0 |          1 |
76.79/12.08	c (9,0) c | Binaries      |                 |         80 |        124 |         81 |        163 |         84 |        125 |         85 |        118 |
76.79/12.08	c (9,0) c | Glues         |                 |        238 |        325 |        224 |        384 |        240 |        352 |        224 |        316 |
76.79/12.08	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.08	c (9,0) c | Orig_Seen     |            76 % |       8398 |       8586 |       8529 |       8433 |       8528 |       8569 |       8240 |       8448 |
76.79/12.08	c (9,0) c | Diff Orig seen|                 | -      131 |         57 |      X     | -       96 | -        1 |         40 | -      289 | -       81 |
76.79/12.08	c (9,0) c | Hamming       |            14 % |        744 |        631 |      X     |        778 |        769 |        818 |        701 |        681 |
76.79/12.08	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.08	c (9,0) c | RunningTime   |                 |    8.7  99%|    8.8 100%|    8.6 100%|    8.7 100%|    8.7 100%|    8.8 100%|    8.7  99%|    8.6 100%|
76.79/12.08	c (9,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
76.79/12.08	c (9,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|
76.79/12.08	c (9,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%|
76.79/12.08	c (9,0) c | SolvingTime   |                 |    8.8     |    8.8     |    8.6     |    8.7     |    8.7     |    8.9     |    8.7     |    8.6     |
76.79/12.08	c (9,0) c | PropagationTim|                 |    6.0  69%|    6.0  68%|    6.0  70%|    6.2  71%|    5.9  68%|    6.4  72%|    6.1  70%|    6.2  72%|
76.79/12.08	c (9,0) c | AnalysisTime  |                 |    2.4  27%|    2.4  28%|    2.2  26%|    2.1  25%|    2.4  28%|    2.1  23%|    2.2  25%|    2.1  24%|
76.79/12.08	c (9,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
76.79/12.08	c (9,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
76.79/12.08	c (9,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%|
76.79/12.08	c (9,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%|
76.79/12.08	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.08	c (9,0) c
76.79/12.08	c (9,0) c
76.79/12.08	c (9,0) c Threads : 8
76.79/12.08	c (9,0) c Winner : 2
76.79/12.08	c (9,0) c Conflicts_0 : 86500
76.79/12.08	c (9,0) c Conflicts_1 : 86593
76.79/12.08	c (9,0) c Conflicts_2 : 94271
76.79/12.08	c (9,0) c Conflicts_3 : 90192
76.79/12.08	c (9,0) c Conflicts_4 : 89607
76.79/12.08	c (9,0) c Conflicts_5 : 91970
76.79/12.08	c (9,0) c Conflicts_6 : 89999
76.79/12.08	c (9,0) c Conflicts_7 : 87097
76.79/12.08	c (9,0) c Conflicts_total : 716229
76.79/12.08	c (9,0) c Conflicts_winner : 94271
76.79/12.08	c (9,0) c Decisions_0 : 143122
76.79/12.08	c (9,0) c Decisions_1 : 149999
76.79/12.08	c (9,0) c Decisions_2 : 150697
76.79/12.08	c (9,0) c Decisions_3 : 154698
76.79/12.08	c (9,0) c Decisions_4 : 144953
76.79/12.08	c (9,0) c Decisions_5 : 155587
76.79/12.08	c (9,0) c Decisions_6 : 135642
76.79/12.08	c (9,0) c Decisions_7 : 149054
76.79/12.08	c (9,0) c Decisions_total : 1183752
76.79/12.08	c (9,0) c Decisions_winner : 150697
76.79/12.08	c (9,0) c Propagations_0 : 23113924
76.79/12.08	c (9,0) c Propagations_1 : 23588198
76.79/12.08	c (9,0) c Propagations_2 : 24637432
76.79/12.08	c (9,0) c Propagations_3 : 24351973
76.79/12.08	c (9,0) c Propagations_4 : 23346884
76.79/12.08	c (9,0) c Propagations_5 : 24639539
76.79/12.09	c (9,0) c Propagations_6 : 21756020
76.79/12.09	c (9,0) c Propagations_7 : 23844953
76.79/12.09	c (9,0) c Propagations_total : 189278923
76.79/12.09	c (9,0) c Propagations_winner : 24637432
76.79/12.09	c (9,0) c ReduceDBs_0 : 7
76.79/12.09	c (9,0) c ReduceDBs_1 : 7
76.79/12.09	c (9,0) c ReduceDBs_2 : 8
76.79/12.09	c (9,0) c ReduceDBs_3 : 8
76.79/12.09	c (9,0) c ReduceDBs_4 : 8
76.79/12.09	c (9,0) c ReduceDBs_5 : 8
76.79/12.09	c (9,0) c ReduceDBs_6 : 8
76.79/12.09	c (9,0) c ReduceDBs_7 : 7
76.79/12.09	c (9,0) c ReduceDBs_total : 61
76.79/12.09	c (9,0) c ReduceDBs_winner : 8
76.79/12.09	c (9,0) c SimpDBs_0 : 7
76.79/12.09	c (9,0) c SimpDBs_1 : 6
76.79/12.09	c (9,0) c SimpDBs_2 : 6
76.79/12.09	c (9,0) c SimpDBs_3 : 6
76.79/12.09	c (9,0) c SimpDBs_4 : 6
76.79/12.09	c (9,0) c SimpDBs_5 : 6
76.79/12.09	c (9,0) c SimpDBs_6 : 5
76.79/12.09	c (9,0) c SimpDBs_7 : 6
76.79/12.09	c (9,0) c SimpDBs_total : 48
76.79/12.09	c (9,0) c SimpDBs_winner : 6
76.79/12.09	c (9,0) c Restarts_0 : 250
76.79/12.09	c (9,0) c Restarts_1 : 332
76.79/12.09	c (9,0) c Restarts_2 : 202
76.79/12.09	c (9,0) c Restarts_3 : 318
76.79/12.09	c (9,0) c Restarts_4 : 225
76.79/12.09	c (9,0) c Restarts_5 : 360
76.79/12.09	c (9,0) c Restarts_6 : 126
76.79/12.09	c (9,0) c Restarts_7 : 303
76.79/12.09	c (9,0) c Restarts_total : 2116
76.79/12.09	c (9,0) c Restarts_winner : 202
76.79/12.09	c (9,0) c ForcedImports_0 : 0
76.79/12.09	c (9,0) c ForcedImports_1 : 0
76.79/12.09	c (9,0) c ForcedImports_2 : 0
76.79/12.09	c (9,0) c ForcedImports_3 : 0
76.79/12.09	c (9,0) c ForcedImports_4 : 0
76.79/12.09	c (9,0) c ForcedImports_5 : 0
76.79/12.09	c (9,0) c ForcedImports_6 : 0
76.79/12.09	c (9,0) c ForcedImports_7 : 0
76.79/12.09	c (9,0) c ForcedImports_total : 0
76.79/12.09	c (9,0) c ForcedImports_winner : 0
76.79/12.09	c (9,0) c PropsBinClauses_0 : 12209220
76.79/12.09	c (9,0) c PropsBinClauses_1 : 12301350
76.79/12.09	c (9,0) c PropsBinClauses_2 : 13508731
76.79/12.09	c (9,0) c PropsBinClauses_3 : 12858452
76.79/12.09	c (9,0) c PropsBinClauses_4 : 12262706
76.79/12.09	c (9,0) c PropsBinClauses_5 : 12907771
76.79/12.09	c (9,0) c PropsBinClauses_6 : 12400879
76.79/12.09	c (9,0) c PropsBinClauses_7 : 12514028
76.79/12.09	c (9,0) c PropsBinClauses_total : 100963137
76.79/12.09	c (9,0) c PropsBinClauses_winner : 13508731
76.79/12.09	c (9,0) c PropsPreBlocker_0 : 171823198
76.79/12.09	c (9,0) c PropsPreBlocker_1 : 169188306
76.79/12.09	c (9,0) c PropsPreBlocker_2 : 180686283
76.79/12.09	c (9,0) c PropsPreBlocker_3 : 182994768
76.79/12.09	c (9,0) c PropsPreBlocker_4 : 176651300
76.79/12.09	c (9,0) c PropsPreBlocker_5 : 183060728
76.79/12.09	c (9,0) c PropsPreBlocker_6 : 184200343
76.79/12.09	c (9,0) c PropsPreBlocker_7 : 177517574
76.79/12.09	c (9,0) c PropsPreBlocker_total : 1426122500
76.79/12.09	c (9,0) c PropsPreBlocker_winner : 180686283
76.79/12.09	c (9,0) c PropsNotBlocker_0 : 61134425
76.79/12.09	c (9,0) c PropsNotBlocker_1 : 61818886
76.79/12.09	c (9,0) c PropsNotBlocker_2 : 63858925
76.79/12.09	c (9,0) c PropsNotBlocker_3 : 64032351
76.79/12.09	c (9,0) c PropsNotBlocker_4 : 60676052
76.79/12.09	c (9,0) c PropsNotBlocker_5 : 64623410
76.79/12.09	c (9,0) c PropsNotBlocker_6 : 62608955
76.79/12.09	c (9,0) c PropsNotBlocker_7 : 64507194
76.79/12.09	c (9,0) c PropsNotBlocker_total : 503260198
76.79/12.09	c (9,0) c PropsNotBlocker_winner : 63858925
76.79/12.09	c (9,0) c PropsLitFullScans_0 : 528046465
76.79/12.09	c (9,0) c PropsLitFullScans_1 : 528169476
76.79/12.09	c (9,0) c PropsLitFullScans_2 : 530974184
76.79/12.09	c (9,0) c PropsLitFullScans_3 : 534029573
76.79/12.09	c (9,0) c PropsLitFullScans_4 : 528079925
76.79/12.09	c (9,0) c PropsLitFullScans_5 : 528040254
76.79/12.09	c (9,0) c PropsLitFullScans_6 : 552035372
76.79/12.09	c (9,0) c PropsLitFullScans_7 : 528058911
76.79/12.09	c (9,0) c PropsLitFullScans_total : 4257434160
76.79/12.09	c (9,0) c PropsLitFullScans_winner : 530974184
76.79/12.09	c (9,0) c LitScanFractions_0 : 29834
76.79/12.09	c (9,0) c LitScanFractions_1 : 152771
76.79/12.09	c (9,0) c LitScanFractions_2 : 23307
76.79/12.09	c (9,0) c LitScanFractions_3 : 17398
76.79/12.09	c (9,0) c LitScanFractions_4 : 64872
76.79/12.09	c (9,0) c LitScanFractions_5 : 25328
76.79/12.09	c (9,0) c LitScanFractions_6 : 23795
76.79/12.09	c (9,0) c LitScanFractions_7 : 38161
76.79/12.09	c (9,0) c LitScanFractions_total : 375466
76.79/12.09	c (9,0) c LitScanFractions_winner : 23307
76.79/12.09	c (9,0) c DecisionLevel0_0 : 251
76.79/12.09	c (9,0) c DecisionLevel0_1 : 334
76.79/12.09	c (9,0) c DecisionLevel0_2 : 202
76.79/12.09	c (9,0) c DecisionLevel0_3 : 319
76.79/12.09	c (9,0) c DecisionLevel0_4 : 226
76.79/12.09	c (9,0) c DecisionLevel0_5 : 360
76.79/12.09	c (9,0) c DecisionLevel0_6 : 126
76.79/12.09	c (9,0) c DecisionLevel0_7 : 304
76.79/12.09	c (9,0) c DecisionLevel0_total : 2122
76.79/12.09	c (9,0) c DecisionLevel0_winner : 202
76.79/12.09	c (9,0) c Periods_0 : 88
76.79/12.09	c (9,0) c Periods_1 : 88
76.79/12.09	c (9,0) c Periods_2 : 88
76.79/12.09	c (9,0) c Periods_3 : 89
76.79/12.09	c (9,0) c Periods_4 : 88
76.79/12.09	c (9,0) c Periods_5 : 88
76.79/12.09	c (9,0) c Periods_6 : 92
76.79/12.09	c (9,0) c Periods_7 : 88
76.79/12.09	c (9,0) c Periods_total : 709
76.79/12.09	c (9,0) c Periods_winner : 88
76.79/12.09	c (9,0) c Margin_0 : 20
76.79/12.09	c (9,0) c Margin_1 : 20
76.79/12.09	c (9,0) c Margin_2 : 20
76.79/12.09	c (9,0) c Margin_3 : 20
76.79/12.09	c (9,0) c Margin_4 : 20
76.79/12.09	c (9,0) c Margin_5 : 20
76.79/12.09	c (9,0) c Margin_6 : 20
76.79/12.09	c (9,0) c Margin_7 : 20
76.79/12.09	c (9,0) c Margin_total : 160
76.79/12.09	c (9,0) c Margin_winner : 20
76.79/12.09	c (9,0) c Exported_0 : 14858
76.79/12.09	c (9,0) c Exported_1 : 14056
76.79/12.09	c (9,0) c Exported_2 : 16535
76.79/12.09	c (9,0) c Exported_3 : 14657
76.79/12.09	c (9,0) c Exported_4 : 15489
76.79/12.09	c (9,0) c Exported_5 : 15652
76.79/12.09	c (9,0) c Exported_6 : 17809
76.79/12.09	c (9,0) c Exported_7 : 14606
76.79/12.09	c (9,0) c Exported_total : 123662
76.79/12.09	c (9,0) c Exported_winner : 16535
76.79/12.09	c (9,0) c Imported_0 : 93827
76.79/12.09	c (9,0) c Imported_1 : 93238
76.79/12.09	c (9,0) c Imported_2 : 92874
76.79/12.09	c (9,0) c Imported_3 : 93631
76.79/12.09	c (9,0) c Imported_4 : 92180
76.79/12.09	c (9,0) c Imported_5 : 92713
76.79/12.09	c (9,0) c Imported_6 : 92772
76.79/12.09	c (9,0) c Imported_7 : 93868
76.79/12.09	c (9,0) c Imported_total : 745103
76.79/12.09	c (9,0) c Imported_winner : 92874
76.79/12.09	c (9,0) c Good_0 : 747
76.79/12.09	c (9,0) c Good_1 : 680
76.79/12.09	c (9,0) c Good_2 : 729
76.79/12.09	c (9,0) c Good_3 : 645
76.79/12.09	c (9,0) c Good_4 : 718
76.79/12.09	c (9,0) c Good_5 : 679
76.79/12.09	c (9,0) c Good_6 : 744
76.79/12.09	c (9,0) c Good_7 : 692
76.79/12.09	c (9,0) c Good_total : 5634
76.79/12.09	c (9,0) c Good_winner : 729
76.79/12.09	c (9,0) c Purge_0 : 93080
76.79/12.09	c (9,0) c Purge_1 : 92558
76.79/12.09	c (9,0) c Purge_2 : 92145
76.79/12.09	c (9,0) c Purge_3 : 92986
76.79/12.09	c (9,0) c Purge_4 : 91462
76.79/12.09	c (9,0) c Purge_5 : 92034
76.79/12.09	c (9,0) c Purge_6 : 92028
76.79/12.09	c (9,0) c Purge_7 : 93176
76.79/12.09	c (9,0) c Purge_total : 739469
76.79/12.09	c (9,0) c Purge_winner : 92145
76.79/12.09	c (9,0) c Promoted_0 : 5784
76.79/12.09	c (9,0) c Promoted_1 : 5919
76.79/12.09	c (9,0) c Promoted_2 : 5479
76.79/12.09	c (9,0) c Promoted_3 : 6100
76.79/12.09	c (9,0) c Promoted_4 : 5935
76.79/12.09	c (9,0) c Promoted_5 : 6185
76.79/12.09	c (9,0) c Promoted_6 : 6360
76.79/12.09	c (9,0) c Promoted_7 : 6708
76.79/12.09	c (9,0) c Promoted_total : 48470
76.79/12.09	c (9,0) c Promoted_winner : 5479
76.79/12.09	c (9,0) c Remove_Imp_0 : 42845
76.79/12.09	c (9,0) c Remove_Imp_1 : 43133
76.79/12.09	c (9,0) c Remove_Imp_2 : 51142
76.79/12.09	c (9,0) c Remove_Imp_3 : 57972
76.79/12.09	c (9,0) c Remove_Imp_4 : 56463
76.79/12.09	c (9,0) c Remove_Imp_5 : 53599
76.79/12.09	c (9,0) c Remove_Imp_6 : 56608
76.79/12.09	c (9,0) c Remove_Imp_7 : 37093
76.79/12.09	c (9,0) c Remove_Imp_total : 398855
76.79/12.09	c (9,0) c Remove_Imp_winner : 51142
76.79/12.09	c (9,0) c Blocked_Reuse_0 : 0
76.79/12.09	c (9,0) c Blocked_Reuse_1 : 0
76.79/12.09	c (9,0) c Blocked_Reuse_2 : 0
76.79/12.09	c (9,0) c Blocked_Reuse_3 : 0
76.79/12.09	c (9,0) c Blocked_Reuse_4 : 0
76.79/12.09	c (9,0) c Blocked_Reuse_5 : 0
76.79/12.09	c (9,0) c Blocked_Reuse_6 : 0
76.79/12.09	c (9,0) c Blocked_Reuse_7 : 0
76.79/12.09	c (9,0) c Blocked_Reuse_total : 0
76.79/12.09	c (9,0) c Blocked_Reuse_winner : 0
76.79/12.09	c (9,0) c Unaries_0 : 1
76.79/12.09	c (9,0) c Unaries_1 : 2
76.79/12.09	c (9,0) c Unaries_2 : 0
76.79/12.09	c (9,0) c Unaries_3 : 1
76.79/12.09	c (9,0) c Unaries_4 : 1
76.79/12.09	c (9,0) c Unaries_5 : 0
76.79/12.09	c (9,0) c Unaries_6 : 0
76.79/12.09	c (9,0) c Unaries_7 : 1
76.79/12.09	c (9,0) c Unaries_total : 6
76.79/12.09	c (9,0) c Unaries_winner : 0
76.79/12.09	c (9,0) c Binaries_0 : 80
76.79/12.09	c (9,0) c Binaries_1 : 124
76.79/12.09	c (9,0) c Binaries_2 : 81
76.79/12.09	c (9,0) c Binaries_3 : 163
76.79/12.09	c (9,0) c Binaries_4 : 84
76.79/12.09	c (9,0) c Binaries_5 : 125
76.79/12.09	c (9,0) c Binaries_6 : 85
76.79/12.09	c (9,0) c Binaries_7 : 118
76.79/12.09	c (9,0) c Binaries_total : 860
76.79/12.09	c (9,0) c Binaries_winner : 81
76.79/12.09	c (9,0) c Glues_0 : 238
76.79/12.09	c (9,0) c Glues_1 : 325
76.79/12.09	c (9,0) c Glues_2 : 224
76.79/12.09	c (9,0) c Glues_3 : 384
76.79/12.09	c (9,0) c Glues_4 : 240
76.79/12.09	c (9,0) c Glues_5 : 352
76.79/12.09	c (9,0) c Glues_6 : 224
76.79/12.09	c (9,0) c Glues_7 : 316
76.79/12.09	c (9,0) c Glues_total : 2303
76.79/12.09	c (9,0) c Glues_winner : 224
76.79/12.09	c (9,0) c RunningTime_0 : 8.726217
76.79/12.09	c (9,0) c RunningTime_1 : 8.793890
76.79/12.09	c (9,0) c RunningTime_2 : 8.587090
76.79/12.09	c (9,0) c RunningTime_3 : 8.674412
76.79/12.09	c (9,0) c RunningTime_4 : 8.688744
76.79/12.09	c (9,0) c RunningTime_5 : 8.843867
76.79/12.09	c (9,0) c RunningTime_6 : 8.660274
76.79/12.09	c (9,0) c RunningTime_7 : 8.607020
76.79/12.09	c (9,0) c RunningTime_total : 69.581513
76.79/12.09	c (9,0) c RunningTime_winner : 8.587090
76.79/12.09	c (9,0) c WaitingTime_0 : 0.000100
76.79/12.09	c (9,0) c WaitingTime_1 : 0.000074
76.79/12.09	c (9,0) c WaitingTime_2 : 0.000099
76.79/12.09	c (9,0) c WaitingTime_3 : 0.000091
76.79/12.09	c (9,0) c WaitingTime_4 : 0.000114
76.79/12.09	c (9,0) c WaitingTime_5 : 0.000078
76.79/12.09	c (9,0) c WaitingTime_6 : 0.000110
76.79/12.09	c (9,0) c WaitingTime_7 : 0.000096
76.79/12.09	c (9,0) c WaitingTime_total : 0.000762
76.79/12.09	c (9,0) c WaitingTime_winner : 0.000099
76.79/12.09	c (9,0) c ExchangingTime_0 : 0.043106
76.79/12.09	c (9,0) c ExchangingTime_1 : 0.041930
76.79/12.09	c (9,0) c ExchangingTime_2 : 0.041352
76.79/12.09	c (9,0) c ExchangingTime_3 : 0.037545
76.79/12.09	c (9,0) c ExchangingTime_4 : 0.041065
76.79/12.09	c (9,0) c ExchangingTime_5 : 0.043669
76.79/12.09	c (9,0) c ExchangingTime_6 : 0.044991
76.79/12.09	c (9,0) c ExchangingTime_7 : 0.039623
76.79/12.09	c (9,0) c ExchangingTime_total : 0.333280
76.79/12.09	c (9,0) c ExchangingTime_winner : 0.041352
76.79/12.09	c (9,0) c PeriodProcTime_0 : 0.000679
76.79/12.09	c (9,0) c PeriodProcTime_1 : 0.000520
76.79/12.09	c (9,0) c PeriodProcTime_2 : 0.000638
76.79/12.09	c (9,0) c PeriodProcTime_3 : 0.000529
76.79/12.09	c (9,0) c PeriodProcTime_4 : 0.000650
76.79/12.09	c (9,0) c PeriodProcTime_5 : 0.000582
76.79/12.09	c (9,0) c PeriodProcTime_6 : 0.000628
76.79/12.09	c (9,0) c PeriodProcTime_7 : 0.000510
76.79/12.10	c (9,0) c PeriodProcTime_total : 0.004736
76.79/12.10	c (9,0) c PeriodProcTime_winner : 0.000638
76.79/12.10	c (9,0) c SolvingTime_0 : 8.770102
76.79/12.10	c (9,0) c SolvingTime_1 : 8.836414
76.79/12.10	c (9,0) c SolvingTime_2 : 8.629179
76.79/12.10	c (9,0) c SolvingTime_3 : 8.712578
76.79/12.10	c (9,0) c SolvingTime_4 : 8.730572
76.79/12.10	c (9,0) c SolvingTime_5 : 8.888195
76.79/12.10	c (9,0) c SolvingTime_6 : 8.706003
76.79/12.10	c (9,0) c SolvingTime_7 : 8.647249
76.79/12.10	c (9,0) c SolvingTime_total : 69.920291
76.79/12.10	c (9,0) c SolvingTime_winner : 8.629179
76.79/12.10	c (9,0) c PropagationTime_0 : 6.008352
76.79/12.10	c (9,0) c PropagationTime_1 : 6.041118
76.79/12.10	c (9,0) c PropagationTime_2 : 5.999367
76.79/12.10	c (9,0) c PropagationTime_3 : 6.170303
76.79/12.10	c (9,0) c PropagationTime_4 : 5.924788
76.79/12.10	c (9,0) c PropagationTime_5 : 6.411173
76.79/12.10	c (9,0) c PropagationTime_6 : 6.106178
76.79/12.10	c (9,0) c PropagationTime_7 : 6.208198
76.79/12.10	c (9,0) c PropagationTime_total : 48.869478
76.79/12.10	c (9,0) c PropagationTime_winner : 5.999367
76.79/12.10	c (9,0) c AnalysisTime_0 : 2.389333
76.79/12.10	c (9,0) c AnalysisTime_1 : 2.435620
76.79/12.10	c (9,0) c AnalysisTime_2 : 2.235091
76.79/12.10	c (9,0) c AnalysisTime_3 : 2.145947
76.79/12.10	c (9,0) c AnalysisTime_4 : 2.413756
76.79/12.10	c (9,0) c AnalysisTime_5 : 2.065678
76.79/12.10	c (9,0) c AnalysisTime_6 : 2.219519
76.79/12.10	c (9,0) c AnalysisTime_7 : 2.077430
76.79/12.10	c (9,0) c AnalysisTime_total : 17.982373
76.79/12.10	c (9,0) c AnalysisTime_winner : 2.235091
76.79/12.10	c (9,0) c ReductionTime_0 : 0.081193
76.79/12.10	c (9,0) c ReductionTime_1 : 0.075376
76.79/12.10	c (9,0) c ReductionTime_2 : 0.111599
76.79/12.10	c (9,0) c ReductionTime_3 : 0.107494
76.79/12.10	c (9,0) c ReductionTime_4 : 0.106544
76.79/12.10	c (9,0) c ReductionTime_5 : 0.117041
76.79/12.10	c (9,0) c ReductionTime_6 : 0.105715
76.79/12.10	c (9,0) c ReductionTime_7 : 0.075702
76.79/12.10	c (9,0) c ReductionTime_total : 0.780665
76.79/12.10	c (9,0) c ReductionTime_winner : 0.111599
76.79/12.10	c (9,0) c SimplifyTime_0 : 0.027127
76.79/12.10	c (9,0) c SimplifyTime_1 : 0.020486
76.79/12.10	c (9,0) c SimplifyTime_2 : 0.026304
76.79/12.10	c (9,0) c SimplifyTime_3 : 0.021226
76.79/12.10	c (9,0) c SimplifyTime_4 : 0.021735
76.79/12.10	c (9,0) c SimplifyTime_5 : 0.020698
76.79/12.10	c (9,0) c SimplifyTime_6 : 0.023176
76.79/12.10	c (9,0) c SimplifyTime_7 : 0.021484
76.79/12.10	c (9,0) c SimplifyTime_total : 0.182235
76.79/12.10	c (9,0) c SimplifyTime_winner : 0.026304
76.79/12.10	c (9,0) c UsedRateTime_0 : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_1 : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_2 : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_3 : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_4 : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_5 : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_6 : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_7 : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_total : 0.000000
76.79/12.10	c (9,0) c UsedRateTime_winner : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_0 : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_1 : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_2 : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_3 : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_4 : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_5 : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_6 : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_7 : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_total : 0.000000
76.79/12.10	c (9,0) c OverlapRateTime_winner : 0.000000
76.79/12.10	c (9,0) c
76.79/12.10	c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
76.79/12.10	c (9,0) c
76.79/12.10	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.10	c (9,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
76.79/12.10	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.10	c (9,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
76.79/12.10	c (9,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
76.79/12.10	c (9,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
76.79/12.10	c (9,0) c | Initial random_seed   | 1418302884 | 1211293176 | 1125637758 | 1812189665 | 1230909861 |  184647536 | 1702148535 |  643890427 |
76.79/12.10	c (9,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
76.79/12.10	c (9,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
76.79/12.10	c (9,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
76.79/12.10	c (9,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
76.79/12.10	c (9,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
76.79/12.10	c (9,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
76.79/12.10	c (9,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
76.79/12.10	c (9,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
76.79/12.10	c (9,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
76.79/12.10	c (9,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
76.79/12.10	c (9,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
76.79/12.10	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
76.79/12.10	c (9,0) 
76.79/12.10	c (9,0) s SATISFIABLE
77.00/12.12	c (9,0) SatSolver.solve End
77.00/12.12	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
77.00/12.12	c (9,0) Show results Begin
77.20/12.26	c (9,0) x[0] = 0
77.20/12.26	c (9,0) x[1] = 1
77.20/12.26	c (9,0) x[2] = 0
77.20/12.26	c (9,0) x[3] = 1
77.20/12.26	c (9,0) x[4] = 0
77.20/12.26	c (9,0) x[5] = 0
77.20/12.26	c (9,0) x[6] = 0
77.20/12.26	c (9,0) x[7] = 1
77.20/12.26	c (9,0) x[8] = 0
77.20/12.26	c (9,0) x[9] = 0
77.20/12.26	c (9,0) x[10] = 0
77.20/12.26	c (9,0) x[11] = 0
77.20/12.26	c (9,0) x[12] = 0
77.20/12.26	c (9,0) x[13] = 0
77.20/12.26	c (9,0) x[14] = 0
77.20/12.26	c (9,0) x[15] = 0
77.20/12.26	c (9,0) x[16] = 0
77.20/12.26	c (9,0) x[17] = 1
77.20/12.26	c (9,0) x[18] = 0
77.20/12.26	c (9,0) x[19] = 1
77.20/12.26	c (9,0) x[20] = 0
77.20/12.26	c (9,0) x[21] = 0
77.20/12.26	c (9,0) x[22] = 0
77.20/12.26	c (9,0) x[23] = 1
77.20/12.26	c (9,0) x[24] = 0
77.20/12.26	c (9,0) x[25] = 1
77.20/12.26	c (9,0) x[26] = 0
77.20/12.26	c (9,0) x[27] = 1
77.20/12.26	c (9,0) x[28] = 0
77.20/12.26	c (9,0) x[29] = 0
77.20/12.26	c (9,0) x[30] = 0
77.20/12.26	c (9,0) x[31] = 0
77.20/12.26	c (9,0) x[32] = 0
77.20/12.26	c (9,0) x[33] = 0
77.20/12.26	c (9,0) x[34] = 0
77.20/12.26	c (9,0) x[35] = 0
77.20/12.26	c (9,0) x[36] = 0
77.20/12.26	c (9,0) x[37] = 0
77.20/12.26	c (9,0) x[38] = 0
77.20/12.26	c (9,0) x[39] = 1
77.20/12.26	c (9,0) x[40] = 0
77.20/12.26	c (9,0) x[41] = 0
77.20/12.26	c (9,0) x[42] = 0
77.20/12.26	c (9,0) x[43] = 0
77.20/12.26	c (9,0) x[44] = 0
77.20/12.26	c (9,0) x[45] = 0
77.20/12.26	c (9,0) x[46] = 0
77.20/12.26	c (9,0) x[47] = 1
77.20/12.26	c (9,0) x[48] = 0
77.20/12.26	c (9,0) x[49] = 1
77.20/12.26	c (9,0) x[50] = 0
77.20/12.26	c (9,0) x[51] = 1
77.20/12.26	c (9,0) x[52] = 0
77.20/12.26	c (9,0) x[53] = 0
77.20/12.26	c (9,0) x[54] = 0
77.20/12.26	c (9,0) x[55] = 0
77.20/12.26	c (9,0) x[56] = 0
77.20/12.26	c (9,0) x[57] = 0
77.20/12.26	c (9,0) x[58] = 0
77.20/12.26	c (9,0) x[59] = 0
77.20/12.26	c (9,0) x[60] = 0
77.20/12.26	c (9,0) x[61] = 0
77.20/12.26	c (9,0) x[62] = 0
77.20/12.26	c (9,0) x[63] = 1
77.20/12.26	c (9,0) x[64] = 0
77.20/12.26	c (9,0) x[65] = 0
77.20/12.26	c (9,0) x[66] = 0
77.20/12.26	c (9,0) x[67] = 0
77.20/12.26	c (9,0) x[68] = 0
77.20/12.26	c (9,0) x[69] = 0
77.20/12.26	c (9,0) x[70] = 0
77.20/12.26	c (9,0) x[71] = 1
77.20/12.26	c (9,0) x[72] = 0
77.20/12.26	c (9,0) x[73] = 1
77.20/12.26	c (9,0) x[74] = 0
77.20/12.26	c (9,0) x[75] = 0
77.20/12.26	c (9,0) x[76] = 0
77.20/12.26	c (9,0) x[77] = 0
77.20/12.26	c (9,0) x[78] = 0
77.20/12.26	c (9,0) x[79] = 0
77.20/12.26	c (9,0) x[80] = 0
77.20/12.26	c (9,0) x[81] = 0
77.20/12.26	c (9,0) x[82] = 0
77.20/12.26	c (9,0) x[83] = 1
77.20/12.26	c (9,0) x[84] = 0
77.20/12.26	c (9,0) x[85] = 0
77.20/12.27	c (9,0) x[86] = 0
77.20/12.27	c (9,0) x[87] = 0
77.20/12.27	c (9,0) x[88] = 0
77.20/12.27	c (9,0) x[89] = 0
77.20/12.27	c (9,0) x[90] = 0
77.20/12.27	c (9,0) x[91] = 0
77.20/12.27	c (9,0) x[92] = 0
77.20/12.27	c (9,0) x[93] = 0
77.20/12.27	c (9,0) x[94] = 0
77.20/12.27	c (9,0) x[95] = 0
77.20/12.27	c (9,0) x[96] = 0
77.20/12.27	c (9,0) x[97] = 0
77.20/12.27	c (9,0) x[98] = 0
77.20/12.27	c (9,0) x[99] = 0
77.20/12.27	c (9,0) x[100] = 1
77.20/12.27	c (9,0) x[101] = 0
77.20/12.27	c (9,0) x[102] = 0
77.20/12.27	c (9,0) x[103] = 0
77.20/12.27	c (9,0) x[104] = 0
77.20/12.27	c (9,0) x[105] = 0
77.20/12.27	c (9,0) x[106] = 0
77.20/12.27	c (9,0) x[107] = 0
77.20/12.27	c (9,0) x[108] = 1
77.20/12.27	c (9,0) x[109] = 0
77.20/12.27	c (9,0) x[110] = 0
77.20/12.27	c (9,0) x[111] = 0
77.20/12.27	c (9,0) x[112] = 0
77.20/12.27	c (9,0) x[113] = 0
77.20/12.27	c (9,0) x[114] = 0
77.20/12.27	c (9,0) x[115] = 0
77.20/12.27	c (9,0) x[116] = 0
77.20/12.27	c (9,0) x[117] = 0
77.20/12.27	c (9,0) x[118] = 0
77.20/12.27	c (9,0) x[119] = 0
77.20/12.27	c (9,0) x[120] = 0
77.20/12.27	c (9,0) x[121] = 0
77.20/12.27	c (9,0) x[122] = 0
77.20/12.27	c (9,0) x[123] = 0
77.20/12.27	c (9,0) x[124] = 1
77.20/12.27	c (9,0) x[125] = 0
77.20/12.27	c (9,0) x[126] = 0
77.20/12.27	c (9,0) x[127] = 0
77.20/12.27	c (9,0) x[128] = 0
77.20/12.27	c (9,0) x[129] = 0
77.20/12.27	c (9,0) x[130] = 0
77.20/12.27	c (9,0) x[131] = 0
77.20/12.27	c (9,0) x[132] = 0
77.20/12.27	c (9,0) x[133] = 0
77.20/12.27	c (9,0) x[134] = 0
77.20/12.27	c (9,0) x[135] = 0
77.20/12.27	c (9,0) x[136] = 0
77.20/12.27	c (9,0) x[137] = 0
77.20/12.27	c (9,0) x[138] = 0
77.20/12.27	c (9,0) x[139] = 0
77.20/12.27	c (9,0) x[140] = 1
77.20/12.27	c (9,0) x[141] = 0
77.20/12.27	c (9,0) x[142] = 0
77.20/12.27	c (9,0) x[143] = 0
77.20/12.27	c (9,0) x[144] = 0
77.20/12.27	c (9,0) x[145] = 0
77.20/12.27	c (9,0) x[146] = 0
77.20/12.27	c (9,0) x[147] = 0
77.20/12.27	c (9,0) x[148] = 0
77.20/12.27	c (9,0) x[149] = 0
77.20/12.27	c (9,0) x[150] = 0
77.20/12.27	c (9,0) x[151] = 0
77.20/12.27	c (9,0) x[152] = 1
77.20/12.27	c (9,0) x[153] = 0
77.20/12.27	c (9,0) x[154] = 0
77.20/12.27	c (9,0) x[155] = 1
77.20/12.27	c (9,0) x[156] = 0
77.20/12.27	c (9,0) x[157] = 0
77.20/12.27	c (9,0) x[158] = 0
77.20/12.27	c (9,0) x[159] = 0
77.20/12.27	c (9,0) x[160] = 0
77.20/12.27	c (9,0) x[161] = 0
77.20/12.27	c (9,0) x[162] = 0
77.20/12.27	c (9,0) x[163] = 0
77.20/12.27	c (9,0) x[164] = 0
77.20/12.27	c (9,0) x[165] = 0
77.20/12.27	c (9,0) x[166] = 0
77.20/12.27	c (9,0) x[167] = 0
77.20/12.27	c (9,0) x[168] = 0
77.20/12.27	c (9,0) x[169] = 0
77.20/12.27	c (9,0) x[170] = 0
77.20/12.27	c (9,0) x[171] = 0
77.20/12.27	c (9,0) x[172] = 0
77.20/12.27	c (9,0) x[173] = 0
77.20/12.27	c (9,0) x[174] = 0
77.20/12.27	c (9,0) x[175] = 0
77.20/12.27	c (9,0) x[176] = 0
77.20/12.27	c (9,0) x[177] = 0
77.20/12.27	c (9,0) x[178] = 0
77.20/12.27	c (9,0) x[179] = 0
77.20/12.27	c (9,0) x[180] = 0
77.20/12.27	c (9,0) x[181] = 0
77.20/12.27	c (9,0) x[182] = 0
77.20/12.27	c (9,0) x[183] = 0
77.20/12.27	c (9,0) x[184] = 1
77.20/12.27	c (9,0) x[185] = 0
77.20/12.27	c (9,0) x[186] = 1
77.20/12.27	c (9,0) x[187] = 0
77.20/12.27	c (9,0) x[188] = 1
77.20/12.27	c (9,0) x[189] = 0
77.20/12.27	c (9,0) x[190] = 0
77.20/12.27	c (9,0) x[191] = 0
77.20/12.27	c (9,0) x[192] = 0
77.20/12.27	c (9,0) x[193] = 0
77.20/12.27	c (9,0) x[194] = 0
77.20/12.27	c (9,0) x[195] = 0
77.20/12.27	c (9,0) x[196] = 1
77.20/12.27	c (9,0) x[197] = 0
77.20/12.27	c (9,0) x[198] = 0
77.20/12.27	c (9,0) x[199] = 0
77.20/12.27	c (9,0) x[200] = 0
77.20/12.27	c (9,0) x[201] = 0
77.20/12.27	c (9,0) x[202] = 0
77.20/12.27	c (9,0) x[203] = 0
77.20/12.27	c (9,0) x[204] = 0
77.20/12.27	c (9,0) x[205] = 0
77.20/12.27	c (9,0) x[206] = 1
77.20/12.27	c (9,0) x[207] = 0
77.20/12.27	c (9,0) x[208] = 1
77.20/12.27	c (9,0) x[209] = 0
77.20/12.27	c (9,0) x[210] = 1
77.20/12.27	c (9,0) x[211] = 0
77.20/12.27	c (9,0) x[212] = 1
77.20/12.27	c (9,0) x[213] = 0
77.20/12.27	c (9,0) x[214] = 0
77.20/12.27	c (9,0) x[215] = 0
77.20/12.27	c (9,0) x[216] = 0
77.20/12.27	c (9,0) x[217] = 0
77.20/12.27	c (9,0) x[218] = 0
77.20/12.27	c (9,0) x[219] = 0
77.20/12.27	c (9,0) x[220] = 0
77.20/12.27	c (9,0) x[221] = 0
77.20/12.27	c (9,0) x[222] = 0
77.20/12.27	c (9,0) x[223] = 0
77.20/12.27	c (9,0) x[224] = 0
77.20/12.27	c (9,0) x[225] = 0
77.20/12.27	c (9,0) x[226] = 0
77.20/12.27	c (9,0) x[227] = 0
77.20/12.27	c (9,0) x[228] = 1
77.20/12.27	c (9,0) x[229] = 0
77.20/12.27	c (9,0) x[230] = 1
77.20/12.27	c (9,0) x[231] = 0
77.20/12.27	c (9,0) x[232] = 1
77.20/12.27	c (9,0) x[233] = 0
77.20/12.27	c (9,0) x[234] = 1
77.20/12.27	c (9,0) x[235] = 0
77.20/12.27	c (9,0) x[236] = 0
77.20/12.27	c (9,0) x[237] = 0
77.20/12.27	c (9,0) x[238] = 0
77.20/12.27	c (9,0) x[239] = 0
77.20/12.27	c (9,0) x[240] = 0
77.20/12.27	c (9,0) x[241] = 0
77.20/12.27	c (9,0) x[242] = 1
77.20/12.27	c (9,0) x[243] = 0
77.20/12.27	c (9,0) x[244] = 1
77.20/12.27	c (9,0) x[245] = 0
77.20/12.27	c (9,0) x[246] = 1
77.20/12.27	c (9,0) x[247] = 0
77.20/12.27	c (9,0) x[248] = 1
77.20/12.27	c (9,0) x[249] = 0
77.20/12.27	c (9,0) x[250] = 0
77.20/12.27	c (9,0) x[251] = 1
77.20/12.27	c (9,0) x[252] = 0
77.20/12.27	c (9,0) x[253] = 1
77.20/12.27	c (9,0) x[254] = 0
77.20/12.27	c (9,0) x[255] = 1
77.20/12.27	c (9,0) x[256] = 1
77.20/12.27	c (9,0) x[257] = 0
77.20/12.27	c (9,0) x[258] = 0
77.20/12.27	c (9,0) x[259] = 1
77.20/12.27	c (9,0) x[260] = 0
77.20/12.27	c (9,0) x[261] = 1
77.20/12.27	c (9,0) x[262] = 0
77.20/12.27	c (9,0) x[263] = 1
77.20/12.27	c (9,0) x[264] = 1
77.20/12.27	c (9,0) x[265] = 0
77.20/12.27	c (9,0) x[266] = 1
77.20/12.27	c (9,0) x[267] = 0
77.20/12.27	c (9,0) x[268] = 1
77.20/12.27	c (9,0) x[269] = 0
77.20/12.27	c (9,0) x[270] = 1
77.20/12.27	c (9,0) x[271] = 0
77.20/12.27	c (9,0) x[272] = 0
77.20/12.27	c (9,0) x[273] = 1
77.20/12.27	c (9,0) x[274] = 0
77.20/12.27	c (9,0) x[275] = 1
77.20/12.27	c (9,0) x[276] = 0
77.20/12.27	c (9,0) x[277] = 1
77.20/12.27	c (9,0) x[278] = 0
77.20/12.27	c (9,0) x[279] = 1
77.20/12.27	c (9,0) x[280] = 1
77.20/12.27	c (9,0) x[281] = 0
77.20/12.27	c (9,0) x[282] = 1
77.20/12.27	c (9,0) x[283] = 0
77.20/12.27	c (9,0) x[284] = 0
77.20/12.27	c (9,0) x[285] = 1
77.20/12.27	c (9,0) x[286] = 1
77.20/12.27	c (9,0) x[287] = 0
77.20/12.27	c (9,0) x[288] = 1
77.20/12.27	c (9,0) x[289] = 0
77.20/12.27	c (9,0) x[290] = 0
77.20/12.27	c (9,0) x[291] = 1
77.20/12.27	c (9,0) x[292] = 0
77.20/12.27	c (9,0) x[293] = 1
77.20/12.27	c (9,0) x[294] = 0
77.20/12.27	c (9,0) x[295] = 1
77.20/12.27	c (9,0) x[296] = 0
77.20/12.27	c (9,0) x[297] = 1
77.20/12.27	c (9,0) x[298] = 0
77.20/12.27	c (9,0) x[299] = 1
77.20/12.27	c (9,0) x[300] = 1
77.20/12.27	c (9,0) x[301] = 0
77.20/12.27	c (9,0) x[302] = 0
77.20/12.27	c (9,0) x[303] = 0
77.20/12.27	c (9,0) x[304] = 0
77.20/12.27	c (9,0) x[305] = 0
77.20/12.27	c (9,0) x[306] = 0
77.20/12.27	c (9,0) x[307] = 0
77.20/12.27	c (9,0) x[308] = 1
77.20/12.27	c (9,0) x[309] = 0
77.20/12.27	c (9,0) x[310] = 1
77.20/12.27	c (9,0) x[311] = 0
77.20/12.27	c (9,0) x[312] = 1
77.20/12.27	c (9,0) x[313] = 0
77.20/12.27	c (9,0) x[314] = 1
77.20/12.27	c (9,0) x[315] = 0
77.20/12.27	c (9,0) x[316] = 1
77.20/12.27	c (9,0) x[317] = 0
77.20/12.27	c (9,0) x[318] = 1
77.20/12.27	c (9,0) x[319] = 0
77.20/12.27	c (9,0) x[320] = 1
77.20/12.27	c (9,0) x[321] = 0
77.20/12.27	c (9,0) x[322] = 1
77.20/12.27	c (9,0) x[323] = 0
77.20/12.27	c (9,0) x[324] = 1
77.20/12.27	c (9,0) x[325] = 0
77.20/12.27	c (9,0) x[326] = 1
77.20/12.27	c (9,0) x[327] = 0
77.20/12.27	c (9,0) x[328] = 0
77.20/12.27	c (9,0) x[329] = 1
77.20/12.27	c (9,0) x[330] = 1
77.20/12.27	c (9,0) x[331] = 0
77.20/12.27	c (9,0) x[332] = 0
77.20/12.27	c (9,0) x[333] = 1
77.20/12.27	c (9,0) x[334] = 0
77.20/12.27	c (9,0) x[335] = 1
77.20/12.27	c (9,0) x[336] = 0
77.20/12.27	c (9,0) x[337] = 1
77.20/12.27	c (9,0) x[338] = 0
77.20/12.27	c (9,0) x[339] = 1
77.20/12.27	c (9,0) x[340] = 0
77.20/12.27	c (9,0) x[341] = 1
77.20/12.27	c (9,0) x[342] = 0
77.20/12.27	c (9,0) x[343] = 1
77.20/12.27	c (9,0) x[344] = 0
77.20/12.27	c (9,0) x[345] = 1
77.20/12.27	c (9,0) x[346] = 0
77.20/12.27	c (9,0) x[347] = 0
77.20/12.27	c (9,0) x[348] = 0
77.20/12.27	c (9,0) x[349] = 0
77.20/12.27	c (9,0) x[350] = 0
77.20/12.27	c (9,0) x[351] = 0
77.20/12.27	c (9,0) x[352] = 1
77.20/12.27	c (9,0) x[353] = 0
77.20/12.27	c (9,0) x[354] = 1
77.20/12.27	c (9,0) x[355] = 0
77.20/12.27	c (9,0) x[356] = 1
77.20/12.27	c (9,0) x[357] = 0
77.20/12.27	c (9,0) x[358] = 0
77.20/12.27	c (9,0) x[359] = 1
77.20/12.27	c (9,0) x[360] = 1
77.20/12.27	c (9,0) x[361] = 0
77.20/12.27	c (9,0) x[362] = 0
77.20/12.27	c (9,0) x[363] = 1
77.20/12.27	c (9,0) x[364] = 1
77.20/12.27	c (9,0) x[365] = 0
77.20/12.27	c (9,0) x[366] = 0
77.20/12.27	c (9,0) x[367] = 1
77.20/12.27	c (9,0) x[368] = 1
77.20/12.27	c (9,0) x[369] = 0
77.20/12.27	s SATISFIABLE
77.20/12.28	v <instantiation>
77.20/12.28	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369]</list>
77.20/12.28	v     <values>0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0</values>
77.20/12.28	v </instantiation>
77.20/12.28	c (9,0) Show results End
77.20/12.28	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
77.20/12.28	c (9,0) 9,9,STOP-AFTER(ALL)
77.20/12.28	c END-Prog: Tue Sep 24 21:59:11 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (15464 MiB free)
  memory of node 1: 16384 MiB (9231 MiB free)
  node distances:
     10  21
     21  10

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

running on 8 cores: 0-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 threader pid=9148
Starting watchdog threader pid=9148
tack expansion will fail
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 8.60 8.47 8.36 2/211 9173
/proc/meminfo: memFree=25194624/32770688 swapFree=67001288/67108860
[pid=9151] ppid=9148 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9151/stat : 9151 (scop.sh) S 9148 9151 8345 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 511459649 115843072 349 33554432000 4194304 5098028 140726874555072 140726874552328 140013841658492 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25169920 140726874559268 140726874559596 140726874559596 140726874562509 0
/proc/9151/statm: 28282 349 296 221 0 87 0
[pid=9154] ppid=9151 vsize=27314120 memory=105352 CPUtime=0.1 cores=0-7
/proc/9154/stat : 9154 (java) S 9151 9151 8345 0 -1 1077944320 6417 0 0 0 8 2 0 0 20 0 20 0 511459650 27969658880 26338 33554432000 4194304 4196468 140728860922688 140728860905232 139833717907191 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
/proc/9154/statm: 6828530 26338 2780 1 0 6790935 0
[pid=9154/tid=9155] ppid=9151 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/9154/task/9155/stat : 9155 (java) R 9151 9151 8345 0 -1 4202560 4544 0 0 0 7 2 0 0 20 0 20 0 511459650 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833689742320 139833717929117 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9156] ppid=9151 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9154/task/9156/stat : 9156 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833722149776 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9157] ppid=9151 vsize=27314120 memory=139646328882816 CPUtime=0 cores=0-7
/proc/9154/task/9157/stat : 9157 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833536305936 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9158] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9158/stat : 9158 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833535253648 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9159] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9159/stat : 9159 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833534200848 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9160] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9160/stat : 9160 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833533147536 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9161] ppid=9151 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9154/task/9161/stat : 9161 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833136281872 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9162] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9162/stat : 9162 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833135229584 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9163] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9163/stat : 9163 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 26338 33554432000 4194304 4196468 140728860922688 139833134176784 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9164] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9164/stat : 9164 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459654 27969658880 26338 33554432000 4194304 4196468 140728860922688 139832038038128 139833717918338 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9165] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9165/stat : 9165 (java) S 9151 9151 8345 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511459655 27969658880 26338 33554432000 4194304 4196468 140728860922688 139831518684448 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9166] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9166/stat : 9166 (java) S 9151 9151 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511459655 27969658880 26338 33554432000 4194304 4196468 140728860922688 139831384462960 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9167] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9167/stat : 9167 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 26338 33554432000 4194304 4196468 140728860922688 139831009958480 139833717925787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9168] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9168/stat : 9168 (java) S 9151 9151 8345 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 26338 33554432000 4194304 4196468 140728860922688 139832036984944 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9169] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9169/stat : 9169 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 26338 33554432000 4194304 4196468 140728860922688 139832035932144 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9170] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9170/stat : 9170 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 26338 33554432000 4194304 4196468 140728860922688 139832034879856 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9171] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9171/stat : 9171 (java) R 9151 9151 8345 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 26338 33554432000 4194304 4196468 140728860922688 139832033827056 139833717928538 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9172] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9172/stat : 9172 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459658 27969658880 26338 33554432000 4194304 4196468 140728860922688 139830512053088 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9173] ppid=9151 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9154/task/9173/stat : 9173 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459658 27969658880 26338 33554432000 4194304 4196468 140728860922688 139832032774960 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106748 KiB

[startup+0.211539 s]*
/proc/loadavg: 8.60 8.47 8.36 2/211 9173
/proc/meminfo: memFree=25175912/32770688 swapFree=67001288/67108860
[pid=9151] ppid=9148 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9151/stat : 9151 (scop.sh) S 9148 9151 8345 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 511459649 115843072 349 33554432000 4194304 5098028 140726874555072 140726874552328 140013841658492 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25169920 140726874559268 140726874559596 140726874559596 140726874562509 0
/proc/9151/statm: 28282 349 296 221 0 87 0
[pid=9154] ppid=9151 vsize=27314120 memory=124756 CPUtime=0.24 cores=0-7
/proc/9154/stat : 9154 (java) S 9151 9151 8345 0 -1 1077944320 12023 0 0 0 20 4 0 0 20 0 20 0 511459650 27969658880 31189 33554432000 4194304 4196468 140728860922688 140728860905232 139833717907191 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
/proc/9154/statm: 6828530 31189 2924 1 0 6790935 0
[pid=9154/tid=9155] ppid=9151 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9154/task/9155/stat : 9155 (java) R 9151 9151 8345 0 -1 4202560 9794 0 0 0 16 3 0 0 20 0 20 0 511459650 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833689706576 139833701987678 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9156] ppid=9151 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/9154/task/9156/stat : 9156 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833722149776 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9157] ppid=9151 vsize=27314120 memory=139646328900752 CPUtime=0 cores=0-7
/proc/9154/task/9157/stat : 9157 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833536305936 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9158] ppid=9151 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9154/task/9158/stat : 9158 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833535253648 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9159] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9159/stat : 9159 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833534200848 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9160] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9160/stat : 9160 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833533147536 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9161] ppid=9151 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9154/task/9161/stat : 9161 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833136281872 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9162] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9162/stat : 9162 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833135229584 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9163] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9163/stat : 9163 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 31189 33554432000 4194304 4196468 140728860922688 139833134176784 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9164] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9164/stat : 9164 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459654 27969658880 31189 33554432000 4194304 4196468 140728860922688 139832038038128 139833717918338 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9165] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9165/stat : 9165 (java) S 9151 9151 8345 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511459655 27969658880 31189 33554432000 4194304 4196468 140728860922688 139831518684448 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9166] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9166/stat : 9166 (java) S 9151 9151 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511459655 27969658880 31189 33554432000 4194304 4196468 140728860922688 139831384462960 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9167] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9167/stat : 9167 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 31189 33554432000 4194304 4196468 140728860922688 139831009958480 139833717925787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9168] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9168/stat : 9168 (java) S 9151 9151 8345 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 31189 33554432000 4194304 4196468 140728860922688 139832036984944 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9169] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9169/stat : 9169 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 31189 33554432000 4194304 4196468 140728860922688 139832035932144 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9170] ppid=9151 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9154/task/9170/stat : 9170 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 31189 33554432000 4194304 4196468 140728860922688 139832034879856 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9171] ppid=9151 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9154/task/9171/stat : 9171 (java) S 9151 9151 8345 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 20 0 511459657 27969658880 31189 33554432000 4194304 4196468 140728860922688 139832033827056 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9172] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9172/stat : 9172 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459658 27969658880 31189 33554432000 4194304 4196468 140728860922688 139830512053088 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9173] ppid=9151 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9154/task/9173/stat : 9173 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459658 27969658880 31189 33554432000 4194304 4196468 140728860922688 139832032774960 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126152 KiB

[startup+0.31163 s]*
/proc/loadavg: 8.60 8.47 8.36 2/211 9173
/proc/meminfo: memFree=25172136/32770688 swapFree=67001288/67108860
[pid=9151] ppid=9148 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9151/stat : 9151 (scop.sh) S 9148 9151 8345 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 511459649 115843072 349 33554432000 4194304 5098028 140726874555072 140726874552328 140013841658492 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25169920 140726874559268 140726874559596 140726874559596 140726874562509 0
/proc/9151/statm: 28282 349 296 221 0 87 0
[pid=9154] ppid=9151 vsize=27314120 memory=128380 CPUtime=0.43 cores=0-7
/proc/9154/stat : 9154 (java) S 9151 9151 8345 0 -1 1077944320 12420 0 0 0 39 4 0 0 20 0 20 0 511459650 27969658880 32095 33554432000 4194304 4196468 140728860922688 140728860905232 139833717907191 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
/proc/9154/statm: 6828530 32095 3061 1 0 6790935 0
[pid=9154/tid=9155] ppid=9151 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/9154/task/9155/stat : 9155 (java) R 9151 9151 8345 0 -1 4202560 9962 0 0 0 26 4 0 0 20 0 20 0 511459650 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833689732352 139833701987708 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9156] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9156/stat : 9156 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833722149776 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9157] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9157/stat : 9157 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833536305936 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9158] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9158/stat : 9158 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833535253648 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9159] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9159/stat : 9159 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833534200848 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9160] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9160/stat : 9160 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833533147536 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9161] ppid=9151 vsize=27314120 memory=139646231210671 CPUtime=0 cores=0-7
/proc/9154/task/9161/stat : 9161 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833136281872 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9162] ppid=9151 vsize=27314120 memory=139646231212976 CPUtime=0 cores=0-7
/proc/9154/task/9162/stat : 9162 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833135229584 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9163] ppid=9151 vsize=27314120 memory=139646231215280 CPUtime=0 cores=0-7
/proc/9154/task/9163/stat : 9163 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27969658880 32095 33554432000 4194304 4196468 140728860922688 139833134176784 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9164] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9164/stat : 9164 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459654 27969658880 32095 33554432000 4194304 4196468 140728860922688 139832038038128 139833717918338 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9165] ppid=9151 vsize=27314120 memory=279292462444432 CPUtime=0 cores=0-7
/proc/9154/task/9165/stat : 9165 (java) S 9151 9151 8345 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511459655 27969658880 32095 33554432000 4194304 4196468 140728860922688 139831518684448 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9166] ppid=9151 vsize=27314120 memory=279292462442128 CPUtime=0 cores=0-7
/proc/9154/task/9166/stat : 9166 (java) S 9151 9151 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511459655 27969658880 32095 33554432000 4194304 4196468 140728860922688 139831384462960 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9167] ppid=9151 vsize=27314120 memory=279292462449040 CPUtime=0 cores=0-7
/proc/9154/task/9167/stat : 9167 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 32095 33554432000 4194304 4196468 140728860922688 139831009958480 139833717925787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9168] ppid=9151 vsize=27314120 memory=279292462390288 CPUtime=0.01 cores=0-7
/proc/9154/task/9168/stat : 9168 (java) S 9151 9151 8345 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 20 0 511459657 27969658880 32095 33554432000 4194304 4196468 140728860922688 139832036984944 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9169] ppid=9151 vsize=27314120 memory=279292462462864 CPUtime=0.01 cores=0-7
/proc/9154/task/9169/stat : 9169 (java) S 9151 9151 8345 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 511459657 27969658880 32095 33554432000 4194304 4196468 140728860922688 139832035932144 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9170] ppid=9151 vsize=27314120 memory=279292462469776 CPUtime=0 cores=0-7
/proc/9154/task/9170/stat : 9170 (java) S 9151 9151 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511459657 27969658880 32095 33554432000 4194304 4196468 140728860922688 139832034879856 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9171] ppid=9151 vsize=27314120 memory=279292462467472 CPUtime=0.07 cores=0-7
/proc/9154/task/9171/stat : 9171 (java) S 9151 9151 8345 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 20 0 511459657 27969658880 32095 33554432000 4194304 4196468 140728860922688 139832033827056 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9172] ppid=9151 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9172/stat : 9172 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511459658 27969658880 32095 33554432000 4194304 4196468 140728860922688 139830512053088 139833717917397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9173] ppid=9151 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9154/task/9173/stat : 9173 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459658 27969658880 32095 33554432000 4194304 4196468 140728860922688 139832032774960 139833717918338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129776 KiB

[startup+0.701041 s]
/proc/loadavg: 8.60 8.47 8.36 2/211 9173
/proc/meminfo: memFree=25161608/32770688 swapFree=67001288/67108860
[pid=9151] ppid=9148 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9151/stat : 9151 (scop.sh) S 9148 9151 8345 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 511459649 115843072 349 33554432000 4194304 5098028 140726874555072 140726874552328 140013841658492 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25169920 140726874559268 140726874559596 140726874559596 140726874562509 0
/proc/9151/statm: 28282 349 296 221 0 87 0
[pid=9154] ppid=9151 vsize=27320392 memory=157884 CPUtime=0.91 cores=0-7
/proc/9154/stat : 9154 (java) S 9151 9151 8345 0 -1 1077944320 19121 0 0 0 84 7 0 0 20 0 20 0 511459650 27976081408 39471 33554432000 4194304 4196468 140728860922688 140728860905232 139833717907191 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
/proc/9154/statm: 6830098 39471 3133 1 0 6791447 0
[pid=9154/tid=9155] ppid=9151 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/9154/task/9155/stat : 9155 (java) R 9151 9151 8345 0 -1 4202560 16470 0 0 0 62 6 0 0 20 0 20 0 511459650 27976081408 39471 33554432000 4194304 4196468 140728860922688 139833689728672 139833701987678 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9156] ppid=9151 vsize=27320392 memory=139646231421808 CPUtime=0 cores=0-7
/proc/9154/task/9156/stat : 9156 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511459652 27976081408 39471 33554432000 4194304 4196468 140728860922688 139833722149776 139833717917397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9157] ppid=9151 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9154/task/9157/stat : 9157 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511459652 27976081408 39471 33554432000 4194304 4196468 140728860922688 139833536305936 139833717917397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27099136 140728860926699 140728860927126 140728860927126 140728860929999 0
[pid=9154/tid=9158] ppid=9151 vsize=27320392 memory=1564 CPUtime=0 cores=0-7

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

/proc/9174/task/9180/stat : 9180 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155366472592 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9181] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9181/stat : 9181 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155365419792 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9182] ppid=9151 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/9174/task/9182/stat : 9182 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155364367504 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9183] ppid=9151 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/9174/task/9183/stat : 9183 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155363314704 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9184] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9184/stat : 9184 (java) S 9151 9151 8345 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511459881 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154842876016 140155884456578 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9185] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9185/stat : 9185 (java) S 9151 9151 8345 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511459881 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154446537504 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9186] ppid=9151 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9174/task/9186/stat : 9186 (java) S 9151 9151 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511459882 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154312316016 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9187] ppid=9151 vsize=8414124 memory=123840 CPUtime=0 cores=0-7
/proc/9174/task/9187/stat : 9187 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140153937811536 140155884464027 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9188] ppid=9151 vsize=8414124 memory=132352 CPUtime=0.14 cores=0-7
/proc/9174/task/9188/stat : 9188 (java) S 9151 9151 8345 0 -1 1077944384 727 0 0 0 14 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154841823856 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9189] ppid=9151 vsize=8414124 memory=2044 CPUtime=0.1 cores=0-7
/proc/9174/task/9189/stat : 9189 (java) S 9151 9151 8345 0 -1 1077944384 422 0 0 0 10 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154840771056 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9190] ppid=9151 vsize=8414124 memory=1368 CPUtime=0.14 cores=0-7
/proc/9174/task/9190/stat : 9190 (java) S 9151 9151 8345 0 -1 1077944384 543 0 0 0 14 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154839718768 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9191] ppid=9151 vsize=8414124 memory=1056 CPUtime=0.25 cores=0-7
/proc/9174/task/9191/stat : 9191 (java) S 9151 9151 8345 0 -1 1077944384 851 0 0 0 25 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154838665968 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9192] ppid=9151 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/9174/task/9192/stat : 9192 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140153439906144 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9193] ppid=9151 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/9174/task/9193/stat : 9193 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511459885 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154837612848 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9195] ppid=9151 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9174/task/9195/stat : 9195 (java) S 9151 9151 8345 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511459965 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155185100096 140155884470041 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9197] ppid=9151 vsize=8414124 memory=123840 CPUtime=0 cores=0-7
/proc/9174/task/9197/stat : 9197 (java) S 9151 9151 8345 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511459966 8616062976 30960 33554432000 4194304 4196468 140731006940992 140152768806832 140155884467357 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9198] ppid=9151 vsize=8414124 memory=155196 CPUtime=0 cores=0-7
/proc/9174/task/9198/stat : 9198 (java) S 9151 9151 8345 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511459966 8616062976 30960 33554432000 4194304 4196468 140731006940992 140153037242160 140155884467357 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9207] ppid=9151 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/9174/task/9207/stat : 9207 (java) S 9151 9151 8345 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511459969 8616062976 30960 33554432000 4194304 4196468 140731006940992 140152500379440 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
Current children cumulated CPU time: 71.02 s
Current children cumulated vsize: 9159864 KiB
Current children cumulated memory: 313552 KiB

[startup+12.0018 s]*
/proc/loadavg: 8.06 8.35 8.32 3/218 9209
/proc/meminfo: memFree=24986992/32770688 swapFree=67001288/67108860
[pid=9151] ppid=9148 vsize=113128 memory=1476 CPUtime=5.61 cores=0-7
/proc/9151/stat : 9151 (scop.sh) S 9148 9151 8345 0 -1 4202496 584 26430 0 0 0 0 545 16 20 0 1 0 511459649 115843072 369 33554432000 4194304 5098028 140726874555072 140726874551816 140013841658492 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25169920 140726874559268 140726874559596 140726874559596 140726874562509 0
/proc/9151/statm: 28282 369 311 221 0 87 0
[pid=9174] ppid=9151 vsize=8414124 memory=123840 CPUtime=1.59 cores=0-7
/proc/9174/stat : 9174 (java) S 9151 9151 8345 0 -1 1077944320 21973 0 0 0 149 10 0 0 20 0 24 0 511459878 8616062976 30960 33554432000 4194304 4196468 140731006940992 140731006923536 140155884445431 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
/proc/9174/statm: 2103531 30960 3199 1 0 2064875 0
[pid=9194] ppid=9174 vsize=633144 memory=191492 CPUtime=69.59 cores=0-7
/proc/9194/stat : 9194 (manyglucose-4.1) S 9174 9151 8345 0 -1 1077944320 122418 0 0 0 6931 28 0 0 20 0 3 0 511459965 648339456 47873 33554432000 4194304 4454172 140728931761712 140728931760096 140451353612023 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 7401472 140728931763050 140728931763248 140728931763248 140728931766202 0
/proc/9194/statm: 158286 47873 421 64 0 153954 0
[pid=9194/tid=9200] ppid=9174 vsize=633144 memory=25 CPUtime=8.8 cores=0-7
/proc/9194/task/9200/stat : 9200 (manyglucose-4.1) R 9174 9151 8345 0 -1 4202560 13981 0 0 0 877 3 0 0 20 0 3 0 511459968 648339456 47873 33554432000 4194304 4454172 140728931761712 140451330002024 4321746 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 7401472 140728931763050 140728931763248 140728931763248 140728931766202 0
[pid=9194/tid=9204] ppid=9174 vsize=633144 memory=0 CPUtime=8.59 cores=0-7
/proc/9194/task/9204/stat : 9204 (manyglucose-4.1) R 9174 9151 8345 0 -1 4202560 14145 0 0 0 856 3 0 0 20 0 3 0 511459968 648339456 47873 33554432000 4194304 4454172 140728931761712 140451296430840 4349922 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 7401472 140728931763050 140728931763248 140728931763248 140728931766202 0
[pid=9174/tid=9175] ppid=9151 vsize=8414124 memory=1398722017469774279 CPUtime=0.91 cores=0-7
/proc/9174/task/9175/stat : 9175 (java) S 9151 9151 8345 0 -1 1077944384 18008 0 0 0 84 7 0 0 20 0 24 0 511459878 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155856285600 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9176] ppid=9151 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9174/task/9176/stat : 9176 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155888687504 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9177] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9177/stat : 9177 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155369629968 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9178] ppid=9151 vsize=8414124 memory=8228 CPUtime=0 cores=0-7
/proc/9174/task/9178/stat : 9178 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155368577680 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9179] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9179/stat : 9179 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155367524880 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9180] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9180/stat : 9180 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155366472592 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9181] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9181/stat : 9181 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155365419792 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9182] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9182/stat : 9182 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155364367504 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9183] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9183/stat : 9183 (java) S 9151 9151 8345 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511459879 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155363314704 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9184] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9184/stat : 9184 (java) S 9151 9151 8345 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511459881 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154842876016 140155884456578 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9185] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9185/stat : 9185 (java) S 9151 9151 8345 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511459881 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154446537504 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9186] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9186/stat : 9186 (java) S 9151 9151 8345 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511459882 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154312316016 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9187] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9187/stat : 9187 (java) S 9151 9151 8345 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140153937811536 140155884464027 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9188] ppid=9151 vsize=8414124 memory=0 CPUtime=0.14 cores=0-7
/proc/9174/task/9188/stat : 9188 (java) S 9151 9151 8345 0 -1 1077944384 727 0 0 0 14 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154841823856 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9189] ppid=9151 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/9174/task/9189/stat : 9189 (java) S 9151 9151 8345 0 -1 1077944384 422 0 0 0 10 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154840771056 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9190] ppid=9151 vsize=8414124 memory=0 CPUtime=0.14 cores=0-7
/proc/9174/task/9190/stat : 9190 (java) S 9151 9151 8345 0 -1 1077944384 543 0 0 0 14 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154839718768 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9191] ppid=9151 vsize=8414124 memory=0 CPUtime=0.25 cores=0-7
/proc/9174/task/9191/stat : 9191 (java) S 9151 9151 8345 0 -1 1077944384 851 0 0 0 25 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154838665968 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9192] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9192/stat : 9192 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511459884 8616062976 30960 33554432000 4194304 4196468 140731006940992 140153439906144 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9193] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9193/stat : 9193 (java) S 9151 9151 8345 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511459885 8616062976 30960 33554432000 4194304 4196468 140731006940992 140154837612848 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9195] ppid=9151 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9174/task/9195/stat : 9195 (java) S 9151 9151 8345 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511459965 8616062976 30960 33554432000 4194304 4196468 140731006940992 140155185100096 140155884470041 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9197] ppid=9151 vsize=8414124 memory=14 CPUtime=0 cores=0-7
/proc/9174/task/9197/stat : 9197 (java) S 9151 9151 8345 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511459966 8616062976 30960 33554432000 4194304 4196468 140731006940992 140152768806832 140155884467357 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9198] ppid=9151 vsize=8414124 memory=10 CPUtime=0 cores=0-7
/proc/9174/task/9198/stat : 9198 (java) S 9151 9151 8345 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511459966 8616062976 30960 33554432000 4194304 4196468 140731006940992 140153037242160 140155884467357 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9207] ppid=9151 vsize=8414124 memory=14 CPUtime=0 cores=0-7
/proc/9174/task/9207/stat : 9207 (java) S 9151 9151 8345 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511459969 8616062976 30960 33554432000 4194304 4196468 140731006940992 140152500379440 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
Current children cumulated CPU time: 76.79 s
Current children cumulated vsize: 9160396 KiB
Current children cumulated memory: 316808 KiB

[startup+12.2015 s]
/proc/loadavg: 8.06 8.35 8.32 3/218 9209
/proc/meminfo: memFree=24986992/32770688 swapFree=67001288/67108860
[pid=9151] ppid=9148 vsize=113128 memory=1476 CPUtime=5.61 cores=0-7
/proc/9151/stat : 9151 (scop.sh) S 9148 9151 8345 0 -1 4202496 584 26430 0 0 0 0 545 16 20 0 1 0 511459649 115843072 369 33554432000 4194304 5098028 140726874555072 140726874551816 140013841658492 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25169920 140726874559268 140726874559596 140726874559596 140726874562509 0
/proc/9151/statm: 28282 369 311 221 0 87 0
[pid=9174] ppid=9151 vsize=8283048 memory=128920 CPUtime=71.59 cores=0-7
/proc/9174/stat : 9174 (java) S 9151 9151 8345 0 -1 1077944320 22732 122435 0 0 179 10 6941 29 20 0 22 0 511459878 8481841152 32230 33554432000 4194304 4196468 140731006940992 140731006923536 140155884445431 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
/proc/9174/statm: 2070762 32230 3231 1 0 2032106 0
[pid=9174/tid=9175] ppid=9151 vsize=8283048 memory=3054156605335311252 CPUtime=70.69 cores=0-7
/proc/9174/task/9175/stat : 9175 (java) R 9151 9151 8345 0 -1 4202560 18134 122435 0 0 92 7 6941 29 20 0 22 0 511459878 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155856282960 140155867802872 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9176] ppid=9151 vsize=8283048 memory=8112282956445269571 CPUtime=69.7 cores=0-7
/proc/9174/task/9176/stat : 9176 (java) S 9151 9151 8345 0 -1 1077944384 1 122435 0 0 0 0 6941 29 20 0 22 0 511459879 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155888687504 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9177] ppid=9151 vsize=8283048 memory=288230596050944315 CPUtime=69.7 cores=0-7
/proc/9174/task/9177/stat : 9177 (java) S 9151 9151 8345 0 -1 1077944384 1 122435 0 0 0 0 6941 29 20 0 22 0 511459879 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155369629968 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9178] ppid=9151 vsize=8283048 memory=14973369246290159 CPUtime=69.7 cores=0-7
/proc/9174/task/9178/stat : 9178 (java) S 9151 9151 8345 0 -1 1077944384 1 122435 0 0 0 0 6941 29 20 0 22 0 511459879 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155368577680 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9179] ppid=9151 vsize=8283048 memory=14008 CPUtime=69.7 cores=0-7
/proc/9174/task/9179/stat : 9179 (java) S 9151 9151 8345 0 -1 1077944384 3 122435 0 0 0 0 6941 29 20 0 22 0 511459879 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155367524880 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9180] ppid=9151 vsize=8283048 memory=32664 CPUtime=69.7 cores=0-7
/proc/9174/task/9180/stat : 9180 (java) S 9151 9151 8345 0 -1 1077944384 2 122435 0 0 0 0 6941 29 20 0 22 0 511459879 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155366472592 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9181] ppid=9151 vsize=8283048 memory=14068 CPUtime=69.7 cores=0-7
/proc/9174/task/9181/stat : 9181 (java) S 9151 9151 8345 0 -1 1077944384 2 122435 0 0 0 0 6941 29 20 0 22 0 511459879 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155365419792 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9182] ppid=9151 vsize=8283048 memory=2120 CPUtime=69.7 cores=0-7
/proc/9174/task/9182/stat : 9182 (java) S 9151 9151 8345 0 -1 1077944384 2 122435 0 0 0 0 6941 29 20 0 22 0 511459879 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155364367504 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9183] ppid=9151 vsize=8283048 memory=496 CPUtime=69.7 cores=0-7
/proc/9174/task/9183/stat : 9183 (java) S 9151 9151 8345 0 -1 1077944384 2 122435 0 0 0 0 6941 29 20 0 22 0 511459879 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155363314704 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9184] ppid=9151 vsize=8283048 memory=1556 CPUtime=69.7 cores=0-7
/proc/9174/task/9184/stat : 9184 (java) S 9151 9151 8345 0 -1 1077944384 7 122435 0 0 0 0 6941 29 20 0 22 0 511459881 8481841152 32230 33554432000 4194304 4196468 140731006940992 140154842876016 140155884456578 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9185] ppid=9151 vsize=8283048 memory=928 CPUtime=69.7 cores=0-7
/proc/9174/task/9185/stat : 9185 (java) S 9151 9151 8345 0 -1 1077944384 13 122435 0 0 0 0 6941 29 20 0 22 0 511459881 8481841152 32230 33554432000 4194304 4196468 140731006940992 140154446537504 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9186] ppid=9151 vsize=8283048 memory=1620 CPUtime=69.7 cores=0-7
/proc/9174/task/9186/stat : 9186 (java) S 9151 9151 8345 0 -1 1077944384 21 122435 0 0 0 0 6941 29 20 0 22 0 511459882 8481841152 32230 33554432000 4194304 4196468 140731006940992 140154312316016 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9187] ppid=9151 vsize=8283048 memory=780 CPUtime=69.7 cores=0-7
/proc/9174/task/9187/stat : 9187 (java) S 9151 9151 8345 0 -1 1077944384 1 122435 0 0 0 0 6941 29 20 0 22 0 511459884 8481841152 32230 33554432000 4194304 4196468 140731006940992 140153937811536 140155884464027 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9188] ppid=9151 vsize=8283048 memory=1444 CPUtime=69.88 cores=0-7
/proc/9174/task/9188/stat : 9188 (java) S 9151 9151 8345 0 -1 1077944384 764 122435 0 0 18 0 6941 29 20 0 22 0 511459884 8481841152 32230 33554432000 4194304 4196468 140731006940992 140154841823856 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9189] ppid=9151 vsize=8283048 memory=1984 CPUtime=69.84 cores=0-7
/proc/9174/task/9189/stat : 9189 (java) S 9151 9151 8345 0 -1 1077944384 454 122435 0 0 14 0 6941 29 20 0 22 0 511459884 8481841152 32230 33554432000 4194304 4196468 140731006940992 140154840771056 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9190] ppid=9151 vsize=8283048 memory=0 CPUtime=69.87 cores=0-7
/proc/9174/task/9190/stat : 9190 (java) S 9151 9151 8345 0 -1 1077944384 585 122435 0 0 17 0 6941 29 20 0 22 0 511459884 8481841152 32230 33554432000 4194304 4196468 140731006940992 140154839718768 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9191] ppid=9151 vsize=8283048 memory=0 CPUtime=70.02 cores=0-7
/proc/9174/task/9191/stat : 9191 (java) R 9151 9151 8345 0 -1 4202560 1303 122435 0 0 32 0 6941 29 20 0 22 0 511459884 8481841152 32230 33554432000 4194304 4196468 140731006940992 140154838662904 140155877542267 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9192] ppid=9151 vsize=8283048 memory=0 CPUtime=69.7 cores=0-7
/proc/9174/task/9192/stat : 9192 (java) S 9151 9151 8345 0 -1 1077944384 3 122435 0 0 0 0 6941 29 20 0 22 0 511459884 8481841152 32230 33554432000 4194304 4196468 140731006940992 140153439906144 140155884455637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9193] ppid=9151 vsize=8283048 memory=0 CPUtime=69.7 cores=0-7
/proc/9174/task/9193/stat : 9193 (java) S 9151 9151 8345 0 -1 1077944384 3 122435 0 0 0 0 6941 29 20 0 22 0 511459885 8481841152 32230 33554432000 4194304 4196468 140731006940992 140154837612848 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9195] ppid=9151 vsize=8283048 memory=0 CPUtime=69.7 cores=0-7
/proc/9174/task/9195/stat : 9195 (java) S 9151 9151 8345 0 -1 1077944384 31 122435 0 0 0 0 6941 29 20 0 22 0 511459965 8481841152 32230 33554432000 4194304 4196468 140731006940992 140155185099280 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
[pid=9174/tid=9207] ppid=9151 vsize=8283048 memory=0 CPUtime=69.7 cores=0-7
/proc/9174/task/9207/stat : 9207 (java) S 9151 9151 8345 0 -1 1077944384 15 122435 0 0 0 0 6941 29 20 0 22 0 511459969 8481841152 32230 33554432000 4194304 4196468 140731006940992 140152500381232 140155884456578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140731006948344 140731006948502 140731006948502 140731006951375 0
Current children cumulated CPU time: 77.2 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130396 KiB

Child status: 0
Real time (s): 12.2973
CPU time (s): 77.4102
CPU user time (s): 76.8257
CPU system time (s): 0.584561
CPU usage (%): 629.487
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 316808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.8257
system time used= 0.584561
maximum resident set size= 287244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8875
involuntary context switches= 804


# summary of solver processes directly reported to runsolver:
#   pid: 9151
#   total CPU time (s): 77.4102
#   total CPU user time (s): 76.8257
#   total CPU system time (s): 0.584561

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.13587 second user time and 0.224185 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-24 21:58:59
IDJOB=4405491
IDBENCH=134844
IDSOLVER=2868
FILE ID=node116/4405491-1569355181
RUNJOBID= node116-1569350096-8372
PBS_JOBID= 21705093
Free space on /tmp= 6552 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army11-17ls.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405491-1569355181/watcher-4405491-1569355181 -o /tmp/evaluation-result-4405491-1569355181/solver-4405491-1569355181 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569350096-8372 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405491-1569355181.xml

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

MD5SUM BENCH= 3a369118bc0c88105fbaeba7564c3313
RANDOM SEED=109996161

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        25289664 kB
MemAvailable:   31845608 kB
Buffers:          107584 kB
Cached:          6610936 kB
SwapCached:         3372 kB
Active:          3340168 kB
Inactive:        3384412 kB
Active(anon):       7800 kB
Inactive(anon):    54044 kB
Active(file):    3332368 kB
Inactive(file):  3330368 kB
Unevictable:      109496 kB
Mlocked:          109496 kB
SwapTotal:      67108860 kB
SwapFree:       67001288 kB
Dirty:             20604 kB
Writeback:             0 kB
AnonPages:        112260 kB
Mapped:            57136 kB
Shmem:             47784 kB
Slab:             350592 kB
SReclaimable:     321668 kB
SUnreclaim:        28924 kB
KernelStack:        3392 kB
PageTables:         5352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     513988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6532 MiB
End job on node116 at 2019-09-24 21:59:11