Trace number 4405521

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLangford/Langford-m1-k4/
Langford-4-16.xml
MD5SUMa550bb6a39ca50ab9210b9c0283e2640
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark85.5465
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints49
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":32},{"degree":3,"count":32}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":48},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29181-serial-file.bin HOME/instance-4405521-1569242356.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Mon Sep 23 13:28:54 CEST 2019
0.66/0.57	c PID: 29184
0.66/0.57	c IP: 172.20.3.104
0.66/0.57	c HOST: node104.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 49 ctr, max domain size 64
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4405521-1569242356.xml,Add:AllDifferent:Eq:Num:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
2.82/1.43	c (0,0) translated 5 (10%) constraints
2.82/1.43	c (0,0) translated 10 (20%) constraints
2.82/1.43	c (0,0) translated 15 (30%) constraints
2.82/1.43	c (0,0) translated 20 (40%) constraints
2.82/1.43	c (0,0) translated 25 (50%) constraints
2.82/1.43	c (0,0) translated 30 (60%) constraints
2.82/1.44	c (0,0) translated 35 (70%) constraints
2.82/1.44	c (0,0) translated 40 (80%) constraints
2.82/1.44	c (0,0) translated 45 (90%) constraints
2.82/1.44	c (0,0) translated 49 (100%) constraints
2.82/1.44	c (0,0) ===========================================
2.82/1.46	c (0,0) Hybrid: #OE=64, #LE=0
2.82/1.46	c (0,0) Hybrid
2.82/1.46	c (0,0) ===========================================
3.13/1.50	c (0,0) translated 213 (10%) constraints
3.13/1.52	c (0,0) translated 426 (20%) constraints
3.13/1.54	c (0,0) translated 639 (30%) constraints
3.13/1.55	c (1,1) translated 852 (40%) constraints
3.13/1.57	c (1,1) translated 1065 (50%) constraints
3.13/1.58	c (1,1) translated 1278 (60%) constraints
3.13/1.59	c (1,1) translated 1491 (70%) constraints
3.57/1.61	c (1,1) translated 1704 (80%) constraints
3.57/1.62	c (1,1) translated 1917 (90%) constraints
4.66/2.00	c (1,1) translated 2130 (100%) constraints
4.66/2.00	c (1,1) CSP to CSPinCNF End
5.10/2.01	c (1,1) CSP: 64 int (0 aux), 4096 bool (4096 aux), 10370 ctr, max domain size 60
5.10/2.01	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.10/2.01	c (1,1) CSPinCNF Propagation Begin
5.91/2.24	c (1,1) 1672 values, 3565 unsatisfiable literals, and 3587 valid clauses are removed
5.91/2.24	c (1,1) CSPinCNF Propagation End
5.91/2.24	c (1,1) CSP: 64 int (0 aux), 4096 bool (4096 aux), 6783 ctr, max domain size 60
5.91/2.24	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.91/2.26	c (1,1) Hybrid: #OE=4160, #LE=0
5.91/2.26	c (1,1) Simplify CSPinCNF Begin
6.33/2.38	c (1,1) Simplify CSPinCNF End
6.33/2.39	c (1,1) CSP: 64 int (0 aux), 7878 bool (7878 aux), 10565 ctr, max domain size 60
6.33/2.39	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.33/2.39	c (1,1) Calculate Precise Domain Begin
6.33/2.39	c (1,1) 0 values are removed by re-calculation
6.33/2.39	c (1,1) Calculate Precise Domain End
6.33/2.39	c (1,1) CSP: 64 int (0 aux), 7878 bool (7878 aux), 10565 ctr, max domain size 60
6.33/2.39	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.33/2.39	c (1,1) CSPinCNF to SatSolver Begin
8.46/2.80	c (2,2) 1057 (10 %) CSP clauses are encoded (0 SAT variables, 26802 SAT clauses)
8.87/2.96	c (2,2) 2113 (20 %) CSP clauses are encoded (0 SAT variables, 45314 SAT clauses)
9.30/3.07	c (2,2) 3170 (30 %) CSP clauses are encoded (0 SAT variables, 64154 SAT clauses)
9.66/3.15	c (2,2) 4226 (40 %) CSP clauses are encoded (0 SAT variables, 78464 SAT clauses)
9.79/3.25	c (2,2) 5283 (50 %) CSP clauses are encoded (0 SAT variables, 96584 SAT clauses)
9.79/3.29	c (2,2) 6339 (60 %) CSP clauses are encoded (0 SAT variables, 104164 SAT clauses)
9.96/3.30	c (2,2) 7396 (70 %) CSP clauses are encoded (0 SAT variables, 105221 SAT clauses)
9.96/3.31	c (2,2) 8452 (80 %) CSP clauses are encoded (0 SAT variables, 106277 SAT clauses)
9.96/3.32	c (2,2) 9509 (90 %) CSP clauses are encoded (0 SAT variables, 107334 SAT clauses)
9.96/3.34	c (2,2) 10565 (100 %) CSP clauses are encoded (0 SAT variables, 111611 SAT clauses)
9.96/3.34	c (2,2) CSPinCNF to SatSolver End
9.96/3.34	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.96/3.34	c (2,2) 8566 bool, 111623 clause
9.96/3.34	c (2,2) Export Begin
10.11/3.42	c (2,2) Export to HOME/scop-29181-serial-file.bin
10.11/3.42	c (2,2) Export End
10.11/3.42	c (2,2) Export File Size: 0.01 MB
10.11/3.42	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
10.11/3.42	c END-Prog: Mon Sep 23 13:28:57 CEST 2019
10.11/3.45	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29181-serial-file.bin
10.18/3.91	c (0,0) Read Serial File Begin
10.18/3.91	c (0,0) HOME/scop-29181-serial-file.bin
11.06/4.11	c (0,0) Read Serial File End
11.06/4.13	
11.06/4.13	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
11.06/4.13	(Solving Process)
11.06/4.13	
11.06/4.15	c BEGIN-Prog: Mon Sep 23 13:28:58 CEST 2019
11.06/4.15	c PID: 29204
11.06/4.15	c IP: 172.20.3.104
11.06/4.15	c HOST: node104.alineos.net
11.06/4.15	c (0,0) SatSolver.solve Begin
11.06/4.15	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405521-1569242356.xml-scop-29184.cnf
11.06/4.18	c (0,0) c
11.06/4.18	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)
11.06/4.18	c (0,0) c
11.06/4.18	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.06/4.18	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
11.06/4.18	c (0,0) c ========================================[ Problem Statistics ]===========================================
11.06/4.18	c (0,0) c |                                                                                                       |
11.26/4.22	c (0,0) c |  Number of variables:          8566                                                                   |
11.26/4.22	c (0,0) c |  Number of clauses:          111607                                                                   |
11.26/4.22	c (0,0) c |  Parse time:                   0.03 s                                                                 |
11.26/4.22	c (0,0) c |                                                                                                       |
11.33/4.32	c (0,0) c |  Simplification time:          0.10 s                                                                 |
11.33/4.32	c (0,0) c |                                                                                                       |
11.33/4.59	c (0,0) c |  Generating clones                                                                                    |
11.33/4.59	c (0,0) c |  all clones generated. Memory =    95.25Mb.                                                           |
11.33/4.59	c (0,0) c ========================================================================================================|
11.33/4.59	c (0,0) c
11.33/4.59	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
11.33/4.59	c (0,0) c
11.33/4.59	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.33/4.59	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
11.33/4.59	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.33/4.59	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
11.33/4.59	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
11.33/4.59	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
11.33/4.59	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
11.33/4.59	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
11.33/4.59	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
11.33/4.59	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
11.33/4.59	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
11.33/4.59	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
11.33/4.59	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
11.33/4.59	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
11.33/4.59	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
11.33/4.59	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
11.33/4.59	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
11.33/4.59	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
11.33/4.59	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.44/33.75	c (29,0) c
245.44/33.75	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
245.44/33.75	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
245.44/33.75	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
245.44/33.75	c (29,0) c |  0 |    138 |     138753 |      65059 |    71522 |    26515 |    11002 |    70263 |     7580 |      231 |  20 |  6.083 |
245.44/33.75	c (29,0) c |  1 |    166 |     132827 |      64689 |    65438 |    26150 |    10451 |    71298 |     7039 |      228 |  20 |  6.083 |
245.44/33.75	c (29,0) c |  2 |    206 |     143291 |      65247 |    75357 |    26701 |    10993 |    69585 |     8282 |      226 |  20 |  6.083 |
245.44/33.75	c (29,0) c |  3 |    150 |     134190 |      65021 |    67705 |    26477 |    10772 |    71748 |     6982 |      232 |  20 |  6.083 |
245.44/33.75	c (29,0) c |  4 |    177 |     136273 |      64362 |    71172 |    25816 |    10543 |    71084 |     7901 |      227 |  20 |  6.082 |
245.44/33.75	c (29,0) c |  5 |    181 |     144802 |      66246 |    73099 |    27699 |    11628 |    70423 |     6611 |      230 |  20 |  6.082 |
245.44/33.75	c (29,0) c |  6 |    182 |     143790 |      63856 |    75538 |    25321 |    10870 |    69679 |     7406 |      223 |  20 |  6.082 |
245.44/33.75	c (29,0) c |  7 |    147 |     139682 |      65726 |    71596 |    27182 |    10665 |    72693 |     8323 |      235 |  20 |  6.082 |
245.44/33.75	c (29,0) c 
245.44/33.75	c (29,0) c synthesis      520206 conflicts   371882515 propagations     2222 conflicts/sec  1588622 propagations/sec
245.44/33.75	c (29,0) c real: 29.57 s, cpu: 234.091 s, memory: 668.32 Mb
476.07/62.75	c (58,0) c
476.07/62.75	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
476.07/62.75	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
476.07/62.75	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
476.07/62.75	c (58,0) c |  0 |    327 |     243656 |     125435 |    77278 |    30719 |    17914 |   119439 |    15028 |      470 |  20 |  6.316 |
476.07/62.75	c (58,0) c |  1 |    327 |     236822 |     126049 |    72611 |    31423 |    16762 |   119578 |    14514 |      466 |  20 |  6.281 |
476.07/62.75	c (58,0) c |  2 |    399 |     245177 |     124335 |    79308 |    30467 |    17321 |   116516 |    15442 |      457 |  20 |  6.246 |
476.07/62.75	c (58,0) c |  3 |    311 |     234211 |     125457 |    73350 |    29742 |    17243 |   120093 |    14074 |      470 |  20 |  6.281 |
476.07/62.75	c (58,0) c |  4 |    354 |     236681 |     123751 |    76013 |    29865 |    16654 |   118302 |    15125 |      458 |  20 |  6.269 |
476.07/62.75	c (58,0) c |  5 |    318 |     246044 |     126689 |    78146 |    33016 |    18687 |   116890 |    13707 |      462 |  20 |  6.281 |
476.07/62.75	c (58,0) c |  6 |    359 |     243686 |     122442 |    80021 |    29255 |    17626 |   115736 |    14586 |      450 |  20 |  6.246 |
476.07/62.75	c (58,0) c |  7 |    300 |     241684 |     126111 |    75383 |    29517 |    17470 |   119507 |    15223 |      470 |  20 |  6.293 |
476.07/62.75	c (58,0) c 
476.07/62.75	c (58,0) c synthesis     1000269 conflicts   687464383 propagations     2153 conflicts/sec  1479673 propagations/sec
476.07/62.75	c (58,0) c real: 58.5699 s, cpu: 464.606 s, memory: 668.32 Mb
530.99/70.40	c (66,0) c
530.99/70.40	c (66,0) c real time : 66.2235 s
530.99/70.40	c (66,0) c cpu time  : 519.13 s
530.99/70.40	c (66,0) c
530.99/70.40	c (66,0) c
530.99/70.40	c (66,0) c
530.99/70.40	c (66,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
530.99/70.40	c (66,0) c
530.99/70.40	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.40	c (66,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
530.99/70.40	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.40	c (66,0) c | Conflicts     |         1122112 |     138665 |     140633 |     140669 |     139079 |     140445 |     142574 |     140560 |     139487 |
530.99/70.40	c (66,0) c | Decisions     |         2121797 |     264950 |     259778 |     271468 |     256608 |     262516 |     270672 |     273334 |     262471 |
530.99/70.40	c (66,0) c | Propagations  |       758391924 |   93890140 |   94172099 |   95878723 |   93982122 |   94669717 |   96619046 |   94929216 |   94250861 |
530.99/70.40	c (66,0) c | ReduceDBs     |              80 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |
530.99/70.40	c (66,0) c | SimpDBs       |             164 |         22 |         22 |         19 |         19 |         20 |         21 |         20 |         21 |
530.99/70.40	c (66,0) c | Restarts      |            3199 |        394 |        383 |        469 |        382 |        411 |        364 |        456 |        340 |
530.99/70.40	c (66,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
530.99/70.40	c (66,0) c | PropBinClauses|      2451005369 |  303160079 |  306412680 |  308894167 |  305632330 |  305836589 |  310131519 |  306353226 |  304584779 |
530.99/70.40	c (66,0) c | PropPreBlocker|     13558663213 | 1684251366 | 1688897505 | 1703915535 | 1697228973 | 1689415639 | 1710373444 | 1694868201 | 1689712550 |
530.99/70.40	c (66,0) c | PropNotBlocker|      3552562771 |  443143606 |  434211741 |  451379978 |  438365582 |  439657073 |  449307146 |  454190550 |  442307095 |
530.99/70.40	c (66,0) c | LitFullScans  |     25141841028 | 3144641025 | 3143753791 | 3138335527 | 3150130790 | 3138309278 | 3138145511 | 3138305157 | 3150219949 |
530.99/70.40	c (66,0) c | LitScanFracts |         2827191 |     621360 |     660634 |     304482 |     113624 |     290563 |     108255 |     255233 |     473040 |
530.99/70.40	c (66,0) c | DecisionLevel0|            3340 |        408 |        404 |        479 |        406 |        431 |        378 |        467 |        367 |
530.99/70.40	c (66,0) c | Periods       |            4188 |        524 |        523 |        523 |        525 |        523 |        523 |        523 |        524 |
530.99/70.40	c (66,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
530.99/70.40	c (66,0) c | Avg_Trail     |                 |       3895 |       3898 |       3887 |       3886 |       3895 |       3908 |       3912 |       3885 |
530.99/70.40	c (66,0) c | Avg_DL        |                 |         17 |         17 |         18 |         18 |         17 |         17 |         18 |         18 |
530.99/70.40	c (66,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
530.99/70.40	c (66,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
530.99/70.40	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.40	c (66,0) c | Exported      |          152973 |      19212 |      18265 |      19152 |      18700 |      18266 |      20251 |      19826 |      19301 |
530.99/70.40	c (66,0) c | Imported      |         1034478 |     129251 |     130330 |     129136 |     129996 |     130025 |     127902 |     128336 |     129502 |
530.99/70.40	c (66,0) c | Good          |           86543 |      10877 |      11000 |      10855 |      10885 |      10874 |      10340 |      10830 |      10882 |
530.99/70.40	c (66,0) c | Purge         |          947935 |     118374 |     119330 |     118281 |     119111 |     119151 |     117562 |     117506 |     118620 |
530.99/70.40	c (66,0) c | Promoted      |          131792 |      16630 |      16293 |      17272 |      15895 |      17033 |      15373 |      16536 |      16760 |
530.99/70.40	c (66,0) c | Remove_Imp    |          647710 |      81335 |      80733 |      79190 |      83031 |      83126 |      77004 |      79186 |      84105 |
530.99/70.40	c (66,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
530.99/70.40	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.40	c (66,0) c | Unaries       |                 |         14 |         21 |         10 |         24 |         20 |         14 |         11 |         27 |
530.99/70.40	c (66,0) c | Binaries      |                 |       1524 |       1427 |       1540 |       1525 |       1536 |       2049 |       1555 |       1542 |
530.99/70.40	c (66,0) c | Glues         |                 |       6048 |       5883 |       6037 |       5640 |       5964 |       6557 |       6035 |       5873 |
530.99/70.40	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.40	c (66,0) c | Orig_Seen     |            76 % |      77696 |      73554 |      79706 |      74120 |      76521 |      78531 |      80451 |      75849 |
530.99/70.40	c (66,0) c | Diff Orig seen|                 |       4142 |      X     |       6152 |        566 |       2967 |       4977 |       6897 |       2295 |
530.99/70.40	c (66,0) c | Hamming       |            10 % |        870 |      X     |       1099 |        756 |        856 |        913 |       1119 |        987 |
530.99/70.40	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.40	c (66,0) c | RunningTime   |                 |   64.7 100%|   65.0 100%|   65.6 100%|   64.5 100%|   65.6 100%|   65.2 100%|   66.0 100%|   64.0  99%|
530.99/70.40	c (66,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.2   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.7   1%|
530.99/70.40	c (66,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
530.99/70.40	c (66,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%|
530.99/70.40	c (66,0) c | SolvingTime   |                 |   64.7     |   65.0     |   65.7     |   64.8     |   65.7     |   65.2     |   66.0     |   64.7     |
530.99/70.40	c (66,0) c | PropagationTim|                 |   59.0  91%|   59.3  91%|   59.9  91%|   59.1  91%|   60.0  91%|   59.6  91%|   60.1  91%|   59.0  91%|
530.99/70.40	c (66,0) c | AnalysisTime  |                 |    4.0   6%|    4.1   6%|    4.2   6%|    4.0   6%|    4.0   6%|    4.0   6%|    4.2   6%|    4.0   6%|
530.99/70.40	c (66,0) c | ReductionTime |                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
530.99/70.40	c (66,0) c | SimplifyTime  |                 |    0.2   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|
530.99/70.40	c (66,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%|
530.99/70.40	c (66,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%|
530.99/70.40	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.40	c (66,0) c
530.99/70.40	c (66,0) c
530.99/70.40	c (66,0) c Threads : 8
530.99/70.40	c (66,0) c Winner : 1
530.99/70.40	c (66,0) c Conflicts_0 : 138665
530.99/70.40	c (66,0) c Conflicts_1 : 140633
530.99/70.40	c (66,0) c Conflicts_2 : 140669
530.99/70.40	c (66,0) c Conflicts_3 : 139079
530.99/70.40	c (66,0) c Conflicts_4 : 140445
530.99/70.40	c (66,0) c Conflicts_5 : 142574
530.99/70.40	c (66,0) c Conflicts_6 : 140560
530.99/70.40	c (66,0) c Conflicts_7 : 139487
530.99/70.40	c (66,0) c Conflicts_total : 1122112
530.99/70.40	c (66,0) c Conflicts_winner : 140633
530.99/70.40	c (66,0) c Decisions_0 : 264950
530.99/70.40	c (66,0) c Decisions_1 : 259778
530.99/70.40	c (66,0) c Decisions_2 : 271468
530.99/70.40	c (66,0) c Decisions_3 : 256608
530.99/70.40	c (66,0) c Decisions_4 : 262516
530.99/70.40	c (66,0) c Decisions_5 : 270672
530.99/70.40	c (66,0) c Decisions_6 : 273334
530.99/70.40	c (66,0) c Decisions_7 : 262471
530.99/70.40	c (66,0) c Decisions_total : 2121797
530.99/70.40	c (66,0) c Decisions_winner : 259778
530.99/70.40	c (66,0) c Propagations_0 : 93890140
530.99/70.40	c (66,0) c Propagations_1 : 94172099
530.99/70.40	c (66,0) c Propagations_2 : 95878723
530.99/70.40	c (66,0) c Propagations_3 : 93982122
530.99/70.40	c (66,0) c Propagations_4 : 94669717
530.99/70.40	c (66,0) c Propagations_5 : 96619046
530.99/70.40	c (66,0) c Propagations_6 : 94929216
530.99/70.40	c (66,0) c Propagations_7 : 94250861
530.99/70.40	c (66,0) c Propagations_total : 758391924
530.99/70.40	c (66,0) c Propagations_winner : 94172099
530.99/70.40	c (66,0) c ReduceDBs_0 : 10
530.99/70.40	c (66,0) c ReduceDBs_1 : 10
530.99/70.40	c (66,0) c ReduceDBs_2 : 10
530.99/70.40	c (66,0) c ReduceDBs_3 : 10
530.99/70.40	c (66,0) c ReduceDBs_4 : 10
530.99/70.40	c (66,0) c ReduceDBs_5 : 10
530.99/70.40	c (66,0) c ReduceDBs_6 : 10
530.99/70.41	c (66,0) c ReduceDBs_7 : 10
530.99/70.41	c (66,0) c ReduceDBs_total : 80
530.99/70.41	c (66,0) c ReduceDBs_winner : 10
530.99/70.41	c (66,0) c SimpDBs_0 : 22
530.99/70.41	c (66,0) c SimpDBs_1 : 22
530.99/70.41	c (66,0) c SimpDBs_2 : 19
530.99/70.41	c (66,0) c SimpDBs_3 : 19
530.99/70.41	c (66,0) c SimpDBs_4 : 20
530.99/70.41	c (66,0) c SimpDBs_5 : 21
530.99/70.41	c (66,0) c SimpDBs_6 : 20
530.99/70.41	c (66,0) c SimpDBs_7 : 21
530.99/70.41	c (66,0) c SimpDBs_total : 164
530.99/70.41	c (66,0) c SimpDBs_winner : 22
530.99/70.41	c (66,0) c Restarts_0 : 394
530.99/70.41	c (66,0) c Restarts_1 : 383
530.99/70.41	c (66,0) c Restarts_2 : 469
530.99/70.41	c (66,0) c Restarts_3 : 382
530.99/70.41	c (66,0) c Restarts_4 : 411
530.99/70.41	c (66,0) c Restarts_5 : 364
530.99/70.41	c (66,0) c Restarts_6 : 456
530.99/70.41	c (66,0) c Restarts_7 : 340
530.99/70.41	c (66,0) c Restarts_total : 3199
530.99/70.41	c (66,0) c Restarts_winner : 383
530.99/70.41	c (66,0) c ForcedImports_0 : 0
530.99/70.41	c (66,0) c ForcedImports_1 : 0
530.99/70.41	c (66,0) c ForcedImports_2 : 0
530.99/70.41	c (66,0) c ForcedImports_3 : 0
530.99/70.41	c (66,0) c ForcedImports_4 : 0
530.99/70.41	c (66,0) c ForcedImports_5 : 0
530.99/70.41	c (66,0) c ForcedImports_6 : 0
530.99/70.41	c (66,0) c ForcedImports_7 : 0
530.99/70.41	c (66,0) c ForcedImports_total : 0
530.99/70.41	c (66,0) c ForcedImports_winner : 0
530.99/70.41	c (66,0) c PropsBinClauses_0 : 303160079
530.99/70.41	c (66,0) c PropsBinClauses_1 : 306412680
530.99/70.41	c (66,0) c PropsBinClauses_2 : 308894167
530.99/70.41	c (66,0) c PropsBinClauses_3 : 305632330
530.99/70.41	c (66,0) c PropsBinClauses_4 : 305836589
530.99/70.41	c (66,0) c PropsBinClauses_5 : 310131519
530.99/70.41	c (66,0) c PropsBinClauses_6 : 306353226
530.99/70.41	c (66,0) c PropsBinClauses_7 : 304584779
530.99/70.41	c (66,0) c PropsBinClauses_total : 2451005369
530.99/70.41	c (66,0) c PropsBinClauses_winner : 306412680
530.99/70.41	c (66,0) c PropsPreBlocker_0 : 1684251366
530.99/70.41	c (66,0) c PropsPreBlocker_1 : 1688897505
530.99/70.41	c (66,0) c PropsPreBlocker_2 : 1703915535
530.99/70.41	c (66,0) c PropsPreBlocker_3 : 1697228973
530.99/70.41	c (66,0) c PropsPreBlocker_4 : 1689415639
530.99/70.41	c (66,0) c PropsPreBlocker_5 : 1710373444
530.99/70.41	c (66,0) c PropsPreBlocker_6 : 1694868201
530.99/70.41	c (66,0) c PropsPreBlocker_7 : 1689712550
530.99/70.41	c (66,0) c PropsPreBlocker_total : 13558663213
530.99/70.41	c (66,0) c PropsPreBlocker_winner : 1688897505
530.99/70.41	c (66,0) c PropsNotBlocker_0 : 443143606
530.99/70.41	c (66,0) c PropsNotBlocker_1 : 434211741
530.99/70.41	c (66,0) c PropsNotBlocker_2 : 451379978
530.99/70.41	c (66,0) c PropsNotBlocker_3 : 438365582
530.99/70.41	c (66,0) c PropsNotBlocker_4 : 439657073
530.99/70.41	c (66,0) c PropsNotBlocker_5 : 449307146
530.99/70.41	c (66,0) c PropsNotBlocker_6 : 454190550
530.99/70.41	c (66,0) c PropsNotBlocker_7 : 442307095
530.99/70.41	c (66,0) c PropsNotBlocker_total : 3552562771
530.99/70.41	c (66,0) c PropsNotBlocker_winner : 434211741
530.99/70.41	c (66,0) c PropsLitFullScans_0 : 3144641025
530.99/70.41	c (66,0) c PropsLitFullScans_1 : 3143753791
530.99/70.41	c (66,0) c PropsLitFullScans_2 : 3138335527
530.99/70.41	c (66,0) c PropsLitFullScans_3 : 3150130790
530.99/70.41	c (66,0) c PropsLitFullScans_4 : 3138309278
530.99/70.41	c (66,0) c PropsLitFullScans_5 : 3138145511
530.99/70.41	c (66,0) c PropsLitFullScans_6 : 3138305157
530.99/70.41	c (66,0) c PropsLitFullScans_7 : 3150219949
530.99/70.41	c (66,0) c PropsLitFullScans_total : 25141841028
530.99/70.41	c (66,0) c PropsLitFullScans_winner : 3143753791
530.99/70.41	c (66,0) c LitScanFractions_0 : 621360
530.99/70.41	c (66,0) c LitScanFractions_1 : 660634
530.99/70.41	c (66,0) c LitScanFractions_2 : 304482
530.99/70.41	c (66,0) c LitScanFractions_3 : 113624
530.99/70.41	c (66,0) c LitScanFractions_4 : 290563
530.99/70.41	c (66,0) c LitScanFractions_5 : 108255
530.99/70.41	c (66,0) c LitScanFractions_6 : 255233
530.99/70.41	c (66,0) c LitScanFractions_7 : 473040
530.99/70.41	c (66,0) c LitScanFractions_total : 2827191
530.99/70.41	c (66,0) c LitScanFractions_winner : 660634
530.99/70.41	c (66,0) c DecisionLevel0_0 : 408
530.99/70.41	c (66,0) c DecisionLevel0_1 : 404
530.99/70.41	c (66,0) c DecisionLevel0_2 : 479
530.99/70.41	c (66,0) c DecisionLevel0_3 : 406
530.99/70.41	c (66,0) c DecisionLevel0_4 : 431
530.99/70.41	c (66,0) c DecisionLevel0_5 : 378
530.99/70.41	c (66,0) c DecisionLevel0_6 : 467
530.99/70.41	c (66,0) c DecisionLevel0_7 : 367
530.99/70.41	c (66,0) c DecisionLevel0_total : 3340
530.99/70.41	c (66,0) c DecisionLevel0_winner : 404
530.99/70.41	c (66,0) c Periods_0 : 524
530.99/70.41	c (66,0) c Periods_1 : 523
530.99/70.41	c (66,0) c Periods_2 : 523
530.99/70.41	c (66,0) c Periods_3 : 525
530.99/70.41	c (66,0) c Periods_4 : 523
530.99/70.41	c (66,0) c Periods_5 : 523
530.99/70.41	c (66,0) c Periods_6 : 523
530.99/70.41	c (66,0) c Periods_7 : 524
530.99/70.41	c (66,0) c Periods_total : 4188
530.99/70.41	c (66,0) c Periods_winner : 523
530.99/70.41	c (66,0) c Margin_0 : 20
530.99/70.41	c (66,0) c Margin_1 : 20
530.99/70.41	c (66,0) c Margin_2 : 20
530.99/70.41	c (66,0) c Margin_3 : 20
530.99/70.41	c (66,0) c Margin_4 : 20
530.99/70.41	c (66,0) c Margin_5 : 20
530.99/70.41	c (66,0) c Margin_6 : 20
530.99/70.41	c (66,0) c Margin_7 : 20
530.99/70.41	c (66,0) c Margin_total : 160
530.99/70.41	c (66,0) c Margin_winner : 20
530.99/70.41	c (66,0) c Exported_0 : 19212
530.99/70.41	c (66,0) c Exported_1 : 18265
530.99/70.41	c (66,0) c Exported_2 : 19152
530.99/70.41	c (66,0) c Exported_3 : 18700
530.99/70.41	c (66,0) c Exported_4 : 18266
530.99/70.41	c (66,0) c Exported_5 : 20251
530.99/70.41	c (66,0) c Exported_6 : 19826
530.99/70.41	c (66,0) c Exported_7 : 19301
530.99/70.41	c (66,0) c Exported_total : 152973
530.99/70.41	c (66,0) c Exported_winner : 18265
530.99/70.41	c (66,0) c Imported_0 : 129251
530.99/70.41	c (66,0) c Imported_1 : 130330
530.99/70.41	c (66,0) c Imported_2 : 129136
530.99/70.41	c (66,0) c Imported_3 : 129996
530.99/70.41	c (66,0) c Imported_4 : 130025
530.99/70.41	c (66,0) c Imported_5 : 127902
530.99/70.41	c (66,0) c Imported_6 : 128336
530.99/70.41	c (66,0) c Imported_7 : 129502
530.99/70.41	c (66,0) c Imported_total : 1034478
530.99/70.41	c (66,0) c Imported_winner : 130330
530.99/70.41	c (66,0) c Good_0 : 10877
530.99/70.41	c (66,0) c Good_1 : 11000
530.99/70.41	c (66,0) c Good_2 : 10855
530.99/70.41	c (66,0) c Good_3 : 10885
530.99/70.41	c (66,0) c Good_4 : 10874
530.99/70.41	c (66,0) c Good_5 : 10340
530.99/70.41	c (66,0) c Good_6 : 10830
530.99/70.41	c (66,0) c Good_7 : 10882
530.99/70.41	c (66,0) c Good_total : 86543
530.99/70.41	c (66,0) c Good_winner : 11000
530.99/70.41	c (66,0) c Purge_0 : 118374
530.99/70.41	c (66,0) c Purge_1 : 119330
530.99/70.41	c (66,0) c Purge_2 : 118281
530.99/70.41	c (66,0) c Purge_3 : 119111
530.99/70.41	c (66,0) c Purge_4 : 119151
530.99/70.41	c (66,0) c Purge_5 : 117562
530.99/70.41	c (66,0) c Purge_6 : 117506
530.99/70.41	c (66,0) c Purge_7 : 118620
530.99/70.41	c (66,0) c Purge_total : 947935
530.99/70.41	c (66,0) c Purge_winner : 119330
530.99/70.41	c (66,0) c Promoted_0 : 16630
530.99/70.41	c (66,0) c Promoted_1 : 16293
530.99/70.41	c (66,0) c Promoted_2 : 17272
530.99/70.41	c (66,0) c Promoted_3 : 15895
530.99/70.41	c (66,0) c Promoted_4 : 17033
530.99/70.41	c (66,0) c Promoted_5 : 15373
530.99/70.41	c (66,0) c Promoted_6 : 16536
530.99/70.41	c (66,0) c Promoted_7 : 16760
530.99/70.41	c (66,0) c Promoted_total : 131792
530.99/70.41	c (66,0) c Promoted_winner : 16293
530.99/70.41	c (66,0) c Remove_Imp_0 : 81335
530.99/70.41	c (66,0) c Remove_Imp_1 : 80733
530.99/70.41	c (66,0) c Remove_Imp_2 : 79190
530.99/70.41	c (66,0) c Remove_Imp_3 : 83031
530.99/70.41	c (66,0) c Remove_Imp_4 : 83126
530.99/70.41	c (66,0) c Remove_Imp_5 : 77004
530.99/70.41	c (66,0) c Remove_Imp_6 : 79186
530.99/70.41	c (66,0) c Remove_Imp_7 : 84105
530.99/70.41	c (66,0) c Remove_Imp_total : 647710
530.99/70.41	c (66,0) c Remove_Imp_winner : 80733
530.99/70.41	c (66,0) c Blocked_Reuse_0 : 0
530.99/70.41	c (66,0) c Blocked_Reuse_1 : 0
530.99/70.41	c (66,0) c Blocked_Reuse_2 : 0
530.99/70.41	c (66,0) c Blocked_Reuse_3 : 0
530.99/70.41	c (66,0) c Blocked_Reuse_4 : 0
530.99/70.41	c (66,0) c Blocked_Reuse_5 : 0
530.99/70.41	c (66,0) c Blocked_Reuse_6 : 0
530.99/70.41	c (66,0) c Blocked_Reuse_7 : 0
530.99/70.41	c (66,0) c Blocked_Reuse_total : 0
530.99/70.41	c (66,0) c Blocked_Reuse_winner : 0
530.99/70.41	c (66,0) c Unaries_0 : 14
530.99/70.41	c (66,0) c Unaries_1 : 21
530.99/70.41	c (66,0) c Unaries_2 : 10
530.99/70.41	c (66,0) c Unaries_3 : 24
530.99/70.41	c (66,0) c Unaries_4 : 20
530.99/70.41	c (66,0) c Unaries_5 : 14
530.99/70.41	c (66,0) c Unaries_6 : 11
530.99/70.41	c (66,0) c Unaries_7 : 27
530.99/70.41	c (66,0) c Unaries_total : 141
530.99/70.41	c (66,0) c Unaries_winner : 21
530.99/70.41	c (66,0) c Binaries_0 : 1524
530.99/70.41	c (66,0) c Binaries_1 : 1427
530.99/70.41	c (66,0) c Binaries_2 : 1540
530.99/70.41	c (66,0) c Binaries_3 : 1525
530.99/70.41	c (66,0) c Binaries_4 : 1536
530.99/70.41	c (66,0) c Binaries_5 : 2049
530.99/70.41	c (66,0) c Binaries_6 : 1555
530.99/70.41	c (66,0) c Binaries_7 : 1542
530.99/70.41	c (66,0) c Binaries_total : 12698
530.99/70.41	c (66,0) c Binaries_winner : 1427
530.99/70.41	c (66,0) c Glues_0 : 6048
530.99/70.41	c (66,0) c Glues_1 : 5883
530.99/70.41	c (66,0) c Glues_2 : 6037
530.99/70.41	c (66,0) c Glues_3 : 5640
530.99/70.41	c (66,0) c Glues_4 : 5964
530.99/70.41	c (66,0) c Glues_5 : 6557
530.99/70.41	c (66,0) c Glues_6 : 6035
530.99/70.41	c (66,0) c Glues_7 : 5873
530.99/70.41	c (66,0) c Glues_total : 48037
530.99/70.41	c (66,0) c Glues_winner : 5883
530.99/70.41	c (66,0) c RunningTime_0 : 64.674745
530.99/70.41	c (66,0) c RunningTime_1 : 64.975579
530.99/70.41	c (66,0) c RunningTime_2 : 65.636003
530.99/70.41	c (66,0) c RunningTime_3 : 64.492652
530.99/70.41	c (66,0) c RunningTime_4 : 65.640858
530.99/70.41	c (66,0) c RunningTime_5 : 65.175012
530.99/70.41	c (66,0) c RunningTime_6 : 65.954154
530.99/70.41	c (66,0) c RunningTime_7 : 63.994803
530.99/70.41	c (66,0) c RunningTime_total : 520.543807
530.99/70.41	c (66,0) c RunningTime_winner : 64.975579
530.99/70.41	c (66,0) c WaitingTime_0 : 0.000711
530.99/70.41	c (66,0) c WaitingTime_1 : 0.000780
530.99/70.41	c (66,0) c WaitingTime_2 : 0.000779
530.99/70.41	c (66,0) c WaitingTime_3 : 0.196933
530.99/70.41	c (66,0) c WaitingTime_4 : 0.000758
530.99/70.41	c (66,0) c WaitingTime_5 : 0.000746
530.99/70.41	c (66,0) c WaitingTime_6 : 0.000604
530.99/70.41	c (66,0) c WaitingTime_7 : 0.672137
530.99/70.41	c (66,0) c WaitingTime_total : 0.873448
530.99/70.41	c (66,0) c WaitingTime_winner : 0.000780
530.99/70.41	c (66,0) c ExchangingTime_0 : 0.063424
530.99/70.41	c (66,0) c ExchangingTime_1 : 0.068664
530.99/70.41	c (66,0) c ExchangingTime_2 : 0.070939
530.99/70.41	c (66,0) c ExchangingTime_3 : 0.064028
530.99/70.41	c (66,0) c ExchangingTime_4 : 0.064200
530.99/70.41	c (66,0) c ExchangingTime_5 : 0.062789
530.99/70.42	c (66,0) c ExchangingTime_6 : 0.064331
530.99/70.42	c (66,0) c ExchangingTime_7 : 0.071143
530.99/70.42	c (66,0) c ExchangingTime_total : 0.529518
530.99/70.42	c (66,0) c ExchangingTime_winner : 0.068664
530.99/70.42	c (66,0) c PeriodProcTime_0 : 0.004330
530.99/70.42	c (66,0) c PeriodProcTime_1 : 0.004175
530.99/70.42	c (66,0) c PeriodProcTime_2 : 0.004132
530.99/70.42	c (66,0) c PeriodProcTime_3 : 0.004124
530.99/70.42	c (66,0) c PeriodProcTime_4 : 0.004088
530.99/70.42	c (66,0) c PeriodProcTime_5 : 0.004850
530.99/70.42	c (66,0) c PeriodProcTime_6 : 0.005841
530.99/70.42	c (66,0) c PeriodProcTime_7 : 0.004273
530.99/70.42	c (66,0) c PeriodProcTime_total : 0.035813
530.99/70.42	c (66,0) c PeriodProcTime_winner : 0.004175
530.99/70.42	c (66,0) c SolvingTime_0 : 64.743211
530.99/70.42	c (66,0) c SolvingTime_1 : 65.049198
530.99/70.42	c (66,0) c SolvingTime_2 : 65.711853
530.99/70.42	c (66,0) c SolvingTime_3 : 64.757737
530.99/70.42	c (66,0) c SolvingTime_4 : 65.709904
530.99/70.42	c (66,0) c SolvingTime_5 : 65.243398
530.99/70.42	c (66,0) c SolvingTime_6 : 66.024930
530.99/70.42	c (66,0) c SolvingTime_7 : 64.742356
530.99/70.42	c (66,0) c SolvingTime_total : 521.982586
530.99/70.42	c (66,0) c SolvingTime_winner : 65.049198
530.99/70.42	c (66,0) c PropagationTime_0 : 59.027714
530.99/70.42	c (66,0) c PropagationTime_1 : 59.258218
530.99/70.42	c (66,0) c PropagationTime_2 : 59.905353
530.99/70.42	c (66,0) c PropagationTime_3 : 59.050333
530.99/70.42	c (66,0) c PropagationTime_4 : 60.011647
530.99/70.42	c (66,0) c PropagationTime_5 : 59.586796
530.99/70.42	c (66,0) c PropagationTime_6 : 60.096487
530.99/70.42	c (66,0) c PropagationTime_7 : 59.022058
530.99/70.42	c (66,0) c PropagationTime_total : 475.958607
530.99/70.42	c (66,0) c PropagationTime_winner : 59.258218
530.99/70.42	c (66,0) c AnalysisTime_0 : 4.033469
530.99/70.42	c (66,0) c AnalysisTime_1 : 4.110123
530.99/70.42	c (66,0) c AnalysisTime_2 : 4.153313
530.99/70.42	c (66,0) c AnalysisTime_3 : 4.036736
530.99/70.42	c (66,0) c AnalysisTime_4 : 4.049057
530.99/70.42	c (66,0) c AnalysisTime_5 : 3.957588
530.99/70.42	c (66,0) c AnalysisTime_6 : 4.247972
530.99/70.42	c (66,0) c AnalysisTime_7 : 4.022154
530.99/70.42	c (66,0) c AnalysisTime_total : 32.610413
530.99/70.42	c (66,0) c AnalysisTime_winner : 4.110123
530.99/70.42	c (66,0) c ReductionTime_0 : 0.259952
530.99/70.42	c (66,0) c ReductionTime_1 : 0.274209
530.99/70.42	c (66,0) c ReductionTime_2 : 0.274226
530.99/70.42	c (66,0) c ReductionTime_3 : 0.268920
530.99/70.42	c (66,0) c ReductionTime_4 : 0.266317
530.99/70.42	c (66,0) c ReductionTime_5 : 0.278764
530.99/70.42	c (66,0) c ReductionTime_6 : 0.264260
530.99/70.42	c (66,0) c ReductionTime_7 : 0.273470
530.99/70.42	c (66,0) c ReductionTime_total : 2.160117
530.99/70.42	c (66,0) c ReductionTime_winner : 0.274209
530.99/70.42	c (66,0) c SimplifyTime_0 : 0.150088
530.99/70.42	c (66,0) c SimplifyTime_1 : 0.170598
530.99/70.42	c (66,0) c SimplifyTime_2 : 0.131907
530.99/70.42	c (66,0) c SimplifyTime_3 : 0.128634
530.99/70.42	c (66,0) c SimplifyTime_4 : 0.139002
530.99/70.42	c (66,0) c SimplifyTime_5 : 0.146293
530.99/70.42	c (66,0) c SimplifyTime_6 : 0.136223
530.99/70.42	c (66,0) c SimplifyTime_7 : 0.196344
530.99/70.42	c (66,0) c SimplifyTime_total : 1.199088
530.99/70.42	c (66,0) c SimplifyTime_winner : 0.170598
530.99/70.42	c (66,0) c UsedRateTime_0 : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_1 : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_2 : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_3 : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_4 : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_5 : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_6 : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_7 : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_total : 0.000000
530.99/70.42	c (66,0) c UsedRateTime_winner : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_0 : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_1 : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_2 : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_3 : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_4 : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_5 : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_6 : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_7 : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_total : 0.000000
530.99/70.42	c (66,0) c OverlapRateTime_winner : 0.000000
530.99/70.42	c (66,0) c
530.99/70.42	c (66,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
530.99/70.42	c (66,0) c
530.99/70.42	c (66,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.42	c (66,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
530.99/70.42	c (66,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.42	c (66,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
530.99/70.42	c (66,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
530.99/70.42	c (66,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
530.99/70.42	c (66,0) c | Initial random_seed   |  856183748 | 1889331297 | 1755930013 | 1246972303 |  137494002 |  770276350 | 2110233369 | 2063115811 |
530.99/70.42	c (66,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
530.99/70.42	c (66,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
530.99/70.42	c (66,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
530.99/70.42	c (66,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
530.99/70.42	c (66,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
530.99/70.42	c (66,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
530.99/70.42	c (66,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
530.99/70.42	c (66,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
530.99/70.42	c (66,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
530.99/70.42	c (66,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
530.99/70.42	c (66,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
530.99/70.42	c (66,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
530.99/70.42	c (66,0) 
530.99/70.42	c (66,0) s UNSATISFIABLE
530.99/70.42	c (66,0) SatSolver.solve End
530.99/70.42	c (66,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
530.99/70.42	c (66,0) Show results Begin
530.99/70.42	s UNSATISFIABLE
530.99/70.42	c (66,0) Show results End
530.99/70.42	c (66,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
530.99/70.43	c (66,0) 66,66,STOP-AFTER(ALL)
530.99/70.43	c END-Prog: Mon Sep 23 13:30:04 CEST 2019

Verifier Data


Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13160 MiB free)
  memory of node 1: 16384 MiB (11745 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405521-1569242356/watcher-4405521-1569242356 -o /tmp/evaluation-result-4405521-1569242356/solver-4405521-1569242356 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --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-4405521-1569242356.xml 

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

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


[startup+0.10011 s]*
/proc/loadavg: 7.85 7.60 7.17 2/210 29203
/proc/meminfo: memFree=25408032/32770624 swapFree=66986356/67108860
[pid=29181] ppid=29178 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29181/stat : 29181 (scop.sh) S 29178 29181 27734 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 500492339 115843072 349 33554432000 4194304 5098028 140734540599984 140734540597240 140011067384444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29732864 140734540604196 140734540604524 140734540604524 140734540607437 0
/proc/29181/statm: 28282 349 296 221 0 87 0
[pid=29184] ppid=29181 vsize=27314120 memory=107820 CPUtime=0.1 cores=0-7
/proc/29184/stat : 29184 (java) S 29181 29181 27734 0 -1 1077944320 6491 0 0 0 8 2 0 0 20 0 20 0 500492340 27969658880 26955 33554432000 4194304 4196468 140722402866432 140722402848976 140486871518967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
/proc/29184/statm: 6828530 26955 2801 1 0 6790935 0
[pid=29184/tid=29185] ppid=29181 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/29184/task/29185/stat : 29185 (java) R 29181 29181 27734 0 -1 4202560 4605 0 0 0 7 2 0 0 20 0 20 0 500492340 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486843345296 140486871540893 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29186] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29186/stat : 29186 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486875761808 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29187] ppid=29181 vsize=27314120 memory=140051675722279 CPUtime=0 cores=0-7
/proc/29184/task/29187/stat : 29187 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486294195216 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29188] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29188/stat : 29188 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486293142416 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29189] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29189/stat : 29189 (java) S 29181 29181 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486292089616 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29190] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29190/stat : 29190 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486291036816 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29191] ppid=29181 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29184/task/29191/stat : 29191 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486289984016 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29192] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29192/stat : 29192 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486288931216 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29193] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29193/stat : 29193 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 26955 33554432000 4194304 4196468 140722402866432 140486287878416 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29194] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29194/stat : 29194 (java) S 29181 29181 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500492344 27969658880 26955 33554432000 4194304 4196468 140722402866432 140485728672624 140486871530114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29195] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29195/stat : 29195 (java) S 29181 29181 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500492344 27969658880 26955 33554432000 4194304 4196468 140722402866432 140484823475744 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29196] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29196/stat : 29196 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492345 27969658880 26955 33554432000 4194304 4196468 140722402866432 140484555040112 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29197] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29197/stat : 29197 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 26955 33554432000 4194304 4196468 140722402866432 140484180531536 140486871537563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29198] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29198/stat : 29198 (java) R 29181 29181 27734 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 26955 33554432000 4194304 4196468 140722402866432 140485727619440 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29199] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29199/stat : 29199 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 26955 33554432000 4194304 4196468 140722402866432 140485726566640 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29200] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29200/stat : 29200 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 26955 33554432000 4194304 4196468 140722402866432 140485725513840 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29201] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29201/stat : 29201 (java) R 29181 29181 27734 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 26955 33554432000 4194304 4196468 140722402866432 140485724461040 140486871540314 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29202] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29202/stat : 29202 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 26955 33554432000 4194304 4196468 140722402866432 140483682626656 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29203] ppid=29181 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29184/task/29203/stat : 29203 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492348 27969658880 26955 33554432000 4194304 4196468 140722402866432 140485723409456 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109216 KiB

[startup+0.209857 s]*
/proc/loadavg: 7.85 7.60 7.17 4/210 29203
/proc/meminfo: memFree=25386780/32770624 swapFree=66986356/67108860
[pid=29181] ppid=29178 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29181/stat : 29181 (scop.sh) S 29178 29181 27734 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 500492339 115843072 349 33554432000 4194304 5098028 140734540599984 140734540597240 140011067384444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29732864 140734540604196 140734540604524 140734540604524 140734540607437 0
/proc/29181/statm: 28282 349 296 221 0 87 0
[pid=29184] ppid=29181 vsize=27314120 memory=126956 CPUtime=0.24 cores=0-7
/proc/29184/stat : 29184 (java) S 29181 29181 27734 0 -1 1077944320 12124 0 0 0 20 4 0 0 20 0 20 0 500492340 27969658880 31739 33554432000 4194304 4196468 140722402866432 140722402848976 140486871518967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
/proc/29184/statm: 6828530 31739 2940 1 0 6790935 0
[pid=29184/tid=29185] ppid=29181 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29184/task/29185/stat : 29185 (java) R 29181 29181 27734 0 -1 4202560 9861 0 0 0 16 3 0 0 20 0 20 0 500492340 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486843318352 140486871532831 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29186] ppid=29181 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/29184/task/29186/stat : 29186 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486875761808 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29187] ppid=29181 vsize=27314120 memory=288370427827406464 CPUtime=0 cores=0-7
/proc/29184/task/29187/stat : 29187 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486294195216 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29188] ppid=29181 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29184/task/29188/stat : 29188 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486293142416 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29189] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29189/stat : 29189 (java) S 29181 29181 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486292089616 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29190] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29190/stat : 29190 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486291036816 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29191] ppid=29181 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29184/task/29191/stat : 29191 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486289984016 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29192] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29192/stat : 29192 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486288931216 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29193] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29193/stat : 29193 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 31739 33554432000 4194304 4196468 140722402866432 140486287878416 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29194] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29194/stat : 29194 (java) S 29181 29181 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500492344 27969658880 31739 33554432000 4194304 4196468 140722402866432 140485728672624 140486871530114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29195] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29195/stat : 29195 (java) S 29181 29181 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500492344 27969658880 31739 33554432000 4194304 4196468 140722402866432 140484823475744 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29196] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29196/stat : 29196 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492345 27969658880 31739 33554432000 4194304 4196468 140722402866432 140484555040112 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29197] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29197/stat : 29197 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 31739 33554432000 4194304 4196468 140722402866432 140484180531536 140486871537563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29198] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29198/stat : 29198 (java) S 29181 29181 27734 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 31739 33554432000 4194304 4196468 140722402866432 140485727619440 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29199] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29199/stat : 29199 (java) S 29181 29181 27734 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 31739 33554432000 4194304 4196468 140722402866432 140485726566640 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29200] ppid=29181 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29184/task/29200/stat : 29200 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 31739 33554432000 4194304 4196468 140722402866432 140485725513840 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29201] ppid=29181 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/29184/task/29201/stat : 29201 (java) S 29181 29181 27734 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 20 0 500492347 27969658880 31739 33554432000 4194304 4196468 140722402866432 140485724461040 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29202] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29202/stat : 29202 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 31739 33554432000 4194304 4196468 140722402866432 140483682626656 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29203] ppid=29181 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29184/task/29203/stat : 29203 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492348 27969658880 31739 33554432000 4194304 4196468 140722402866432 140485723409456 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128352 KiB

