Trace number 4405221

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-2042-serial-file.bin HOME/instance-4405221-1569242327.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Mon Sep 23 14:38:03 CEST 2019
0.66/0.56	c PID: 2045
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.29/1.05	c (0,0) Parsing End
1.29/1.05	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 49 ctr, max domain size 64
1.29/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.29/1.06	c (0,0) Constraint Name Generate Begin
1.29/1.06	c (0,0) Ctr:HOME/instance-4405221-1569242327.xml,Add:AllDifferent:Eq:Num:Var
1.29/1.06	c (0,0) Constraint Name Generate End
1.29/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.29/1.06	c (0,0) CSP to CSPinCNF Begin
2.69/1.56	c (1,0) translated 5 (10%) constraints
2.69/1.56	c (1,0) translated 10 (20%) constraints
2.69/1.57	c (1,0) translated 15 (30%) constraints
2.69/1.57	c (1,0) translated 20 (40%) constraints
2.69/1.57	c (1,0) translated 25 (50%) constraints
2.69/1.57	c (1,0) translated 30 (60%) constraints
2.69/1.57	c (1,0) translated 35 (70%) constraints
2.69/1.57	c (1,0) translated 40 (80%) constraints
2.69/1.57	c (1,0) translated 45 (90%) constraints
2.69/1.57	c (1,0) translated 49 (100%) constraints
2.69/1.57	c (1,0) ===========================================
2.69/1.57	c (1,0) Order
2.69/1.57	c (1,0) ===========================================
3.02/1.61	c (1,0) translated 213 (10%) constraints
3.02/1.63	c (1,0) translated 426 (20%) constraints
3.02/1.65	c (1,0) translated 639 (30%) constraints
3.02/1.66	c (1,0) translated 852 (40%) constraints
3.02/1.68	c (1,0) translated 1065 (50%) constraints
3.02/1.69	c (1,1) translated 1278 (60%) constraints
3.44/1.71	c (1,1) translated 1491 (70%) constraints
3.44/1.72	c (1,1) translated 1704 (80%) constraints
3.44/1.73	c (1,1) translated 1917 (90%) constraints
4.53/2.08	c (1,1) translated 2130 (100%) constraints
4.53/2.09	c (1,1) CSP to CSPinCNF End
4.53/2.09	c (1,1) CSP: 64 int (0 aux), 4096 bool (4096 aux), 10370 ctr, max domain size 60
4.53/2.09	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.53/2.09	c (1,1) CSPinCNF Propagation Begin
5.77/2.32	c (1,1) 1672 values, 3565 unsatisfiable literals, and 3587 valid clauses are removed
5.77/2.32	c (1,1) CSPinCNF Propagation End
5.77/2.33	c (1,1) CSP: 64 int (0 aux), 4096 bool (4096 aux), 6783 ctr, max domain size 60
5.77/2.33	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.77/2.33	c (1,1) Simplify CSPinCNF Begin
6.19/2.45	c (1,1) Simplify CSPinCNF End
6.19/2.45	c (1,1) CSP: 64 int (0 aux), 7878 bool (7878 aux), 10565 ctr, max domain size 60
6.19/2.45	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.19/2.45	c (1,1) Calculate Precise Domain Begin
6.19/2.45	c (1,1) 0 values are removed by re-calculation
6.19/2.45	c (1,1) Calculate Precise Domain End
6.19/2.46	c (1,1) CSP: 64 int (0 aux), 7878 bool (7878 aux), 10565 ctr, max domain size 60
6.19/2.46	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.19/2.46	c (1,1) CSPinCNF to SatSolver Begin
7.91/2.88	c (2,2) 1057 (10 %) CSP clauses are encoded (0 SAT variables, 26802 SAT clauses)
8.74/3.05	c (2,2) 2113 (20 %) CSP clauses are encoded (0 SAT variables, 45314 SAT clauses)
9.15/3.14	c (2,2) 3170 (30 %) CSP clauses are encoded (0 SAT variables, 64154 SAT clauses)
9.32/3.22	c (2,2) 4226 (40 %) CSP clauses are encoded (0 SAT variables, 78464 SAT clauses)
9.41/3.30	c (2,2) 5283 (50 %) CSP clauses are encoded (0 SAT variables, 96584 SAT clauses)
9.41/3.34	c (2,2) 6339 (60 %) CSP clauses are encoded (0 SAT variables, 104164 SAT clauses)
9.41/3.35	c (2,2) 7396 (70 %) CSP clauses are encoded (0 SAT variables, 105221 SAT clauses)
9.41/3.36	c (2,2) 8452 (80 %) CSP clauses are encoded (0 SAT variables, 106277 SAT clauses)
9.41/3.37	c (2,2) 9509 (90 %) CSP clauses are encoded (0 SAT variables, 107334 SAT clauses)
9.41/3.39	c (2,2) 10565 (100 %) CSP clauses are encoded (0 SAT variables, 111611 SAT clauses)
9.41/3.39	c (2,2) CSPinCNF to SatSolver End
9.41/3.39	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.41/3.39	c (2,2) 8566 bool, 111623 clause
9.41/3.39	c (2,2) Export Begin
9.61/3.47	c (2,2) Export to HOME/scop-2042-serial-file.bin
9.61/3.47	c (2,2) Export End
9.61/3.48	c (2,2) Export File Size: 0.01 MB
9.61/3.48	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
9.61/3.48	c END-Prog: Mon Sep 23 14:38:06 CEST 2019
0.00/3.50	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2042-serial-file.bin
9.77/3.96	c (0,0) Read Serial File Begin
9.77/3.96	c (0,0) HOME/scop-2042-serial-file.bin
10.56/4.16	c (0,0) Read Serial File End
10.56/4.18	
10.56/4.18	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
10.56/4.18	(Solving Process)
10.56/4.18	
10.56/4.20	c BEGIN-Prog: Mon Sep 23 14:38:06 CEST 2019
10.56/4.20	c PID: 2065
10.56/4.20	c IP: 172.20.3.136
10.56/4.20	c HOST: node136.alineos.net
10.56/4.20	c (0,0) SatSolver.solve Begin
10.56/4.20	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405221-1569242327.xml-scop-2045.cnf
10.73/4.23	c (0,0) c
10.73/4.23	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)
10.73/4.23	c (0,0) c
10.73/4.23	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.73/4.23	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
10.73/4.23	c (0,0) c ========================================[ Problem Statistics ]===========================================
10.73/4.23	c (0,0) c |                                                                                                       |
10.73/4.26	c (0,0) c |  Number of variables:          8566                                                                   |
10.73/4.26	c (0,0) c |  Number of clauses:          111607                                                                   |
10.73/4.26	c (0,0) c |  Parse time:                   0.03 s                                                                 |
10.73/4.26	c (0,0) c |                                                                                                       |
10.92/4.36	c (0,0) c |  Simplification time:          0.10 s                                                                 |
10.92/4.36	c (0,0) c |                                                                                                       |
10.92/4.36	c (0,0) c |  Generating clones                                                                                    |
10.92/4.40	c (0,0) c |  all clones generated. Memory =    95.25Mb.                                                           |
10.92/4.40	c (0,0) c ========================================================================================================|
10.92/4.40	c (0,0) c
10.92/4.40	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
10.92/4.40	c (0,0) c
10.92/4.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.92/4.40	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
10.92/4.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.92/4.40	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
10.92/4.40	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
10.92/4.40	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
10.92/4.40	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
10.92/4.40	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
10.92/4.40	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
10.92/4.40	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
10.92/4.40	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
10.92/4.40	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
10.92/4.40	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
10.92/4.40	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
10.92/4.40	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
10.92/4.40	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
10.92/4.40	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
10.92/4.40	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
10.92/4.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
242.29/33.44	c (29,0) c
242.29/33.44	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
242.29/33.44	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
242.29/33.44	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
242.29/33.44	c (29,0) c |  0 |    138 |     137553 |      64327 |    71444 |    25784 |    10899 |    70263 |     7476 |      228 |  20 |  6.083 |
242.29/33.44	c (29,0) c |  1 |    161 |     127862 |      61961 |    65173 |    23422 |    10061 |    68686 |     6647 |      217 |  20 |  6.082 |
242.29/33.44	c (29,0) c |  2 |    206 |     142370 |      64576 |    75302 |    26030 |    10925 |    69585 |     8202 |      224 |  20 |  6.083 |
242.29/33.44	c (29,0) c |  3 |    154 |     135690 |      65996 |    67773 |    27452 |    10889 |    73169 |     7103 |      236 |  20 |  6.082 |
242.29/33.44	c (29,0) c |  4 |    175 |     134958 |      63667 |    71120 |    25120 |    10455 |    70341 |     7806 |      225 |  20 |  6.082 |
242.29/33.44	c (29,0) c |  5 |    180 |     143524 |      65480 |    72922 |    26933 |    11535 |    69699 |     6474 |      227 |  20 |  6.083 |
242.29/33.44	c (29,0) c |  6 |    182 |     143977 |      63955 |    75561 |    25420 |    10880 |    69679 |     7419 |      224 |  20 |  6.082 |
242.29/33.44	c (29,0) c |  7 |    146 |     138619 |      65096 |    71525 |    26552 |    10573 |    72455 |     8216 |      232 |  20 |  6.083 |
242.29/33.44	c (29,0) c 
242.29/33.44	c (29,0) c synthesis      515058 conflicts   368338837 propagations     2226 conflicts/sec  1591903 propagations/sec
242.29/33.46	c (29,0) c real: 29.2194 s, cpu: 231.383 s, memory: 668.32 Mb
472.32/62.44	c (58,0) c
472.32/62.44	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
472.32/62.44	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
472.32/62.44	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
472.32/62.44	c (58,0) c |  0 |    321 |     241738 |     124336 |    77241 |    30641 |    17796 |   118730 |    14888 |      466 |  20 |  6.317 |
472.32/62.44	c (58,0) c |  1 |    307 |     228289 |     120844 |    71922 |    27268 |    16309 |   115715 |    13802 |      446 |  20 |  6.246 |
472.32/62.44	c (58,0) c |  2 |    402 |     245809 |     124618 |    79308 |    30676 |    17352 |   117693 |    15491 |      458 |  20 |  6.269 |
472.32/62.44	c (58,0) c |  3 |    303 |     232139 |     124341 |    73273 |    28626 |    17139 |   119388 |    13917 |      466 |  20 |  6.281 |
472.32/62.44	c (58,0) c |  4 |    352 |     235677 |     123166 |    75985 |    29358 |    16608 |   117828 |    15047 |      456 |  20 |  6.257 |
472.32/62.44	c (58,0) c |  5 |    316 |     245221 |     126135 |    78138 |    32462 |    18642 |   116732 |    13649 |      460 |  20 |  6.282 |
472.32/62.44	c (58,0) c |  6 |    368 |     247029 |     124488 |    80091 |    31174 |    17855 |   117424 |    14757 |      459 |  20 |  6.269 |
472.32/62.44	c (58,0) c |  7 |    298 |     239921 |     125027 |    75340 |    28433 |    17339 |   119028 |    15075 |      466 |  20 |  6.292 |
472.32/62.44	c (58,0) c 
472.32/62.44	c (58,0) c synthesis      992956 conflicts   682987420 propagations     2152 conflicts/sec  1480538 propagations/sec
472.32/62.44	c (58,0) c real: 58.2194 s, cpu: 461.31 s, memory: 668.32 Mb
531.57/70.85	c (66,0) c
531.57/70.85	c (66,0) c real time : 66.6223 s
531.57/70.85	c (66,0) c cpu time  : 520.213 s
531.57/70.85	c (66,0) c
531.57/70.85	c (66,0) c
531.57/70.85	c (66,0) c
531.57/70.85	c (66,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
531.57/70.85	c (66,0) c
531.57/70.85	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.85	c (66,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
531.57/70.85	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.85	c (66,0) c | Conflicts     |         1123817 |     139178 |     140633 |     140945 |     139079 |     140753 |     142842 |     140900 |     139487 |
531.57/70.85	c (66,0) c | Decisions     |         2124100 |     265696 |     259778 |     271809 |     256608 |     262919 |     271031 |     273788 |     262471 |
531.57/70.85	c (66,0) c | Propagations  |       759356834 |   94169554 |   94172099 |   96050061 |   93982122 |   94857941 |   96764314 |   95109882 |   94250861 |
531.57/70.85	c (66,0) c | ReduceDBs     |              80 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |
531.57/70.85	c (66,0) c | SimpDBs       |             165 |         22 |         22 |         19 |         19 |         20 |         22 |         20 |         21 |
531.57/70.85	c (66,0) c | Restarts      |            3202 |        395 |        383 |        469 |        382 |        412 |        364 |        457 |        340 |
531.57/70.85	c (66,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
531.57/70.85	c (66,0) c | PropBinClauses|      2454194721 |  304062674 |  306412680 |  309489904 |  305632330 |  306438390 |  310627200 |  306946764 |  304584779 |
531.57/70.85	c (66,0) c | PropPreBlocker|     13574550319 | 1688755349 | 1688897505 | 1706901996 | 1697228973 | 1692371495 | 1712878307 | 1697804144 | 1689712550 |
531.57/70.85	c (66,0) c | PropNotBlocker|      3557413845 |  444598315 |  434211741 |  452222675 |  438365582 |  440564166 |  450113142 |  455031129 |  442307095 |
531.57/70.85	c (66,0) c | LitFullScans  |     25175188101 | 3153971015 | 3143753791 | 3144333013 | 3150130790 | 3144351475 | 3144128509 | 3144299559 | 3150219949 |
531.57/70.85	c (66,0) c | LitScanFracts |         2828944 |     622285 |     660634 |     304626 |     113624 |     290937 |     108307 |     255491 |     473040 |
531.57/70.85	c (66,0) c | DecisionLevel0|            3349 |        413 |        404 |        479 |        406 |        432 |        380 |        468 |        367 |
531.57/70.85	c (66,0) c | Periods       |            4193 |        525 |        523 |        524 |        525 |        524 |        524 |        524 |        524 |
531.57/70.85	c (66,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
531.57/70.85	c (66,0) c | Avg_Trail     |                 |       3892 |       3898 |       3887 |       3886 |       3893 |       3907 |       3911 |       3885 |
531.57/70.85	c (66,0) c | Avg_DL        |                 |         17 |         17 |         18 |         18 |         17 |         17 |         18 |         18 |
531.57/70.85	c (66,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
531.57/70.85	c (66,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
531.57/70.85	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.85	c (66,0) c | Exported      |          153171 |      19288 |      18265 |      19180 |      18700 |      18300 |      20280 |      19857 |      19301 |
531.57/70.85	c (66,0) c | Imported      |         1035781 |     129637 |     130330 |     129136 |     129996 |     130193 |     128290 |     128697 |     129502 |
531.57/70.85	c (66,0) c | Good          |           86598 |      10892 |      11000 |      10855 |      10885 |      10881 |      10357 |      10846 |      10882 |
531.57/70.85	c (66,0) c | Purge         |          949183 |     118745 |     119330 |     118281 |     119111 |     119312 |     117933 |     117851 |     118620 |
531.57/70.85	c (66,0) c | Promoted      |          131907 |      16655 |      16293 |      17291 |      15895 |      17058 |      15396 |      16559 |      16760 |
531.57/70.85	c (66,0) c | Remove_Imp    |          647710 |      81335 |      80733 |      79190 |      83031 |      83126 |      77004 |      79186 |      84105 |
531.57/70.85	c (66,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
531.57/70.85	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.85	c (66,0) c | Unaries       |                 |         18 |         21 |         10 |         24 |         20 |         16 |         11 |         27 |
531.57/70.85	c (66,0) c | Binaries      |                 |       1533 |       1427 |       1541 |       1525 |       1540 |       2051 |       1557 |       1542 |
531.57/70.85	c (66,0) c | Glues         |                 |       6068 |       5883 |       6042 |       5640 |       5973 |       6561 |       6040 |       5873 |
531.57/70.85	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.85	c (66,0) c | Orig_Seen     |            76 % |      77703 |      73554 |      79708 |      74120 |      76533 |      78537 |      80461 |      75849 |
531.57/70.85	c (66,0) c | Diff Orig seen|                 |       4149 |      X     |       6154 |        566 |       2979 |       4983 |       6907 |       2295 |
531.57/70.85	c (66,0) c | Hamming       |            11 % |        997 |      X     |        754 |        756 |       1407 |       1159 |        851 |        987 |
531.57/70.85	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.85	c (66,0) c | RunningTime   |                 |   64.9 100%|   66.4 100%|   65.5 100%|   64.1  98%|   65.7 100%|   65.3 100%|   65.3 100%|   64.2  99%|
531.57/70.85	c (66,0) c | WaitingTime   |                 |    0.2   0%|    0.0   0%|    0.0   0%|    1.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.8   1%|
531.57/70.85	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%|
531.57/70.85	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%|
531.57/70.85	c (66,0) c | SolvingTime   |                 |   65.2     |   66.4     |   65.5     |   65.1     |   65.8     |   65.4     |   65.4     |   65.1     |
531.57/70.85	c (66,0) c | PropagationTim|                 |   59.5  91%|   60.6  91%|   59.7  91%|   59.3  91%|   60.1  91%|   59.7  91%|   59.5  91%|   59.3  91%|
531.57/70.85	c (66,0) c | AnalysisTime  |                 |    4.0   6%|    4.1   6%|    4.2   6%|    4.1   6%|    4.0   6%|    4.0   6%|    4.2   6%|    4.1   6%|
531.57/70.85	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%|
531.57/70.85	c (66,0) c | SimplifyTime  |                 |    0.2   0%|    0.2   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.2   0%|
531.57/70.85	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%|
531.57/70.85	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%|
531.57/70.85	c (66,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.85	c (66,0) c
531.57/70.85	c (66,0) c
531.57/70.85	c (66,0) c Threads : 8
531.57/70.85	c (66,0) c Winner : 1
531.57/70.85	c (66,0) c Conflicts_0 : 139178
531.57/70.85	c (66,0) c Conflicts_1 : 140633
531.57/70.85	c (66,0) c Conflicts_2 : 140945
531.57/70.85	c (66,0) c Conflicts_3 : 139079
531.57/70.85	c (66,0) c Conflicts_4 : 140753
531.57/70.85	c (66,0) c Conflicts_5 : 142842
531.57/70.85	c (66,0) c Conflicts_6 : 140900
531.57/70.85	c (66,0) c Conflicts_7 : 139487
531.57/70.85	c (66,0) c Conflicts_total : 1123817
531.57/70.85	c (66,0) c Conflicts_winner : 140633
531.57/70.85	c (66,0) c Decisions_0 : 265696
531.57/70.85	c (66,0) c Decisions_1 : 259778
531.57/70.85	c (66,0) c Decisions_2 : 271809
531.57/70.85	c (66,0) c Decisions_3 : 256608
531.57/70.85	c (66,0) c Decisions_4 : 262919
531.57/70.85	c (66,0) c Decisions_5 : 271031
531.57/70.85	c (66,0) c Decisions_6 : 273788
531.57/70.85	c (66,0) c Decisions_7 : 262471
531.57/70.85	c (66,0) c Decisions_total : 2124100
531.57/70.85	c (66,0) c Decisions_winner : 259778
531.57/70.85	c (66,0) c Propagations_0 : 94169554
531.57/70.85	c (66,0) c Propagations_1 : 94172099
531.57/70.85	c (66,0) c Propagations_2 : 96050061
531.57/70.85	c (66,0) c Propagations_3 : 93982122
531.57/70.85	c (66,0) c Propagations_4 : 94857941
531.57/70.85	c (66,0) c Propagations_5 : 96764314
531.57/70.85	c (66,0) c Propagations_6 : 95109882
531.57/70.85	c (66,0) c Propagations_7 : 94250861
531.57/70.85	c (66,0) c Propagations_total : 759356834
531.57/70.85	c (66,0) c Propagations_winner : 94172099
531.57/70.85	c (66,0) c ReduceDBs_0 : 10
531.57/70.85	c (66,0) c ReduceDBs_1 : 10
531.57/70.85	c (66,0) c ReduceDBs_2 : 10
531.57/70.85	c (66,0) c ReduceDBs_3 : 10
531.57/70.85	c (66,0) c ReduceDBs_4 : 10
531.57/70.85	c (66,0) c ReduceDBs_5 : 10
531.57/70.85	c (66,0) c ReduceDBs_6 : 10
531.57/70.85	c (66,0) c ReduceDBs_7 : 10
531.57/70.85	c (66,0) c ReduceDBs_total : 80
531.57/70.85	c (66,0) c ReduceDBs_winner : 10
531.57/70.85	c (66,0) c SimpDBs_0 : 22
531.57/70.85	c (66,0) c SimpDBs_1 : 22
531.57/70.85	c (66,0) c SimpDBs_2 : 19
531.57/70.85	c (66,0) c SimpDBs_3 : 19
531.57/70.85	c (66,0) c SimpDBs_4 : 20
531.57/70.85	c (66,0) c SimpDBs_5 : 22
531.57/70.85	c (66,0) c SimpDBs_6 : 20
531.57/70.85	c (66,0) c SimpDBs_7 : 21
531.57/70.85	c (66,0) c SimpDBs_total : 165
531.57/70.85	c (66,0) c SimpDBs_winner : 22
531.57/70.85	c (66,0) c Restarts_0 : 395
531.57/70.85	c (66,0) c Restarts_1 : 383
531.57/70.85	c (66,0) c Restarts_2 : 469
531.57/70.85	c (66,0) c Restarts_3 : 382
531.57/70.85	c (66,0) c Restarts_4 : 412
531.57/70.85	c (66,0) c Restarts_5 : 364
531.57/70.85	c (66,0) c Restarts_6 : 457
531.57/70.85	c (66,0) c Restarts_7 : 340
531.57/70.85	c (66,0) c Restarts_total : 3202
531.57/70.85	c (66,0) c Restarts_winner : 383
531.57/70.85	c (66,0) c ForcedImports_0 : 0
531.57/70.85	c (66,0) c ForcedImports_1 : 0
531.57/70.85	c (66,0) c ForcedImports_2 : 0
531.57/70.85	c (66,0) c ForcedImports_3 : 0
531.57/70.85	c (66,0) c ForcedImports_4 : 0
531.57/70.85	c (66,0) c ForcedImports_5 : 0
531.57/70.85	c (66,0) c ForcedImports_6 : 0
531.57/70.85	c (66,0) c ForcedImports_7 : 0
531.57/70.85	c (66,0) c ForcedImports_total : 0
531.57/70.85	c (66,0) c ForcedImports_winner : 0
531.57/70.85	c (66,0) c PropsBinClauses_0 : 304062674
531.57/70.85	c (66,0) c PropsBinClauses_1 : 306412680
531.57/70.85	c (66,0) c PropsBinClauses_2 : 309489904
531.57/70.85	c (66,0) c PropsBinClauses_3 : 305632330
531.57/70.85	c (66,0) c PropsBinClauses_4 : 306438390
531.57/70.85	c (66,0) c PropsBinClauses_5 : 310627200
531.57/70.85	c (66,0) c PropsBinClauses_6 : 306946764
531.57/70.85	c (66,0) c PropsBinClauses_7 : 304584779
531.57/70.85	c (66,0) c PropsBinClauses_total : 2454194721
531.57/70.85	c (66,0) c PropsBinClauses_winner : 306412680
531.57/70.85	c (66,0) c PropsPreBlocker_0 : 1688755349
531.57/70.85	c (66,0) c PropsPreBlocker_1 : 1688897505
531.57/70.85	c (66,0) c PropsPreBlocker_2 : 1706901996
531.57/70.85	c (66,0) c PropsPreBlocker_3 : 1697228973
531.57/70.85	c (66,0) c PropsPreBlocker_4 : 1692371495
531.57/70.85	c (66,0) c PropsPreBlocker_5 : 1712878307
531.57/70.85	c (66,0) c PropsPreBlocker_6 : 1697804144
531.57/70.85	c (66,0) c PropsPreBlocker_7 : 1689712550
531.57/70.85	c (66,0) c PropsPreBlocker_total : 13574550319
531.57/70.85	c (66,0) c PropsPreBlocker_winner : 1688897505
531.57/70.85	c (66,0) c PropsNotBlocker_0 : 444598315
531.57/70.85	c (66,0) c PropsNotBlocker_1 : 434211741
531.57/70.85	c (66,0) c PropsNotBlocker_2 : 452222675
531.57/70.85	c (66,0) c PropsNotBlocker_3 : 438365582
531.57/70.85	c (66,0) c PropsNotBlocker_4 : 440564166
531.57/70.85	c (66,0) c PropsNotBlocker_5 : 450113142
531.57/70.85	c (66,0) c PropsNotBlocker_6 : 455031129
531.57/70.85	c (66,0) c PropsNotBlocker_7 : 442307095
531.57/70.85	c (66,0) c PropsNotBlocker_total : 3557413845
531.57/70.85	c (66,0) c PropsNotBlocker_winner : 434211741
531.57/70.85	c (66,0) c PropsLitFullScans_0 : 3153971015
531.57/70.85	c (66,0) c PropsLitFullScans_1 : 3143753791
531.57/70.85	c (66,0) c PropsLitFullScans_2 : 3144333013
531.57/70.85	c (66,0) c PropsLitFullScans_3 : 3150130790
531.57/70.85	c (66,0) c PropsLitFullScans_4 : 3144351475
531.57/70.85	c (66,0) c PropsLitFullScans_5 : 3144128509
531.57/70.85	c (66,0) c PropsLitFullScans_6 : 3144299559
531.57/70.85	c (66,0) c PropsLitFullScans_7 : 3150219949
531.57/70.85	c (66,0) c PropsLitFullScans_total : 25175188101
531.57/70.85	c (66,0) c PropsLitFullScans_winner : 3143753791
531.57/70.85	c (66,0) c LitScanFractions_0 : 622285
531.57/70.85	c (66,0) c LitScanFractions_1 : 660634
531.57/70.85	c (66,0) c LitScanFractions_2 : 304626
531.57/70.85	c (66,0) c LitScanFractions_3 : 113624
531.57/70.85	c (66,0) c LitScanFractions_4 : 290937
531.57/70.85	c (66,0) c LitScanFractions_5 : 108307
531.57/70.85	c (66,0) c LitScanFractions_6 : 255491
531.57/70.85	c (66,0) c LitScanFractions_7 : 473040
531.57/70.85	c (66,0) c LitScanFractions_total : 2828944
531.57/70.85	c (66,0) c LitScanFractions_winner : 660634
531.57/70.85	c (66,0) c DecisionLevel0_0 : 413
531.57/70.85	c (66,0) c DecisionLevel0_1 : 404
531.57/70.85	c (66,0) c DecisionLevel0_2 : 479
531.57/70.85	c (66,0) c DecisionLevel0_3 : 406
531.57/70.85	c (66,0) c DecisionLevel0_4 : 432
531.57/70.85	c (66,0) c DecisionLevel0_5 : 380
531.57/70.85	c (66,0) c DecisionLevel0_6 : 468
531.57/70.85	c (66,0) c DecisionLevel0_7 : 367
531.57/70.85	c (66,0) c DecisionLevel0_total : 3349
531.57/70.85	c (66,0) c DecisionLevel0_winner : 404
531.57/70.85	c (66,0) c Periods_0 : 525
531.57/70.85	c (66,0) c Periods_1 : 523
531.57/70.85	c (66,0) c Periods_2 : 524
531.57/70.85	c (66,0) c Periods_3 : 525
531.57/70.85	c (66,0) c Periods_4 : 524
531.57/70.85	c (66,0) c Periods_5 : 524
531.57/70.85	c (66,0) c Periods_6 : 524
531.57/70.85	c (66,0) c Periods_7 : 524
531.57/70.85	c (66,0) c Periods_total : 4193
531.57/70.85	c (66,0) c Periods_winner : 523
531.57/70.85	c (66,0) c Margin_0 : 20
531.57/70.85	c (66,0) c Margin_1 : 20
531.57/70.85	c (66,0) c Margin_2 : 20
531.57/70.85	c (66,0) c Margin_3 : 20
531.57/70.85	c (66,0) c Margin_4 : 20
531.57/70.85	c (66,0) c Margin_5 : 20
531.57/70.85	c (66,0) c Margin_6 : 20
531.57/70.85	c (66,0) c Margin_7 : 20
531.57/70.85	c (66,0) c Margin_total : 160
531.57/70.85	c (66,0) c Margin_winner : 20
531.57/70.85	c (66,0) c Exported_0 : 19288
531.57/70.85	c (66,0) c Exported_1 : 18265
531.57/70.85	c (66,0) c Exported_2 : 19180
531.57/70.85	c (66,0) c Exported_3 : 18700
531.57/70.85	c (66,0) c Exported_4 : 18300
531.57/70.85	c (66,0) c Exported_5 : 20280
531.57/70.85	c (66,0) c Exported_6 : 19857
531.57/70.85	c (66,0) c Exported_7 : 19301
531.57/70.85	c (66,0) c Exported_total : 153171
531.57/70.85	c (66,0) c Exported_winner : 18265
531.57/70.86	c (66,0) c Imported_0 : 129637
531.57/70.86	c (66,0) c Imported_1 : 130330
531.57/70.86	c (66,0) c Imported_2 : 129136
531.57/70.86	c (66,0) c Imported_3 : 129996
531.57/70.86	c (66,0) c Imported_4 : 130193
531.57/70.86	c (66,0) c Imported_5 : 128290
531.57/70.86	c (66,0) c Imported_6 : 128697
531.57/70.86	c (66,0) c Imported_7 : 129502
531.57/70.86	c (66,0) c Imported_total : 1035781
531.57/70.86	c (66,0) c Imported_winner : 130330
531.57/70.86	c (66,0) c Good_0 : 10892
531.57/70.86	c (66,0) c Good_1 : 11000
531.57/70.86	c (66,0) c Good_2 : 10855
531.57/70.86	c (66,0) c Good_3 : 10885
531.57/70.86	c (66,0) c Good_4 : 10881
531.57/70.86	c (66,0) c Good_5 : 10357
531.57/70.86	c (66,0) c Good_6 : 10846
531.57/70.86	c (66,0) c Good_7 : 10882
531.57/70.86	c (66,0) c Good_total : 86598
531.57/70.86	c (66,0) c Good_winner : 11000
531.57/70.86	c (66,0) c Purge_0 : 118745
531.57/70.86	c (66,0) c Purge_1 : 119330
531.57/70.86	c (66,0) c Purge_2 : 118281
531.57/70.86	c (66,0) c Purge_3 : 119111
531.57/70.86	c (66,0) c Purge_4 : 119312
531.57/70.86	c (66,0) c Purge_5 : 117933
531.57/70.86	c (66,0) c Purge_6 : 117851
531.57/70.86	c (66,0) c Purge_7 : 118620
531.57/70.86	c (66,0) c Purge_total : 949183
531.57/70.86	c (66,0) c Purge_winner : 119330
531.57/70.86	c (66,0) c Promoted_0 : 16655
531.57/70.86	c (66,0) c Promoted_1 : 16293
531.57/70.86	c (66,0) c Promoted_2 : 17291
531.57/70.86	c (66,0) c Promoted_3 : 15895
531.57/70.86	c (66,0) c Promoted_4 : 17058
531.57/70.86	c (66,0) c Promoted_5 : 15396
531.57/70.86	c (66,0) c Promoted_6 : 16559
531.57/70.86	c (66,0) c Promoted_7 : 16760
531.57/70.86	c (66,0) c Promoted_total : 131907
531.57/70.86	c (66,0) c Promoted_winner : 16293
531.57/70.86	c (66,0) c Remove_Imp_0 : 81335
531.57/70.86	c (66,0) c Remove_Imp_1 : 80733
531.57/70.86	c (66,0) c Remove_Imp_2 : 79190
531.57/70.86	c (66,0) c Remove_Imp_3 : 83031
531.57/70.86	c (66,0) c Remove_Imp_4 : 83126
531.57/70.86	c (66,0) c Remove_Imp_5 : 77004
531.57/70.86	c (66,0) c Remove_Imp_6 : 79186
531.57/70.86	c (66,0) c Remove_Imp_7 : 84105
531.57/70.86	c (66,0) c Remove_Imp_total : 647710
531.57/70.86	c (66,0) c Remove_Imp_winner : 80733
531.57/70.86	c (66,0) c Blocked_Reuse_0 : 0
531.57/70.86	c (66,0) c Blocked_Reuse_1 : 0
531.57/70.86	c (66,0) c Blocked_Reuse_2 : 0
531.57/70.86	c (66,0) c Blocked_Reuse_3 : 0
531.57/70.86	c (66,0) c Blocked_Reuse_4 : 0
531.57/70.86	c (66,0) c Blocked_Reuse_5 : 0
531.57/70.86	c (66,0) c Blocked_Reuse_6 : 0
531.57/70.86	c (66,0) c Blocked_Reuse_7 : 0
531.57/70.86	c (66,0) c Blocked_Reuse_total : 0
531.57/70.86	c (66,0) c Blocked_Reuse_winner : 0
531.57/70.86	c (66,0) c Unaries_0 : 18
531.57/70.86	c (66,0) c Unaries_1 : 21
531.57/70.86	c (66,0) c Unaries_2 : 10
531.57/70.86	c (66,0) c Unaries_3 : 24
531.57/70.86	c (66,0) c Unaries_4 : 20
531.57/70.86	c (66,0) c Unaries_5 : 16
531.57/70.86	c (66,0) c Unaries_6 : 11
531.57/70.86	c (66,0) c Unaries_7 : 27
531.57/70.86	c (66,0) c Unaries_total : 147
531.57/70.86	c (66,0) c Unaries_winner : 21
531.57/70.86	c (66,0) c Binaries_0 : 1533
531.57/70.86	c (66,0) c Binaries_1 : 1427
531.57/70.86	c (66,0) c Binaries_2 : 1541
531.57/70.86	c (66,0) c Binaries_3 : 1525
531.57/70.86	c (66,0) c Binaries_4 : 1540
531.57/70.86	c (66,0) c Binaries_5 : 2051
531.57/70.86	c (66,0) c Binaries_6 : 1557
531.57/70.86	c (66,0) c Binaries_7 : 1542
531.57/70.86	c (66,0) c Binaries_total : 12716
531.57/70.86	c (66,0) c Binaries_winner : 1427
531.57/70.86	c (66,0) c Glues_0 : 6068
531.57/70.86	c (66,0) c Glues_1 : 5883
531.57/70.86	c (66,0) c Glues_2 : 6042
531.57/70.86	c (66,0) c Glues_3 : 5640
531.57/70.86	c (66,0) c Glues_4 : 5973
531.57/70.86	c (66,0) c Glues_5 : 6561
531.57/70.86	c (66,0) c Glues_6 : 6040
531.57/70.86	c (66,0) c Glues_7 : 5873
531.57/70.86	c (66,0) c Glues_total : 48080
531.57/70.86	c (66,0) c Glues_winner : 5883
531.57/70.86	c (66,0) c RunningTime_0 : 64.894699
531.57/70.86	c (66,0) c RunningTime_1 : 66.351269
531.57/70.86	c (66,0) c RunningTime_2 : 65.468314
531.57/70.86	c (66,0) c RunningTime_3 : 64.090829
531.57/70.86	c (66,0) c RunningTime_4 : 65.724755
531.57/70.86	c (66,0) c RunningTime_5 : 65.345646
531.57/70.86	c (66,0) c RunningTime_6 : 65.295375
531.57/70.86	c (66,0) c RunningTime_7 : 64.246142
531.57/70.86	c (66,0) c RunningTime_total : 521.417028
531.57/70.86	c (66,0) c RunningTime_winner : 66.351269
531.57/70.86	c (66,0) c WaitingTime_0 : 0.200133
531.57/70.86	c (66,0) c WaitingTime_1 : 0.000590
531.57/70.86	c (66,0) c WaitingTime_2 : 0.000769
531.57/70.86	c (66,0) c WaitingTime_3 : 0.950633
531.57/70.86	c (66,0) c WaitingTime_4 : 0.000743
531.57/70.86	c (66,0) c WaitingTime_5 : 0.000736
531.57/70.86	c (66,0) c WaitingTime_6 : 0.000786
531.57/70.86	c (66,0) c WaitingTime_7 : 0.773938
531.57/70.86	c (66,0) c WaitingTime_total : 1.928328
531.57/70.86	c (66,0) c WaitingTime_winner : 0.000590
531.57/70.86	c (66,0) c ExchangingTime_0 : 0.063120
531.57/70.86	c (66,0) c ExchangingTime_1 : 0.068559
531.57/70.86	c (66,0) c ExchangingTime_2 : 0.071036
531.57/70.86	c (66,0) c ExchangingTime_3 : 0.068720
531.57/70.86	c (66,0) c ExchangingTime_4 : 0.063752
531.57/70.86	c (66,0) c ExchangingTime_5 : 0.061712
531.57/70.86	c (66,0) c ExchangingTime_6 : 0.065900
531.57/70.86	c (66,0) c ExchangingTime_7 : 0.071942
531.57/70.86	c (66,0) c ExchangingTime_total : 0.534740
531.57/70.86	c (66,0) c ExchangingTime_winner : 0.068559
531.57/70.86	c (66,0) c PeriodProcTime_0 : 0.003995
531.57/70.86	c (66,0) c PeriodProcTime_1 : 0.006967
531.57/70.86	c (66,0) c PeriodProcTime_2 : 0.003914
531.57/70.86	c (66,0) c PeriodProcTime_3 : 0.004948
531.57/70.86	c (66,0) c PeriodProcTime_4 : 0.003829
531.57/70.86	c (66,0) c PeriodProcTime_5 : 0.004172
531.57/70.86	c (66,0) c PeriodProcTime_6 : 0.005584
531.57/70.86	c (66,0) c PeriodProcTime_7 : 0.005224
531.57/70.86	c (66,0) c PeriodProcTime_total : 0.038635
531.57/70.86	c (66,0) c PeriodProcTime_winner : 0.006967
531.57/70.86	c (66,0) c SolvingTime_0 : 65.161947
531.57/70.86	c (66,0) c SolvingTime_1 : 66.427385
531.57/70.86	c (66,0) c SolvingTime_2 : 65.544034
531.57/70.86	c (66,0) c SolvingTime_3 : 65.115129
531.57/70.86	c (66,0) c SolvingTime_4 : 65.793080
531.57/70.86	c (66,0) c SolvingTime_5 : 65.412266
531.57/70.86	c (66,0) c SolvingTime_6 : 65.367645
531.57/70.86	c (66,0) c SolvingTime_7 : 65.097246
531.57/70.86	c (66,0) c SolvingTime_total : 523.918731
531.57/70.86	c (66,0) c SolvingTime_winner : 66.427385
531.57/70.86	c (66,0) c PropagationTime_0 : 59.478985
531.57/70.86	c (66,0) c PropagationTime_1 : 60.595389
531.57/70.86	c (66,0) c PropagationTime_2 : 59.726812
531.57/70.86	c (66,0) c PropagationTime_3 : 59.313098
531.57/70.86	c (66,0) c PropagationTime_4 : 60.078464
531.57/70.86	c (66,0) c PropagationTime_5 : 59.692857
531.57/70.86	c (66,0) c PropagationTime_6 : 59.466279
531.57/70.86	c (66,0) c PropagationTime_7 : 59.292166
531.57/70.86	c (66,0) c PropagationTime_total : 477.644048
531.57/70.86	c (66,0) c PropagationTime_winner : 60.595389
531.57/70.86	c (66,0) c AnalysisTime_0 : 4.017634
531.57/70.86	c (66,0) c AnalysisTime_1 : 4.118595
531.57/70.86	c (66,0) c AnalysisTime_2 : 4.158009
531.57/70.86	c (66,0) c AnalysisTime_3 : 4.111196
531.57/70.86	c (66,0) c AnalysisTime_4 : 4.007151
531.57/70.86	c (66,0) c AnalysisTime_5 : 4.005224
531.57/70.86	c (66,0) c AnalysisTime_6 : 4.208004
531.57/70.86	c (66,0) c AnalysisTime_7 : 4.064378
531.57/70.86	c (66,0) c AnalysisTime_total : 32.690192
531.57/70.86	c (66,0) c AnalysisTime_winner : 4.118595
531.57/70.86	c (66,0) c ReductionTime_0 : 0.257611
531.57/70.86	c (66,0) c ReductionTime_1 : 0.261485
531.57/70.86	c (66,0) c ReductionTime_2 : 0.272636
531.57/70.86	c (66,0) c ReductionTime_3 : 0.272038
531.57/70.86	c (66,0) c ReductionTime_4 : 0.270113
531.57/70.86	c (66,0) c ReductionTime_5 : 0.277919
531.57/70.86	c (66,0) c ReductionTime_6 : 0.281525
531.57/70.86	c (66,0) c ReductionTime_7 : 0.276109
531.57/70.86	c (66,0) c ReductionTime_total : 2.169437
531.57/70.86	c (66,0) c ReductionTime_winner : 0.261485
531.57/70.86	c (66,0) c SimplifyTime_0 : 0.163494
531.57/70.86	c (66,0) c SimplifyTime_1 : 0.157691
531.57/70.86	c (66,0) c SimplifyTime_2 : 0.132956
531.57/70.86	c (66,0) c SimplifyTime_3 : 0.155552
531.57/70.86	c (66,0) c SimplifyTime_4 : 0.138116
531.57/70.86	c (66,0) c SimplifyTime_5 : 0.169997
531.57/70.86	c (66,0) c SimplifyTime_6 : 0.136668
531.57/70.86	c (66,0) c SimplifyTime_7 : 0.209949
531.57/70.86	c (66,0) c SimplifyTime_total : 1.264423
531.57/70.86	c (66,0) c SimplifyTime_winner : 0.157691
531.57/70.86	c (66,0) c UsedRateTime_0 : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_1 : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_2 : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_3 : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_4 : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_5 : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_6 : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_7 : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_total : 0.000000
531.57/70.86	c (66,0) c UsedRateTime_winner : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_0 : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_1 : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_2 : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_3 : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_4 : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_5 : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_6 : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_7 : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_total : 0.000000
531.57/70.86	c (66,0) c OverlapRateTime_winner : 0.000000
531.57/70.86	c (66,0) c
531.57/70.86	c (66,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
531.57/70.86	c (66,0) c
531.57/70.86	c (66,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.86	c (66,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
531.57/70.86	c (66,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.86	c (66,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
531.57/70.86	c (66,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
531.57/70.86	c (66,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
531.57/70.86	c (66,0) c | Initial random_seed   |  106123160 | 1889331297 |  891634799 | 1246972303 | 1421912081 | 1435445863 | 1725817004 | 2063115811 |
531.57/70.86	c (66,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
531.57/70.86	c (66,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
531.57/70.86	c (66,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
531.57/70.86	c (66,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
531.57/70.86	c (66,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
531.57/70.86	c (66,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
531.57/70.86	c (66,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
531.57/70.86	c (66,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
531.57/70.86	c (66,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
531.57/70.86	c (66,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
531.57/70.86	c (66,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
531.57/70.86	c (66,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
531.57/70.86	c (66,0) 
531.57/70.86	c (66,0) s UNSATISFIABLE
531.57/70.87	c (66,0) SatSolver.solve End
531.57/70.87	c (66,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
531.57/70.87	c (66,0) Show results Begin
531.57/70.87	s UNSATISFIABLE
531.57/70.87	c (66,0) Show results End
531.57/70.87	c (66,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
531.57/70.87	c (66,0) 66,66,STOP-AFTER(ALL)
531.57/70.87	c END-Prog: Mon Sep 23 14:39:13 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 (13164 MiB free)
  memory of node 1: 16384 MiB (12303 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=2042, runsolver pid=2039

[startup+0.100168 s]*
/proc/loadavg: 1.59 1.24 1.91 3/211 2064
/proc/meminfo: memFree=25985504/32770624 swapFree=67002076/67108860
[pid=2042] ppid=2039 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/2042/stat : 2042 (scop.sh) S 2039 2042 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500481270 115843072 350 33554432000 4194304 5098028 140732185874832 140732185872088 140615713481340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14221312 140732185883389 140732185883736 140732185883736 140732185886665 0
/proc/2042/statm: 28282 350 297 221 0 87 0
[pid=2045] ppid=2042 vsize=27314120 memory=105792 CPUtime=0.1 cores=0-7
/proc/2045/stat : 2045 (java) S 2042 2042 1211 0 -1 1077944320 6527 0 0 0 8 2 0 0 20 0 20 0 500481270 27969658880 26448 33554432000 4194304 4196468 140725578527136 140725578509680 140378356842231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
/proc/2045/statm: 6828530 26448 2799 1 0 6790935 0
[pid=2045/tid=2046] ppid=2042 vsize=27314120 memory=1400242874264906928 CPUtime=0.09 cores=0-7
/proc/2045/task/2046/stat : 2046 (java) R 2042 2042 1211 0 -1 4202560 4632 0 0 0 7 2 0 0 20 0 20 0 500481270 27969658880 26448 33554432000 4194304 4196468 140725578527136 140378328668560 140378356864157 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2047] ppid=2042 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/2045/task/2047/stat : 2047 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 26448 33554432000 4194304 4196468 140725578527136 140378361084432 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2048] ppid=2042 vsize=27314120 memory=140657771529856 CPUtime=0 cores=0-7
/proc/2045/task/2048/stat : 2048 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377779161744 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2049] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2049/stat : 2049 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377778108688 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2050] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2050/stat : 2050 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377777056144 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2051] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2051/stat : 2051 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377776004112 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2052] ppid=2042 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2045/task/2052/stat : 2052 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377774951568 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2053] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2053/stat : 2053 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377773898512 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2054] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2054/stat : 2054 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377772845968 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2055] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2055/stat : 2055 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481274 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377616697584 140378356853378 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2056] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2056/stat : 2056 (java) S 2042 2042 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500481275 27969658880 26448 33554432000 4194304 4196468 140725578527136 140376107115680 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2057] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2057/stat : 2057 (java) S 2042 2042 1211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500481275 27969658880 26448 33554432000 4194304 4196468 140725578527136 140375972893424 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2058] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2058/stat : 2058 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 26448 33554432000 4194304 4196468 140725578527136 140375598389200 140378356860827 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2059] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2059/stat : 2059 (java) S 2042 2042 1211 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377615645424 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2060] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2060/stat : 2060 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377614592880 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2061] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2061/stat : 2061 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377613539824 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2062] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2062/stat : 2062 (java) S 2042 2042 1211 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377612487280 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2063] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2063/stat : 2063 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481278 27969658880 26448 33554432000 4194304 4196468 140725578527136 140375100484064 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2064] ppid=2042 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2045/task/2064/stat : 2064 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481278 27969658880 26448 33554432000 4194304 4196468 140725578527136 140377611434672 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107192 KiB

[startup+0.210302 s]*
/proc/loadavg: 1.59 1.24 1.91 2/211 2064
/proc/meminfo: memFree=25964200/32770624 swapFree=67002076/67108860
[pid=2042] ppid=2039 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/2042/stat : 2042 (scop.sh) S 2039 2042 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500481270 115843072 350 33554432000 4194304 5098028 140732185874832 140732185872088 140615713481340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14221312 140732185883389 140732185883736 140732185883736 140732185886665 0
/proc/2042/statm: 28282 350 297 221 0 87 0
[pid=2045] ppid=2042 vsize=27314120 memory=124948 CPUtime=0.24 cores=0-7
/proc/2045/stat : 2045 (java) S 2042 2042 1211 0 -1 1077944320 12153 0 0 0 20 4 0 0 20 0 20 0 500481270 27969658880 31237 33554432000 4194304 4196468 140725578527136 140725578509680 140378356842231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
/proc/2045/statm: 6828530 31237 2927 1 0 6790935 0
[pid=2045/tid=2046] ppid=2042 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/2045/task/2046/stat : 2046 (java) R 2042 2042 1211 0 -1 4202560 9868 0 0 0 16 3 0 0 20 0 20 0 500481270 27969658880 31237 33554432000 4194304 4196468 140725578527136 140378328641616 140378338405806 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2047] ppid=2042 vsize=27314120 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/2045/task/2047/stat : 2047 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 31237 33554432000 4194304 4196468 140725578527136 140378361084432 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2048] ppid=2042 vsize=27314120 memory=288371033923241600 CPUtime=0 cores=0-7
/proc/2045/task/2048/stat : 2048 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377779161744 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2049] ppid=2042 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2045/task/2049/stat : 2049 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377778108688 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2050] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2050/stat : 2050 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377777056144 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2051] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2051/stat : 2051 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377776004112 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2052] ppid=2042 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2045/task/2052/stat : 2052 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377774951568 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2053] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2053/stat : 2053 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377773898512 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2054] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2054/stat : 2054 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377772845968 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2055] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2055/stat : 2055 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481274 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377616697584 140378356853378 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2056] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2056/stat : 2056 (java) S 2042 2042 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500481275 27969658880 31237 33554432000 4194304 4196468 140725578527136 140376107115680 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2057] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2057/stat : 2057 (java) S 2042 2042 1211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500481275 27969658880 31237 33554432000 4194304 4196468 140725578527136 140375972893424 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2058] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2058/stat : 2058 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 31237 33554432000 4194304 4196468 140725578527136 140375598389200 140378356860827 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2059] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2059/stat : 2059 (java) S 2042 2042 1211 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377615645424 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2060] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2060/stat : 2060 (java) S 2042 2042 1211 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377614592880 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2061] ppid=2042 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2045/task/2061/stat : 2061 (java) S 2042 2042 1211 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377613539824 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2062] ppid=2042 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/2045/task/2062/stat : 2062 (java) S 2042 2042 1211 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 20 0 500481277 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377612487280 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2063] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2063/stat : 2063 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481278 27969658880 31237 33554432000 4194304 4196468 140725578527136 140375100484064 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2064] ppid=2042 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2045/task/2064/stat : 2064 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481278 27969658880 31237 33554432000 4194304 4196468 140725578527136 140377611434672 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126348 KiB

[startup+0.309416 s]*
/proc/loadavg: 1.59 1.24 1.91 2/211 2064
/proc/meminfo: memFree=25961284/32770624 swapFree=67002076/67108860
[pid=2042] ppid=2039 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/2042/stat : 2042 (scop.sh) S 2039 2042 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500481270 115843072 350 33554432000 4194304 5098028 140732185874832 140732185872088 140615713481340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14221312 140732185883389 140732185883736 140732185883736 140732185886665 0
/proc/2042/statm: 28282 350 297 221 0 87 0
[pid=2045] ppid=2042 vsize=27314120 memory=128288 CPUtime=0.42 cores=0-7
/proc/2045/stat : 2045 (java) S 2042 2042 1211 0 -1 1077944320 12498 0 0 0 37 5 0 0 20 0 20 0 500481270 27969658880 32072 33554432000 4194304 4196468 140725578527136 140725578509680 140378356842231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
/proc/2045/statm: 6828530 32072 2983 1 0 6790935 0
[pid=2045/tid=2046] ppid=2042 vsize=27314120 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/2045/task/2046/stat : 2046 (java) R 2042 2042 1211 0 -1 4202560 10055 0 0 0 26 3 0 0 20 0 20 0 500481270 27969658880 32072 33554432000 4194304 4196468 140725578527136 140378328656096 140378340922718 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2047] ppid=2042 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2045/task/2047/stat : 2047 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 32072 33554432000 4194304 4196468 140725578527136 140378361084432 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2048] ppid=2042 vsize=27314120 memory=1064 CPUtime=0 cores=0-7
/proc/2045/task/2048/stat : 2048 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377779161744 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2049] ppid=2042 vsize=27314120 memory=14008 CPUtime=0 cores=0-7
/proc/2045/task/2049/stat : 2049 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377778108688 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2050] ppid=2042 vsize=27314120 memory=12040 CPUtime=0 cores=0-7
/proc/2045/task/2050/stat : 2050 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377777056144 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2051] ppid=2042 vsize=27314120 memory=2120 CPUtime=0 cores=0-7
/proc/2045/task/2051/stat : 2051 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377776004112 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2052] ppid=2042 vsize=27314120 memory=33660 CPUtime=0 cores=0-7
/proc/2045/task/2052/stat : 2052 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377774951568 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2053] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2053/stat : 2053 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377773898512 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2054] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2054/stat : 2054 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377772845968 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2055] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2055/stat : 2055 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481274 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377616697584 140378356853378 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2056] ppid=2042 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2056/stat : 2056 (java) S 2042 2042 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500481275 27969658880 32072 33554432000 4194304 4196468 140725578527136 140376107115680 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2057] ppid=2042 vsize=27314120 memory=140657628906959 CPUtime=0 cores=0-7
/proc/2045/task/2057/stat : 2057 (java) S 2042 2042 1211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500481275 27969658880 32072 33554432000 4194304 4196468 140725578527136 140375972893424 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2058] ppid=2042 vsize=27314120 memory=67 CPUtime=0 cores=0-7
/proc/2045/task/2058/stat : 2058 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 32072 33554432000 4194304 4196468 140725578527136 140375598389200 140378356860827 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2059] ppid=2042 vsize=27314120 memory=51172 CPUtime=0.01 cores=0-7
/proc/2045/task/2059/stat : 2059 (java) S 2042 2042 1211 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 500481277 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377615645424 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2060] ppid=2042 vsize=27314120 memory=53476 CPUtime=0.02 cores=0-7
/proc/2045/task/2060/stat : 2060 (java) R 2042 2042 1211 0 -1 4202560 127 0 0 0 2 0 0 0 20 0 20 0 500481277 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377614592880 140378337304153 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2061] ppid=2042 vsize=27314120 memory=55780 CPUtime=0 cores=0-7
/proc/2045/task/2061/stat : 2061 (java) S 2042 2042 1211 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 500481277 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377613539824 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2062] ppid=2042 vsize=27314120 memory=58084 CPUtime=0.07 cores=0-7
/proc/2045/task/2062/stat : 2062 (java) S 2042 2042 1211 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 20 0 500481277 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377612487280 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2063] ppid=2042 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7
/proc/2045/task/2063/stat : 2063 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481278 27969658880 32072 33554432000 4194304 4196468 140725578527136 140375100484064 140378356852437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2064] ppid=2042 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7
/proc/2045/task/2064/stat : 2064 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500481278 27969658880 32072 33554432000 4194304 4196468 140725578527136 140377611434672 140378356853378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129688 KiB