[startup+0.309459 s]*
/proc/loadavg: 7.85 7.60 7.17 3/210 29203
/proc/meminfo: memFree=25385380/32770624 swapFree=66986356/67108860
[pid=29181] ppid=29178 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29181/stat : 29181 (scop.sh) S 29178 29181 27734 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 500492339 115843072 349 33554432000 4194304 5098028 140734540599984 140734540597240 140011067384444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29732864 140734540604196 140734540604524 140734540604524 140734540607437 0
/proc/29181/statm: 28282 349 296 221 0 87 0
[pid=29184] ppid=29181 vsize=27314120 memory=130564 CPUtime=0.42 cores=0-7
/proc/29184/stat : 29184 (java) S 29181 29181 27734 0 -1 1077944320 12476 0 0 0 37 5 0 0 20 0 20 0 500492340 27969658880 32641 33554432000 4194304 4196468 140722402866432 140722402848976 140486871518967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
/proc/29184/statm: 6828530 32641 3063 1 0 6790935 0
[pid=29184/tid=29185] ppid=29181 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/29184/task/29185/stat : 29185 (java) R 29181 29181 27734 0 -1 4202560 10045 0 0 0 26 4 0 0 20 0 20 0 500492340 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486843318544 140486855599454 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29186] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29186/stat : 29186 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486875761808 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29187] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29187/stat : 29187 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486294195216 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29188] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29188/stat : 29188 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486293142416 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29189] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29189/stat : 29189 (java) S 29181 29181 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486292089616 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29190] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29190/stat : 29190 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486291036816 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29191] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29191/stat : 29191 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486289984016 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29192] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29192/stat : 29192 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486288931216 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29193] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29193/stat : 29193 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27969658880 32641 33554432000 4194304 4196468 140722402866432 140486287878416 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29194] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29194/stat : 29194 (java) S 29181 29181 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500492344 27969658880 32641 33554432000 4194304 4196468 140722402866432 140485728672624 140486871530114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29195] ppid=29181 vsize=27314120 memory=280103137516928 CPUtime=0 cores=0-7
/proc/29184/task/29195/stat : 29195 (java) S 29181 29181 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500492344 27969658880 32641 33554432000 4194304 4196468 140722402866432 140484823475744 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29196] ppid=29181 vsize=27314120 memory=280103137521536 CPUtime=0 cores=0-7
/proc/29184/task/29196/stat : 29196 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492345 27969658880 32641 33554432000 4194304 4196468 140722402866432 140484555040112 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29197] ppid=29181 vsize=27314120 memory=280103137526144 CPUtime=0 cores=0-7
/proc/29184/task/29197/stat : 29197 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 32641 33554432000 4194304 4196468 140722402866432 140484180531536 140486871537563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29198] ppid=29181 vsize=27314120 memory=280103137530752 CPUtime=0 cores=0-7
/proc/29184/task/29198/stat : 29198 (java) S 29181 29181 27734 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 32641 33554432000 4194304 4196468 140722402866432 140485727619440 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29199] ppid=29181 vsize=27314120 memory=280103137535360 CPUtime=0.01 cores=0-7
/proc/29184/task/29199/stat : 29199 (java) R 29181 29181 27734 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 500492347 27969658880 32641 33554432000 4194304 4196468 140722402866432 140485726566640 140486851362575 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29200] ppid=29181 vsize=27314120 memory=280103137539968 CPUtime=0.01 cores=0-7
/proc/29184/task/29200/stat : 29200 (java) S 29181 29181 27734 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 500492347 27969658880 32641 33554432000 4194304 4196468 140722402866432 140485725513840 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29201] ppid=29181 vsize=27314120 memory=280103137544576 CPUtime=0.07 cores=0-7
/proc/29184/task/29201/stat : 29201 (java) S 29181 29181 27734 0 -1 1077944384 452 0 0 0 7 0 0 0 20 0 20 0 500492347 27969658880 32641 33554432000 4194304 4196468 140722402866432 140485724461040 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29202] ppid=29181 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29202/stat : 29202 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500492347 27969658880 32641 33554432000 4194304 4196468 140722402866432 140483682626656 140486871529173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29203] ppid=29181 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29184/task/29203/stat : 29203 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492348 27969658880 32641 33554432000 4194304 4196468 140722402866432 140485723409456 140486871530114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131960 KiB