[startup+0.700964 s]
/proc/loadavg: 1.59 1.24 1.91 2/211 2064
/proc/meminfo: memFree=25940076/32770624 swapFree=67002076/67108860
[pid=2042] ppid=2039 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/2042/stat : 2042 (scop.sh) S 2039 2042 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500481270 115843072 350 33554432000 4194304 5098028 140732185874832 140732185872088 140615713481340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14221312 140732185883389 140732185883736 140732185883736 140732185886665 0
/proc/2042/statm: 28282 350 297 221 0 87 0
[pid=2045] ppid=2042 vsize=27320392 memory=162548 CPUtime=0.94 cores=0-7
/proc/2045/stat : 2045 (java) S 2042 2042 1211 0 -1 1077944320 19722 0 0 0 86 8 0 0 20 0 20 0 500481270 27976081408 40637 33554432000 4194304 4196468 140725578527136 140725578509680 140378356842231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
/proc/2045/statm: 6830098 40637 3181 1 0 6791447 0
[pid=2045/tid=2046] ppid=2042 vsize=27320392 memory=4580 CPUtime=0.65 cores=0-7
/proc/2045/task/2046/stat : 2046 (java) D 2042 2042 1211 0 -1 4202560 16887 0 0 0 59 6 0 0 20 0 20 0 500481270 27976081408 40637 33554432000 4194304 4196468 140725578527136 140378328681504 140378356864157 0 4 2 25189581 18446744072099568773 0 0 -1 0 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2047] ppid=2042 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2047/stat : 2047 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27976081408 40637 33554432000 4194304 4196468 140725578527136 140378361084432 140378356852437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2048] ppid=2042 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/2045/task/2048/stat : 2048 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500481273 27976081408 40637 33554432000 4194304 4196468 140725578527136 140377779161744 140378356852437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0
[pid=2045/tid=2049] ppid=2042 vsize=27320392 memory=636 CPUtime=0 cores=0-7
/proc/2045/task/2049/stat : 2049 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500481273 27976081408 40637 33554432000 4194304 4196468 140725578527136 140377778108688 140378356852437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30171136 140725578531528 140725578531974 140725578531974 140725578534863 0

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