[startup+0.700847 s]
/proc/loadavg: 7.85 7.60 7.17 2/210 29203
/proc/meminfo: memFree=25363852/32770624 swapFree=66986356/67108860
[pid=29181] ppid=29178 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29181/stat : 29181 (scop.sh) S 29178 29181 27734 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 500492339 115843072 349 33554432000 4194304 5098028 140734540599984 140734540597240 140011067384444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29732864 140734540604196 140734540604524 140734540604524 140734540607437 0
/proc/29181/statm: 28282 349 296 221 0 87 0
[pid=29184] ppid=29181 vsize=27322516 memory=165788 CPUtime=1 cores=0-7
/proc/29184/stat : 29184 (java) S 29181 29181 27734 0 -1 1077944320 20057 0 0 0 92 8 0 0 20 0 20 0 500492340 27978256384 41447 33554432000 4194304 4196468 140722402866432 140722402848976 140486871518967 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
/proc/29184/statm: 6830629 41447 3183 1 0 6791959 0
[pid=29184/tid=29185] ppid=29181 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/29184/task/29185/stat : 29185 (java) R 29181 29181 27734 0 -1 4202560 17097 0 0 0 62 6 0 0 20 0 20 0 500492340 27978256384 41447 33554432000 4194304 4196468 140722402866432 140486843350704 140486855599454 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29186] ppid=29181 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29186/stat : 29186 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27978256384 41447 33554432000 4194304 4196468 140722402866432 140486875761808 140486871529173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29187] ppid=29181 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29184/task/29187/stat : 29187 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27978256384 41447 33554432000 4194304 4196468 140722402866432 140486294195216 140486871529173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0
[pid=29184/tid=29188] ppid=29181 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/29184/task/29188/stat : 29188 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500492342 27978256384 41447 33554432000 4194304 4196468 140722402866432 140486293142416 140486871529173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140722402874090 140722402874518 140722402874518 140722402877391 0

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

[pid=29204/tid=29216] ppid=29181 vsize=8414124 memory=33264 CPUtime=0 cores=0-7
/proc/29204/task/29216/stat : 29216 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492688 8616062976 30162 33554432000 4194304 4196468 140723188146064 140352551904112 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29217] ppid=29181 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/29204/task/29217/stat : 29217 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140352177395536 140354136102811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29218] ppid=29181 vsize=8414124 memory=532 CPUtime=0.07 cores=0-7
/proc/29204/task/29218/stat : 29218 (java) S 29181 29181 27734 0 -1 1077944384 602 0 0 0 7 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353564052336 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29219] ppid=29181 vsize=8414124 memory=1564 CPUtime=0.03 cores=0-7
/proc/29204/task/29219/stat : 29219 (java) S 29181 29181 27734 0 -1 1077944384 203 0 0 0 3 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353562999536 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29220] ppid=29181 vsize=8414124 memory=924 CPUtime=0.05 cores=0-7
/proc/29204/task/29220/stat : 29220 (java) S 29181 29181 27734 0 -1 1077944384 284 0 0 0 5 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353561946736 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29221] ppid=29181 vsize=8414124 memory=1760 CPUtime=0.2 cores=0-7
/proc/29204/task/29221/stat : 29221 (java) S 29181 29181 27734 0 -1 1077944384 692 0 0 0 20 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353560893936 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29222] ppid=29181 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/29204/task/29222/stat : 29222 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351679490656 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29223] ppid=29181 vsize=8414124 memory=912 CPUtime=0.04 cores=0-7
/proc/29204/task/29223/stat : 29223 (java) S 29181 29181 27734 0 -1 1077944384 7 0 0 0 4 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353559841328 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29225] ppid=29181 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/29204/task/29225/stat : 29225 (java) S 29181 29181 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500492757 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353558787136 140354136108825 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29227] ppid=29181 vsize=8414124 memory=2480 CPUtime=0 cores=0-7
/proc/29204/task/29227/stat : 29227 (java) S 29181 29181 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500492758 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351008391312 140354136106141 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29228] ppid=29181 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/29204/task/29228/stat : 29228 (java) S 29181 29181 27734 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500492758 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351276826640 140354136106141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29229] ppid=29181 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/29204/task/29229/stat : 29229 (java) S 29181 29181 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500492760 8616062976 30162 33554432000 4194304 4196468 140723188146064 140350739963440 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
Current children cumulated CPU time: 529.2 s
Current children cumulated vsize: 9211608 KiB
Current children cumulated memory: 407724 KiB