[pid=2065/tid=2075] ppid=2042 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/2065/task/2075/stat : 2075 (java) S 2042 2042 1211 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500481623 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655758359280 140656463567490 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2076] ppid=2042 vsize=8414124 memory=33660 CPUtime=0 cores=0-7
/proc/2065/task/2076/stat : 2076 (java) S 2042 2042 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500481624 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654877337248 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2077] ppid=2042 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/2065/task/2077/stat : 2077 (java) S 2042 2042 1211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500481624 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654743114992 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2078] ppid=2042 vsize=8414124 memory=140662066497151 CPUtime=0 cores=0-7
/proc/2065/task/2078/stat : 2078 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654368610768 140656463574939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2079] ppid=2042 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/2065/task/2079/stat : 2079 (java) S 2042 2042 1211 0 -1 1077944384 544 0 0 0 7 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655757306096 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2080] ppid=2042 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/2065/task/2080/stat : 2080 (java) S 2042 2042 1211 0 -1 1077944384 77 0 0 0 3 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655756253552 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2081] ppid=2042 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/2065/task/2081/stat : 2081 (java) S 2042 2042 1211 0 -1 1077944384 456 0 0 0 6 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655755200496 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2082] ppid=2042 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/2065/task/2082/stat : 2082 (java) S 2042 2042 1211 0 -1 1077944384 680 0 0 0 20 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655754147952 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2083] ppid=2042 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2065/task/2083/stat : 2083 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653870705632 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2084] ppid=2042 vsize=8414124 memory=776 CPUtime=0.04 cores=0-7
/proc/2065/task/2084/stat : 2084 (java) S 2042 2042 1211 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655753096368 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2086] ppid=2042 vsize=8414124 memory=3540 CPUtime=0 cores=0-7
/proc/2065/task/2086/stat : 2086 (java) S 2042 2042 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655751484864 140656463580953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2088] ppid=2042 vsize=8414124 memory=1232 CPUtime=0 cores=0-7
/proc/2065/task/2088/stat : 2088 (java) S 2042 2042 1211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653199605264 140656463578269 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2089] ppid=2042 vsize=8414124 memory=10600 CPUtime=0 cores=0-7
/proc/2065/task/2089/stat : 2089 (java) S 2042 2042 1211 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653468040848 140656463578269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2090] ppid=2042 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/2065/task/2090/stat : 2090 (java) S 2042 2042 1211 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500481695 8616062976 29605 33554432000 4194304 4196468 140729625062672 140652931177392 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
Current children cumulated CPU time: 531.27 s
Current children cumulated vsize: 9211604 KiB
Current children cumulated memory: 399256 KiB