[startup+70.0012 s]*
/proc/loadavg: 7.95 7.66 7.22 4/219 29249
/proc/meminfo: memFree=25114064/32770624 swapFree=66986356/67108860
[pid=29181] ppid=29178 vsize=113128 memory=1476 CPUtime=10.18 cores=0-7
/proc/29181/stat : 29181 (scop.sh) S 29178 29181 27734 0 -1 4202496 584 30003 0 0 0 0 994 24 20 0 1 0 500492339 115843072 369 33554432000 4194304 5098028 140734540599984 140734540596728 140011067384444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29732864 140734540604196 140734540604524 140734540604524 140734540607437 0
/proc/29181/statm: 28282 369 311 221 0 87 0
[pid=29204] ppid=29181 vsize=8414124 memory=120648 CPUtime=1.2 cores=0-7
/proc/29204/stat : 29204 (java) S 29181 29181 27734 0 -1 1077944320 20114 0 0 0 113 7 0 0 20 0 24 0 500492684 8616062976 30162 33554432000 4194304 4196468 140723188146064 140723188128608 140354136084215 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
/proc/29204/statm: 2103531 30162 3209 1 0 2064875 0
[pid=29224] ppid=29204 vsize=684356 memory=285600 CPUtime=519.06 cores=0-7
/proc/29224/stat : 29224 (manyglucose-4.1) S 29204 29181 27734 0 -1 1077944320 238160 0 0 0 51857 49 0 0 20 0 4 0 500492757 700780544 71400 33554432000 4194304 4454172 140734021877584 140734021875968 140102598090487 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 39743488 140734021882729 140734021882928 140734021882928 140734021885882 0
/proc/29224/statm: 171089 71400 422 64 0 166757 0
[pid=29224/tid=29232] ppid=29204 vsize=684356 memory=0 CPUtime=65.63 cores=0-7
/proc/29224/task/29232/stat : 29232 (manyglucose-4.1) R 29204 29181 27734 0 -1 4202560 29016 0 0 0 6558 5 0 0 20 0 4 0 500492776 700780544 71400 33554432000 4194304 4454172 140734021877584 140102555106152 4351129 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 39743488 140734021882729 140734021882928 140734021882928 140734021885882 0
[pid=29224/tid=29234] ppid=29204 vsize=684356 memory=0 CPUtime=65.61 cores=0-7
/proc/29224/task/29234/stat : 29234 (manyglucose-4.1) R 29204 29181 27734 0 -1 4202560 28642 0 0 0 6557 4 0 0 20 0 4 0 500492776 700780544 71400 33554432000 4194304 4454172 140734021877584 140102538320984 4351725 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 39743488 140734021882729 140734021882928 140734021882928 140734021885882 0
[pid=29224/tid=29236] ppid=29204 vsize=684356 memory=140051675694720 CPUtime=64.25 cores=0-7
/proc/29224/task/29236/stat : 29236 (manyglucose-4.1) R 29204 29181 27734 0 -1 4202560 25524 0 0 0 6420 5 0 0 20 0 4 0 500492776 700780544 71400 33554432000 4194304 4454172 140734021877584 140102521535624 4351345 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 39743488 140734021882729 140734021882928 140734021882928 140734021885882 0
[pid=29204/tid=29205] ppid=29181 vsize=8414124 memory=8317482817917895235 CPUtime=0.75 cores=0-7
/proc/29204/task/29205/stat : 29205 (java) S 29181 29181 27734 0 -1 1077944384 16929 0 0 0 70 5 0 0 20 0 24 0 500492685 8616062976 30162 33554432000 4194304 4196468 140723188146064 140354107924384 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29206] ppid=29181 vsize=8414124 memory=280103139766224 CPUtime=0 cores=0-7
/proc/29204/task/29206/stat : 29206 (java) S 29181 29181 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140354140326544 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29207] ppid=29181 vsize=8414124 memory=280103140093936 CPUtime=0 cores=0-7
/proc/29204/task/29207/stat : 29207 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353962822160 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29208] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29208/stat : 29208 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353620097424 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29209] ppid=29181 vsize=8414124 memory=4784 CPUtime=0 cores=0-7
/proc/29204/task/29209/stat : 29209 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353619044624 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29210] ppid=29181 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/29204/task/29210/stat : 29210 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353617992848 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29211] ppid=29181 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/29204/task/29211/stat : 29211 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353616940048 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29212] ppid=29181 vsize=8414124 memory=3348 CPUtime=0 cores=0-7
/proc/29204/task/29212/stat : 29212 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353615887248 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29213] ppid=29181 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29204/task/29213/stat : 29213 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353614834448 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29214] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29214/stat : 29214 (java) S 29181 29181 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500492687 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353565104496 140354136095362 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29215] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29215/stat : 29215 (java) S 29181 29181 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500492688 8616062976 30162 33554432000 4194304 4196468 140723188146064 140352820339744 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29216] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29216/stat : 29216 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492688 8616062976 30162 33554432000 4194304 4196468 140723188146064 140352551904112 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29217] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29217/stat : 29217 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140352177395536 140354136102811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29218] ppid=29181 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/29204/task/29218/stat : 29218 (java) S 29181 29181 27734 0 -1 1077944384 602 0 0 0 7 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353564052336 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29219] ppid=29181 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/29204/task/29219/stat : 29219 (java) S 29181 29181 27734 0 -1 1077944384 203 0 0 0 3 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353562999536 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29220] ppid=29181 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/29204/task/29220/stat : 29220 (java) S 29181 29181 27734 0 -1 1077944384 284 0 0 0 5 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353561946736 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29221] ppid=29181 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/29204/task/29221/stat : 29221 (java) S 29181 29181 27734 0 -1 1077944384 692 0 0 0 20 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353560893936 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29222] ppid=29181 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/29204/task/29222/stat : 29222 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351679490656 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29223] ppid=29181 vsize=8414124 memory=-1 CPUtime=0.04 cores=0-7
/proc/29204/task/29223/stat : 29223 (java) S 29181 29181 27734 0 -1 1077944384 7 0 0 0 4 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353559841328 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29225] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29225/stat : 29225 (java) S 29181 29181 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500492757 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353558787136 140354136108825 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29227] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29227/stat : 29227 (java) S 29181 29181 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500492758 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351008391312 140354136106141 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29228] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29228/stat : 29228 (java) S 29181 29181 27734 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500492758 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351276826640 140354136106141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29229] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29229/stat : 29229 (java) S 29181 29181 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500492760 8616062976 30162 33554432000 4194304 4196468 140723188146064 140350739963440 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
Current children cumulated CPU time: 530.44 s
Current children cumulated vsize: 9211608 KiB
Current children cumulated memory: 407724 KiB

[startup+70.4012 s]
/proc/loadavg: 7.95 7.66 7.22 4/219 29249
/proc/meminfo: memFree=25114064/32770624 swapFree=66986356/67108860
[pid=29181] ppid=29178 vsize=113128 memory=1476 CPUtime=10.18 cores=0-7
/proc/29181/stat : 29181 (scop.sh) S 29178 29181 27734 0 -1 4202496 584 30003 0 0 0 0 994 24 20 0 1 0 500492339 115843072 369 33554432000 4194304 5098028 140734540599984 140734540596728 140011067384444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29732864 140734540604196 140734540604524 140734540604524 140734540607437 0
/proc/29181/statm: 28282 369 311 221 0 87 0
[pid=29204] ppid=29181 vsize=8414124 memory=120648 CPUtime=1.2 cores=0-7
/proc/29204/stat : 29204 (java) S 29181 29181 27734 0 -1 1077944320 20114 0 0 0 113 7 0 0 20 0 24 0 500492684 8616062976 30162 33554432000 4194304 4196468 140723188146064 140723188128608 140354136084215 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
/proc/29204/statm: 2103531 30162 3209 1 0 2064875 0
[pid=29224] ppid=29204 vsize=667964 memory=285584 CPUtime=519.61 cores=0-7
/proc/29224/stat : 29224 (manyglucose-4.1) S 29204 29181 27734 0 -1 1077944320 238160 0 0 0 51912 49 0 0 20 0 2 0 500492757 683995136 71396 33554432000 4194304 4454172 140734021877584 140734021875968 140102598090487 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 39743488 140734021882729 140734021882928 140734021882928 140734021885882 0
/proc/29224/statm: 166991 71396 422 64 0 162659 0
[pid=29224/tid=29236] ppid=29204 vsize=667964 memory=1984 CPUtime=64.64 cores=0-7
/proc/29224/task/29236/stat : 29236 (manyglucose-4.1) R 29204 29181 27734 0 -1 4202560 25524 0 0 0 6459 5 0 0 20 0 2 0 500492776 683995136 71396 33554432000 4194304 4454172 140734021877584 140102521535624 4332845 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 39743488 140734021882729 140734021882928 140734021882928 140734021885882 0
[pid=29204/tid=29205] ppid=29181 vsize=8414124 memory=2480 CPUtime=0.75 cores=0-7
/proc/29204/task/29205/stat : 29205 (java) S 29181 29181 27734 0 -1 1077944384 16929 0 0 0 70 5 0 0 20 0 24 0 500492685 8616062976 30162 33554432000 4194304 4196468 140723188146064 140354107924384 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29206] ppid=29181 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29204/task/29206/stat : 29206 (java) S 29181 29181 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140354140326544 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29207] ppid=29181 vsize=8414124 memory=120648 CPUtime=0 cores=0-7
/proc/29204/task/29207/stat : 29207 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353962822160 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29208] ppid=29181 vsize=8414124 memory=285548 CPUtime=0 cores=0-7
/proc/29204/task/29208/stat : 29208 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353620097424 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29209] ppid=29181 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/29204/task/29209/stat : 29209 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353619044624 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29210] ppid=29181 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/29204/task/29210/stat : 29210 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353617992848 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29211] ppid=29181 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29204/task/29211/stat : 29211 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353616940048 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29212] ppid=29181 vsize=8414124 memory=120648 CPUtime=0 cores=0-7
/proc/29204/task/29212/stat : 29212 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353615887248 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29213] ppid=29181 vsize=8414124 memory=285548 CPUtime=0 cores=0-7
/proc/29204/task/29213/stat : 29213 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492686 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353614834448 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29214] ppid=29181 vsize=8414124 memory=3352 CPUtime=0 cores=0-7
/proc/29204/task/29214/stat : 29214 (java) S 29181 29181 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500492687 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353565104496 140354136095362 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29215] ppid=29181 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29204/task/29215/stat : 29215 (java) S 29181 29181 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500492688 8616062976 30162 33554432000 4194304 4196468 140723188146064 140352820339744 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29216] ppid=29181 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29204/task/29216/stat : 29216 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492688 8616062976 30162 33554432000 4194304 4196468 140723188146064 140352551904112 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29217] ppid=29181 vsize=8414124 memory=120648 CPUtime=0 cores=0-7
/proc/29204/task/29217/stat : 29217 (java) S 29181 29181 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140352177395536 140354136102811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29218] ppid=29181 vsize=8414124 memory=285600 CPUtime=0.07 cores=0-7
/proc/29204/task/29218/stat : 29218 (java) S 29181 29181 27734 0 -1 1077944384 602 0 0 0 7 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353564052336 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29219] ppid=29181 vsize=8414124 memory=4784 CPUtime=0.03 cores=0-7
/proc/29204/task/29219/stat : 29219 (java) S 29181 29181 27734 0 -1 1077944384 203 0 0 0 3 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353562999536 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29220] ppid=29181 vsize=8414124 memory=4108 CPUtime=0.05 cores=0-7
/proc/29204/task/29220/stat : 29220 (java) S 29181 29181 27734 0 -1 1077944384 284 0 0 0 5 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353561946736 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29221] ppid=29181 vsize=8414124 memory=1412 CPUtime=0.2 cores=0-7
/proc/29204/task/29221/stat : 29221 (java) S 29181 29181 27734 0 -1 1077944384 692 0 0 0 20 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353560893936 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29222] ppid=29181 vsize=8414124 memory=3344 CPUtime=0 cores=0-7
/proc/29204/task/29222/stat : 29222 (java) S 29181 29181 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351679490656 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29223] ppid=29181 vsize=8414124 memory=1 CPUtime=0.04 cores=0-7
/proc/29204/task/29223/stat : 29223 (java) S 29181 29181 27734 0 -1 1077944384 7 0 0 0 4 0 0 0 20 0 24 0 500492691 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353559841328 140354136095362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29225] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29225/stat : 29225 (java) S 29181 29181 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500492757 8616062976 30162 33554432000 4194304 4196468 140723188146064 140353558787136 140354136108825 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29227] ppid=29181 vsize=8414124 memory=59 CPUtime=0 cores=0-7
/proc/29204/task/29227/stat : 29227 (java) S 29181 29181 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500492758 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351008391312 140354136106141 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29228] ppid=29181 vsize=8414124 memory=4 CPUtime=0 cores=0-7
/proc/29204/task/29228/stat : 29228 (java) S 29181 29181 27734 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500492758 8616062976 30162 33554432000 4194304 4196468 140723188146064 140351276826640 140354136106141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
[pid=29204/tid=29229] ppid=29181 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29204/task/29229/stat : 29229 (java) S 29181 29181 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500492760 8616062976 30162 33554432000 4194304 4196468 140723188146064 140350739963440 140354136094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140723188151287 140723188151446 140723188151446 140723188154319 0
Current children cumulated CPU time: 530.99 s
Current children cumulated vsize: 9195216 KiB
Current children cumulated memory: 407708 KiB