[startup+70.7012 s]
/proc/loadavg: 5.89 2.59 2.32 3/219 2103
/proc/meminfo: memFree=25698072/32770624 swapFree=67002076/67108860
[pid=2042] ppid=2039 vsize=113128 memory=1476 CPUtime=9.77 cores=0-7
/proc/2042/stat : 2042 (scop.sh) S 2039 2042 1211 0 -1 4202496 581 29235 0 0 0 0 950 27 20 0 1 0 500481270 115843072 369 33554432000 4194304 5098028 140732185874832 140732185871576 140615713481340 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14221312 140732185883389 140732185883736 140732185883736 140732185886665 0
/proc/2042/statm: 28282 369 311 221 0 87 0
[pid=2065] ppid=2042 vsize=8414124 memory=118420 CPUtime=1.2 cores=0-7
/proc/2065/stat : 2065 (java) S 2042 2042 1211 0 -1 1077944320 20090 0 0 0 112 8 0 0 20 0 24 0 500481620 8616062976 29605 33554432000 4194304 4196468 140729625062672 140729625045216 140656463556343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
/proc/2065/statm: 2103531 29605 3207 1 0 2064875 0
[pid=2085] ppid=2065 vsize=684352 memory=279360 CPUtime=520.5 cores=0-7
/proc/2085/stat : 2085 (manyglucose-4.1) S 2065 2042 1211 0 -1 1077944320 211874 0 0 0 52006 44 0 0 20 0 2 0 500481692 700776448 69840 33554432000 4194304 4454172 140721926695920 140721926694304 140452194672375 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25636864 140721926701902 140721926702108 140721926702108 140721926705078 0
/proc/2085/statm: 171088 69840 422 64 0 166756 0
[pid=2085/tid=2092] ppid=2065 vsize=684352 memory=279308 CPUtime=66.29 cores=0-7
/proc/2085/task/2092/stat : 2092 (manyglucose-4.1) R 2065 2042 1211 0 -1 4202560 23509 0 0 0 6623 6 0 0 20 0 2 0 500481711 700776448 69840 33554432000 4194304 4454172 140721926695920 140452160081032 4351243 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 25636864 140721926701902 140721926702108 140721926702108 140721926705078 0
[pid=2065/tid=2066] ppid=2042 vsize=8414124 memory=2024 CPUtime=0.75 cores=0-7
/proc/2065/task/2066/stat : 2066 (java) S 2042 2042 1211 0 -1 1077944384 16906 0 0 0 69 6 0 0 20 0 24 0 500481621 8616062976 29605 33554432000 4194304 4196468 140729625062672 140656435396512 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2067] ppid=2042 vsize=8414124 memory=7686721470317761941 CPUtime=0 cores=0-7
/proc/2065/task/2067/stat : 2067 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140656467799056 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2068] ppid=2042 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/2065/task/2068/stat : 2068 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140656288095376 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2069] ppid=2042 vsize=8414124 memory=1399051139730258233 CPUtime=0 cores=0-7
/proc/2065/task/2069/stat : 2069 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655947729680 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2070] ppid=2042 vsize=8414124 memory=7686721470317761941 CPUtime=0 cores=0-7
/proc/2065/task/2070/stat : 2070 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655946677136 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2071] ppid=2042 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/2065/task/2071/stat : 2071 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655945624080 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2072] ppid=2042 vsize=8414124 memory=3408 CPUtime=0 cores=0-7
/proc/2065/task/2072/stat : 2072 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655944571536 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2073] ppid=2042 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2065/task/2073/stat : 2073 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655943518480 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2074] ppid=2042 vsize=8414124 memory=117840 CPUtime=0 cores=0-7
/proc/2065/task/2074/stat : 2074 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655942465936 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2075] ppid=2042 vsize=8414124 memory=279020 CPUtime=0 cores=0-7
/proc/2065/task/2075/stat : 2075 (java) S 2042 2042 1211 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500481623 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655758359280 140656463567490 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2076] ppid=2042 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/2065/task/2076/stat : 2076 (java) S 2042 2042 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500481624 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654877337248 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2077] ppid=2042 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/2065/task/2077/stat : 2077 (java) S 2042 2042 1211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500481624 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654743114992 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2078] ppid=2042 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/2065/task/2078/stat : 2078 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654368610768 140656463574939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2079] ppid=2042 vsize=8414124 memory=1064 CPUtime=0.07 cores=0-7
/proc/2065/task/2079/stat : 2079 (java) S 2042 2042 1211 0 -1 1077944384 544 0 0 0 7 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655757306096 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2080] ppid=2042 vsize=8414124 memory=14008 CPUtime=0.03 cores=0-7
/proc/2065/task/2080/stat : 2080 (java) S 2042 2042 1211 0 -1 1077944384 77 0 0 0 3 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655756253552 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2081] ppid=2042 vsize=8414124 memory=12040 CPUtime=0.06 cores=0-7
/proc/2065/task/2081/stat : 2081 (java) S 2042 2042 1211 0 -1 1077944384 456 0 0 0 6 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655755200496 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2082] ppid=2042 vsize=8414124 memory=1476 CPUtime=0.2 cores=0-7
/proc/2065/task/2082/stat : 2082 (java) S 2042 2042 1211 0 -1 1077944384 680 0 0 0 20 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655754147952 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2083] ppid=2042 vsize=8414124 memory=117840 CPUtime=0 cores=0-7
/proc/2065/task/2083/stat : 2083 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653870705632 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2084] ppid=2042 vsize=8414124 memory=279284 CPUtime=0.04 cores=0-7
/proc/2065/task/2084/stat : 2084 (java) S 2042 2042 1211 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655753096368 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2086] ppid=2042 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/2065/task/2086/stat : 2086 (java) S 2042 2042 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655751484864 140656463580953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2088] ppid=2042 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/2065/task/2088/stat : 2088 (java) S 2042 2042 1211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653199605264 140656463578269 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2089] ppid=2042 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/2065/task/2089/stat : 2089 (java) S 2042 2042 1211 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653468040848 140656463578269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2090] ppid=2042 vsize=8414124 memory=149565391829674 CPUtime=0 cores=0-7
/proc/2065/task/2090/stat : 2090 (java) S 2042 2042 1211 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500481695 8616062976 29605 33554432000 4194304 4196468 140729625062672 140652931177392 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
Current children cumulated CPU time: 531.47 s
Current children cumulated vsize: 9211604 KiB
Current children cumulated memory: 399256 KiB