Child status: 0
Real time (s): 70.4492
CPU time (s): 531.108
CPU user time (s): 530.262
CPU system time (s): 0.845988
CPU usage (%): 753.888
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 927920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 530.262
system time used= 0.845988
maximum resident set size= 929584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10123
involuntary context switches= 5483


# summary of solver processes directly reported to runsolver:
#   pid: 29181
#   total CPU time (s): 531.108
#   total CPU user time (s): 530.262
#   total CPU system time (s): 0.845988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.715764 second user time and 0.956635 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-23 13:28:54
IDJOB=4405521
IDBENCH=124313
IDSOLVER=2868
FILE ID=node104/4405521-1569242356
RUNJOBID= node104-1569234408-27761
PBS_JOBID= 21704916
Free space on /tmp= 9832 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-16.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-4405521-1569242356/watcher-4405521-1569242356 -o /tmp/evaluation-result-4405521-1569242356/solver-4405521-1569242356 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --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-4405521-1569242356.xml

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

MD5SUM BENCH= a550bb6a39ca50ab9210b9c0283e2640
RANDOM SEED=1477364220

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25503664 kB
MemAvailable:   31817072 kB
Buffers:           87704 kB
Cached:          6290772 kB
SwapCached:        22652 kB
Active:          3175712 kB
Inactive:        3231136 kB
Active(anon):       6236 kB
Inactive(anon):    80080 kB
Active(file):    3169476 kB
Inactive(file):  3151056 kB
Unevictable:      109544 kB
Mlocked:          109544 kB
SwapTotal:      67108860 kB
SwapFree:       66986356 kB
Dirty:             20736 kB
Writeback:             0 kB
AnonPages:        167312 kB
Mapped:            55384 kB
Shmem:             49004 kB
Slab:             451296 kB
SReclaimable:     421336 kB
SUnreclaim:        29960 kB
KernelStack:        3776 kB
PageTables:         5828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-23 13:30:04