[startup+70.8012 s]
/proc/loadavg: 5.89 2.59 2.32 3/219 2103
/proc/meminfo: memFree=25698072/32770624 swapFree=67002076/67108860
[pid=2042] ppid=2039 vsize=113128 memory=1476 CPUtime=9.77 cores=0-7
/proc/2042/stat : 2042 (scop.sh) S 2039 2042 1211 0 -1 4202496 581 29235 0 0 0 0 950 27 20 0 1 0 500481270 115843072 369 33554432000 4194304 5098028 140732185874832 140732185871576 140615713481340 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14221312 140732185883389 140732185883736 140732185883736 140732185886665 0
/proc/2042/statm: 28282 369 311 221 0 87 0
[pid=2065] ppid=2042 vsize=8414124 memory=118420 CPUtime=1.2 cores=0-7
/proc/2065/stat : 2065 (java) S 2042 2042 1211 0 -1 1077944320 20090 0 0 0 112 8 0 0 20 0 24 0 500481620 8616062976 29605 33554432000 4194304 4196468 140729625062672 140729625045216 140656463556343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
/proc/2065/statm: 2103531 29605 3207 1 0 2064875 0
[pid=2085] ppid=2065 vsize=684352 memory=279360 CPUtime=520.6 cores=0-7
/proc/2085/stat : 2085 (manyglucose-4.1) S 2065 2042 1211 0 -1 1077944320 211883 0 0 0 52016 44 0 0 20 0 2 0 500481692 700776448 69840 33554432000 4194304 4454172 140721926695920 140721926694304 140452194672375 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25636864 140721926701902 140721926702108 140721926702108 140721926705078 0
/proc/2085/statm: 171088 69840 422 64 0 166756 0
[pid=2085/tid=2092] ppid=2065 vsize=684352 memory=1476 CPUtime=66.39 cores=0-7
/proc/2085/task/2092/stat : 2092 (manyglucose-4.1) R 2065 2042 1211 0 -1 4202560 23518 0 0 0 6633 6 0 0 20 0 2 0 500481711 700776448 69840 33554432000 4194304 4454172 140721926695920 140452160081032 4350933 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 25636864 140721926701902 140721926702108 140721926702108 140721926705078 0
[pid=2065/tid=2066] ppid=2042 vsize=8414124 memory=281315259954240 CPUtime=0.75 cores=0-7
/proc/2065/task/2066/stat : 2066 (java) S 2042 2042 1211 0 -1 1077944384 16906 0 0 0 69 6 0 0 20 0 24 0 500481621 8616062976 29605 33554432000 4194304 4196468 140729625062672 140656435396512 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2067] ppid=2042 vsize=8414124 memory=278496 CPUtime=0 cores=0-7
/proc/2065/task/2067/stat : 2067 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140656467799056 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2068] ppid=2042 vsize=8414124 memory=6176 CPUtime=0 cores=0-7
/proc/2065/task/2068/stat : 2068 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140656288095376 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2069] ppid=2042 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2065/task/2069/stat : 2069 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655947729680 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2070] ppid=2042 vsize=8414124 memory=118420 CPUtime=0 cores=0-7
/proc/2065/task/2070/stat : 2070 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655946677136 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2071] ppid=2042 vsize=8414124 memory=117840 CPUtime=0 cores=0-7
/proc/2065/task/2071/stat : 2071 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655945624080 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2072] ppid=2042 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2065/task/2072/stat : 2072 (java) S 2042 2042 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655944571536 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2073] ppid=2042 vsize=8414124 memory=118420 CPUtime=0 cores=0-7
/proc/2065/task/2073/stat : 2073 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655943518480 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2074] ppid=2042 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2065/task/2074/stat : 2074 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481622 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655942465936 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2075] ppid=2042 vsize=8414124 memory=118420 CPUtime=0 cores=0-7
/proc/2065/task/2075/stat : 2075 (java) S 2042 2042 1211 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500481623 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655758359280 140656463567490 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2076] ppid=2042 vsize=8414124 memory=6176 CPUtime=0 cores=0-7
/proc/2065/task/2076/stat : 2076 (java) S 2042 2042 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500481624 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654877337248 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2077] ppid=2042 vsize=8414124 memory=636 CPUtime=0 cores=0-7
/proc/2065/task/2077/stat : 2077 (java) S 2042 2042 1211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500481624 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654743114992 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2078] ppid=2042 vsize=8414124 memory=2836 CPUtime=0 cores=0-7
/proc/2065/task/2078/stat : 2078 (java) S 2042 2042 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140654368610768 140656463574939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2079] ppid=2042 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/2065/task/2079/stat : 2079 (java) S 2042 2042 1211 0 -1 1077944384 544 0 0 0 7 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655757306096 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2080] ppid=2042 vsize=8414124 memory=149426207199252 CPUtime=0.03 cores=0-7
/proc/2065/task/2080/stat : 2080 (java) S 2042 2042 1211 0 -1 1077944384 77 0 0 0 3 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655756253552 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2081] ppid=2042 vsize=8414124 memory=149426207199253 CPUtime=0.06 cores=0-7
/proc/2065/task/2081/stat : 2081 (java) S 2042 2042 1211 0 -1 1077944384 456 0 0 0 6 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655755200496 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2082] ppid=2042 vsize=8414124 memory=932 CPUtime=0.2 cores=0-7
/proc/2065/task/2082/stat : 2082 (java) S 2042 2042 1211 0 -1 1077944384 680 0 0 0 20 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655754147952 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2083] ppid=2042 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/2065/task/2083/stat : 2083 (java) S 2042 2042 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653870705632 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2084] ppid=2042 vsize=8414124 memory=920 CPUtime=0.08 cores=0-7
/proc/2065/task/2084/stat : 2084 (java) S 2042 2042 1211 0 -1 1077944384 7 0 0 0 4 4 0 0 20 0 24 0 500481627 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655753096368 140656463567490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2086] ppid=2042 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2065/task/2086/stat : 2086 (java) S 2042 2042 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140655751484864 140656463580953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2088] ppid=2042 vsize=8414124 memory=118420 CPUtime=0 cores=0-7
/proc/2065/task/2088/stat : 2088 (java) S 2042 2042 1211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653199605264 140656463578269 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2089] ppid=2042 vsize=8414124 memory=279360 CPUtime=0 cores=0-7
/proc/2065/task/2089/stat : 2089 (java) S 2042 2042 1211 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500481693 8616062976 29605 33554432000 4194304 4196468 140729625062672 140653468040848 140656463578269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
[pid=2065/tid=2090] ppid=2042 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2065/task/2090/stat : 2090 (java) S 2042 2042 1211 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500481695 8616062976 29605 33554432000 4194304 4196468 140729625062672 140652931177392 140656463566549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22925312 140729625064416 140729625064582 140729625064582 140729625067471 0
Current children cumulated CPU time: 531.57 s
Current children cumulated vsize: 9211604 KiB
Current children cumulated memory: 399256 KiB

Child status: 0
Real time (s): 70.8926
CPU time (s): 531.741
CPU user time (s): 530.909
CPU system time (s): 0.83162
CPU usage (%): 750.065
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 902028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 530.909
system time used= 0.83162
maximum resident set size= 909364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10400
involuntary context switches= 5832


# summary of solver processes directly reported to runsolver:
#   pid: 2042
#   total CPU time (s): 531.741
#   total CPU user time (s): 530.909
#   total CPU system time (s): 0.83162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.74538 second user time and 0.941836 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-23 14:38:02
IDJOB=4405221
IDBENCH=124313
IDSOLVER=2867
FILE ID=node136/4405221-1569242327
RUNJOBID= node136-1569238583-1238
PBS_JOBID= 21704901
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-16.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405221-1569242327/watcher-4405221-1569242327 -o /var/tmp/evaluation-result-4405221-1569242327/solver-4405221-1569242327 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569238583-1238 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405221-1569242327.xml

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

MD5SUM BENCH= a550bb6a39ca50ab9210b9c0283e2640
RANDOM SEED=56212796

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26079348 kB
MemAvailable:   31839088 kB
Buffers:          128336 kB
Cached:          5750764 kB
SwapCached:         3568 kB
Active:          2702456 kB
Inactive:        3185124 kB
Active(anon):       6992 kB
Inactive(anon):    58216 kB
Active(file):    2695464 kB
Inactive(file):  3126908 kB
Unevictable:      108544 kB
Mlocked:          108544 kB
SwapTotal:      67108860 kB
SwapFree:       67002076 kB
Dirty:             20648 kB
Writeback:             0 kB
AnonPages:        114008 kB
Mapped:            54612 kB
Shmem:             48212 kB
Slab:             395984 kB
SReclaimable:     365828 kB
SUnreclaim:        30156 kB
KernelStack:        3728 kB
PageTables:         5812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     516164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-23 14:39:13