Trace number 4392361

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-06-15)UNSAT 522.385 69.5035

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-5721-serial-file.bin HOME/instance-4392361-1568424482.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.57	c BEGIN-Prog: Sat Sep 14 03:27:22 CEST 2019
0.66/0.57	c PID: 5724
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 49 ctr, max domain size 64
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4392361-1568424482.xml,Add:AllDifferent:Eq:Num:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
2.92/1.43	c (0,0) translated 5 (10%) constraints
2.92/1.43	c (0,0) translated 10 (20%) constraints
2.92/1.43	c (0,0) translated 15 (30%) constraints
2.92/1.43	c (0,0) translated 20 (40%) constraints
2.92/1.43	c (0,0) translated 25 (50%) constraints
2.92/1.43	c (0,0) translated 30 (60%) constraints
2.92/1.43	c (0,0) translated 35 (70%) constraints
2.92/1.44	c (0,0) translated 40 (80%) constraints
2.92/1.44	c (0,0) translated 45 (90%) constraints
2.92/1.44	c (0,0) translated 49 (100%) constraints
2.92/1.44	c (0,0) ===========================================
2.92/1.44	c (0,0) Order
2.92/1.44	c (0,0) ===========================================
2.92/1.47	c (0,0) translated 213 (10%) constraints
2.92/1.49	c (0,0) translated 426 (20%) constraints
3.30/1.51	c (0,0) translated 639 (30%) constraints
3.30/1.52	c (0,0) translated 852 (40%) constraints
3.30/1.53	c (0,0) translated 1065 (50%) constraints
3.30/1.55	c (1,0) translated 1278 (60%) constraints
3.30/1.56	c (1,1) translated 1491 (70%) constraints
3.30/1.57	c (1,1) translated 1704 (80%) constraints
3.30/1.58	c (1,1) translated 1917 (90%) constraints
4.89/1.95	c (1,1) translated 2130 (100%) constraints
4.89/1.96	c (1,1) CSP to CSPinCNF End
4.89/1.96	c (1,1) CSP: 64 int (0 aux), 4096 bool (4096 aux), 10370 ctr, max domain size 60
4.89/1.96	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.89/1.96	c (1,1) CSPinCNF Propagation Begin
5.76/2.18	c (1,1) 1672 values, 3565 unsatisfiable literals, and 3587 valid clauses are removed
5.76/2.18	c (1,1) CSPinCNF Propagation End
5.76/2.19	c (1,1) CSP: 64 int (0 aux), 4096 bool (4096 aux), 6783 ctr, max domain size 60
5.76/2.19	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.76/2.19	c (1,1) Simplify CSPinCNF Begin
6.55/2.31	c (1,1) Simplify CSPinCNF End
6.55/2.31	c (1,1) CSP: 64 int (0 aux), 7878 bool (7878 aux), 10565 ctr, max domain size 60
6.55/2.31	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.55/2.31	c (1,1) Calculate Precise Domain Begin
6.55/2.32	c (1,1) 0 values are removed by re-calculation
6.55/2.32	c (1,1) Calculate Precise Domain End
6.55/2.32	c (1,1) CSP: 64 int (0 aux), 7878 bool (7878 aux), 10565 ctr, max domain size 60
6.55/2.32	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.55/2.32	c (1,1) CSPinCNF to SatSolver Begin
8.26/2.74	c (2,2) 1057 (10 %) CSP clauses are encoded (0 SAT variables, 26802 SAT clauses)
8.67/2.85	c (2,2) 2113 (20 %) CSP clauses are encoded (0 SAT variables, 45314 SAT clauses)
9.02/2.94	c (2,2) 3170 (30 %) CSP clauses are encoded (0 SAT variables, 64154 SAT clauses)
9.23/3.01	c (2,2) 4226 (40 %) CSP clauses are encoded (0 SAT variables, 78464 SAT clauses)
9.23/3.10	c (2,2) 5283 (50 %) CSP clauses are encoded (0 SAT variables, 96584 SAT clauses)
9.39/3.13	c (2,2) 6339 (60 %) CSP clauses are encoded (0 SAT variables, 104164 SAT clauses)
9.39/3.14	c (2,2) 7396 (70 %) CSP clauses are encoded (0 SAT variables, 105221 SAT clauses)
9.39/3.15	c (2,2) 8452 (80 %) CSP clauses are encoded (0 SAT variables, 106277 SAT clauses)
9.39/3.16	c (2,2) 9509 (90 %) CSP clauses are encoded (0 SAT variables, 107334 SAT clauses)
9.39/3.18	c (2,2) 10565 (100 %) CSP clauses are encoded (0 SAT variables, 111611 SAT clauses)
9.39/3.18	c (2,2) CSPinCNF to SatSolver End
9.39/3.18	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.39/3.18	c (2,2) 8566 bool, 111623 clause
9.39/3.18	c (2,2) Export Begin
9.55/3.27	c (2,2) Export to HOME/scop-5721-serial-file.bin
9.55/3.27	c (2,2) Export End
9.55/3.27	c (2,2) Export File Size: 0.01 MB
9.55/3.27	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
9.55/3.27	c END-Prog: Sat Sep 14 03:27:25 CEST 2019
9.55/3.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5721-serial-file.bin
9.70/3.74	c (0,0) Read Serial File Begin
9.70/3.74	c (0,0) HOME/scop-5721-serial-file.bin
9.70/3.94	c (0,0) Read Serial File End
9.70/3.95	
9.70/3.95	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
9.70/3.95	(Solving Process)
9.70/3.95	
9.70/3.97	c BEGIN-Prog: Sat Sep 14 03:27:26 CEST 2019
9.70/3.97	c PID: 5744
9.70/3.97	c IP: 172.20.3.146
9.70/3.97	c HOST: node146.alineos.net
9.70/3.98	c (0,0) SatSolver.solve Begin
9.70/3.98	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392361-1568424482.xml-scop-5724.cnf
9.70/4.00	c (0,0) c
9.70/4.00	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)
9.70/4.00	c (0,0) c
9.70/4.00	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.70/4.00	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
9.70/4.00	c (0,0) c ========================================[ Problem Statistics ]===========================================
9.70/4.00	c (0,0) c |                                                                                                       |
10.73/4.04	c (0,0) c |  Number of variables:          8566                                                                   |
10.73/4.04	c (0,0) c |  Number of clauses:          111607                                                                   |
10.73/4.04	c (0,0) c |  Parse time:                   0.04 s                                                                 |
10.73/4.04	c (0,0) c |                                                                                                       |
10.93/4.14	c (0,0) c |  Simplification time:          0.10 s                                                                 |
10.93/4.14	c (0,0) c |                                                                                                       |
10.93/4.14	c (0,0) c |  Generating clones                                                                                    |
10.93/4.18	c (0,0) c |  all clones generated. Memory =    95.25Mb.                                                           |
10.93/4.18	c (0,0) c ========================================================================================================|
10.93/4.18	c (0,0) c
10.93/4.18	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
10.93/4.18	c (0,0) c
10.93/4.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.93/4.18	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
10.93/4.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.93/4.18	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
10.93/4.18	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
10.93/4.18	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
10.93/4.18	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
10.93/4.18	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
10.93/4.18	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
10.93/4.18	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
10.93/4.18	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
10.93/4.18	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
10.93/4.18	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
10.93/4.18	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
10.93/4.18	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
10.93/4.18	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
10.93/4.18	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
10.93/4.18	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
10.93/4.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
247.98/33.91	c (30,0) c
247.98/33.91	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
247.98/33.91	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
247.98/33.91	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
247.98/33.91	c (30,0) c |  0 |    141 |     142118 |      66963 |    71701 |    28420 |    11250 |    73235 |     7815 |      239 |  20 |  6.082 |
247.98/33.91	c (30,0) c |  1 |    169 |     136708 |      67047 |    65849 |    28508 |    10727 |    72317 |     7363 |      238 |  20 |  6.083 |
247.98/33.91	c (30,0) c |  2 |    207 |     143730 |      65526 |    75424 |    26980 |    11020 |    70644 |     8325 |      227 |  20 |  6.082 |
247.98/33.91	c (30,0) c |  3 |    155 |     137025 |      66938 |    67844 |    28394 |    10972 |    74087 |     7238 |      240 |  20 |  6.082 |
247.98/33.91	c (30,0) c |  4 |    185 |     140446 |      66416 |    71886 |    27870 |    10813 |    73063 |     8295 |      236 |  20 |  6.082 |
247.98/33.91	c (30,0) c |  5 |    183 |     146571 |      67024 |    73344 |    28477 |    11759 |    71403 |     6787 |      233 |  20 |  6.083 |
247.98/33.91	c (30,0) c |  6 |    190 |     149514 |      67047 |    76072 |    28512 |    11207 |    72861 |     8019 |      236 |  20 |  6.082 |
247.98/33.91	c (30,0) c |  7 |    146 |     138835 |      65219 |    71530 |    26675 |    10587 |    72455 |     8244 |      233 |  20 |  6.083 |
247.98/33.91	c (30,0) c 
247.98/33.91	c (30,0) c synthesis      532180 conflicts   380160561 propagations     2247 conflicts/sec  1605440 propagations/sec
247.98/33.91	c (30,0) c real: 29.9032 s, cpu: 236.795 s, memory: 668.32 Mb
478.72/62.90	c (59,0) c
478.72/62.90	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
478.72/62.90	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
478.72/62.90	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
478.72/62.90	c (59,0) c |  0 |    340 |     248221 |     128196 |    77359 |    33246 |    18170 |   121306 |    15384 |      481 |  20 |  6.339 |
478.72/62.90	c (59,0) c |  1 |    346 |     242875 |     129550 |    72963 |    33612 |    17086 |   122282 |    14986 |      481 |  20 |  6.316 |
478.72/62.90	c (59,0) c |  2 |    404 |     246845 |     125255 |    79343 |    31311 |    17426 |   118215 |    15583 |      461 |  20 |  6.281 |
478.72/62.90	c (59,0) c |  3 |    324 |     239169 |     128162 |    73449 |    32219 |    17524 |   121900 |    14460 |      481 |  20 |  6.316 |
478.72/62.90	c (59,0) c |  4 |    367 |     243156 |     127720 |    76176 |    33650 |    17020 |   120906 |    15628 |      473 |  20 |  6.281 |
478.72/62.90	c (59,0) c |  5 |    322 |     248435 |     128213 |    78189 |    33839 |    18833 |   118131 |    13876 |      468 |  20 |  6.327 |
478.72/62.90	c (59,0) c |  6 |    390 |     254257 |     128794 |    80180 |    34545 |    18384 |   120137 |    15297 |      476 |  20 |  6.292 |
478.72/62.90	c (59,0) c |  7 |    304 |     243464 |     127119 |    75443 |    30077 |    17585 |   120707 |    15330 |      475 |  20 |  6.304 |
478.72/62.90	c (59,0) c 
478.72/62.90	c (59,0) c synthesis     1023009 conflicts   700809005 propagations     2189 conflicts/sec  1499346 propagations/sec
478.72/62.90	c (59,0) c real: 58.9032 s, cpu: 467.41 s, memory: 668.32 Mb
522.20/69.46	c (65,0) c
522.20/69.46	c (65,0) c real time : 65.4593 s
522.20/69.46	c (65,0) c cpu time  : 510.907 s
522.20/69.46	c (65,0) c
522.20/69.46	c (65,0) c
522.20/69.46	c (65,0) c
522.20/69.46	c (65,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
522.20/69.46	c (65,0) c
522.20/69.46	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.46	c (65,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
522.20/69.46	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.46	c (65,0) c | Conflicts     |         1121634 |     138978 |     140633 |     140669 |     138825 |     140445 |     142574 |     140560 |     138950 |
522.20/69.46	c (65,0) c | Decisions     |         2121153 |     265394 |     259778 |     271468 |     256248 |     262516 |     270672 |     273334 |     261743 |
522.20/69.46	c (65,0) c | Propagations  |       758090599 |   94074219 |   94172099 |   95878723 |   93825986 |   94669717 |   96619046 |   94929216 |   93921593 |
522.20/69.46	c (65,0) c | ReduceDBs     |              80 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |
522.20/69.46	c (65,0) c | SimpDBs       |             163 |         22 |         22 |         19 |         19 |         20 |         21 |         20 |         20 |
522.20/69.46	c (65,0) c | Restarts      |            3199 |        395 |        383 |        469 |        381 |        411 |        364 |        456 |        340 |
522.20/69.46	c (65,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
522.20/69.46	c (65,0) c | PropBinClauses|      2450000722 |  303791731 |  306412680 |  308894167 |  305135186 |  305836589 |  310131519 |  306353226 |  303445624 |
522.20/69.46	c (65,0) c | PropPreBlocker|     13553760107 | 1687295830 | 1688897505 | 1703915535 | 1694828806 | 1689415639 | 1710373444 | 1694868201 | 1684165147 |
522.20/69.46	c (65,0) c | PropNotBlocker|      3550958407 |  444007639 |  434211741 |  451379978 |  437612877 |  439657073 |  449307146 |  454190550 |  440591403 |
522.20/69.46	c (65,0) c | LitFullScans  |     25131282885 | 3150640669 | 3143753791 | 3138335527 | 3145298675 | 3138309278 | 3138145511 | 3138305157 | 3138494277 |
522.20/69.46	c (65,0) c | LitScanFracts |         2827917 |     622285 |     660634 |     304482 |     113593 |     290563 |     108255 |     255233 |     472872 |
522.20/69.46	c (65,0) c | DecisionLevel0|            3327 |        409 |        404 |        479 |        398 |        431 |        378 |        467 |        361 |
522.20/69.46	c (65,0) c | Periods       |            4187 |        525 |        523 |        523 |        524 |        523 |        523 |        523 |        523 |
522.20/69.46	c (65,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
522.20/69.46	c (65,0) c | Avg_Trail     |                 |       3894 |       3898 |       3887 |       3887 |       3895 |       3908 |       3912 |       3887 |
522.20/69.46	c (65,0) c | Avg_DL        |                 |         17 |         17 |         18 |         18 |         17 |         17 |         18 |         18 |
522.20/69.46	c (65,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
522.20/69.46	c (65,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
522.20/69.46	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.46	c (65,0) c | Exported      |          152863 |      19249 |      18265 |      19152 |      18654 |      18266 |      20251 |      19826 |      19200 |
522.20/69.46	c (65,0) c | Imported      |         1033943 |     129430 |     130330 |     129136 |     129996 |     130025 |     127902 |     128336 |     128788 |
522.20/69.46	c (65,0) c | Good          |           86518 |      10881 |      11000 |      10855 |      10885 |      10874 |      10340 |      10830 |      10853 |
522.20/69.46	c (65,0) c | Purge         |          947425 |     118549 |     119330 |     118281 |     119111 |     119151 |     117562 |     117506 |     117935 |
522.20/69.46	c (65,0) c | Promoted      |          131774 |      16649 |      16293 |      17272 |      15879 |      17033 |      15373 |      16536 |      16739 |
522.20/69.46	c (65,0) c | Remove_Imp    |          647710 |      81335 |      80733 |      79190 |      83031 |      83126 |      77004 |      79186 |      84105 |
522.20/69.46	c (65,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
522.20/69.46	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.46	c (65,0) c | Unaries       |                 |         14 |         21 |         10 |         17 |         20 |         14 |         11 |         21 |
522.20/69.46	c (65,0) c | Binaries      |                 |       1526 |       1427 |       1540 |       1516 |       1536 |       2049 |       1555 |       1526 |
522.20/69.46	c (65,0) c | Glues         |                 |       6056 |       5883 |       6037 |       5626 |       5964 |       6557 |       6035 |       5843 |
522.20/69.46	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.46	c (65,0) c | Orig_Seen     |            76 % |      77702 |      73554 |      79706 |      74113 |      76521 |      78531 |      80451 |      75819 |
522.20/69.46	c (65,0) c | Diff Orig seen|                 |       4148 |      X     |       6152 |        559 |       2967 |       4977 |       6897 |       2265 |
522.20/69.46	c (65,0) c | Hamming       |            11 % |        960 |      X     |       1099 |        943 |        856 |        913 |       1119 |        752 |
522.20/69.46	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.46	c (65,0) c | RunningTime   |                 |   63.5 100%|   63.5 100%|   65.2 100%|   63.2  99%|   64.2 100%|   64.7 100%|   63.9 100%|   63.9 100%|
522.20/69.46	c (65,0) c | WaitingTime   |                 |    0.2   0%|    0.1   0%|    0.0   0%|    0.5   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
522.20/69.46	c (65,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%|
522.20/69.46	c (65,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%|
522.20/69.46	c (65,0) c | SolvingTime   |                 |   63.8     |   63.7     |   65.3     |   63.7     |   64.3     |   64.7     |   64.0     |   64.0     |
522.20/69.46	c (65,0) c | PropagationTim|                 |   58.0  91%|   57.9  91%|   59.6  91%|   57.9  91%|   58.8  91%|   58.9  91%|   57.9  90%|   58.2  91%|
522.20/69.46	c (65,0) c | AnalysisTime  |                 |    4.0   6%|    4.1   6%|    4.1   6%|    4.1   6%|    3.9   6%|    4.0   6%|    4.3   7%|    4.1   6%|
522.20/69.46	c (65,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%|
522.20/69.46	c (65,0) c | SimplifyTime  |                 |    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
522.20/69.46	c (65,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%|
522.20/69.46	c (65,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%|
522.20/69.46	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.46	c (65,0) c
522.20/69.46	c (65,0) c
522.20/69.46	c (65,0) c Threads : 8
522.20/69.46	c (65,0) c Winner : 1
522.20/69.46	c (65,0) c Conflicts_0 : 138978
522.20/69.46	c (65,0) c Conflicts_1 : 140633
522.20/69.46	c (65,0) c Conflicts_2 : 140669
522.20/69.46	c (65,0) c Conflicts_3 : 138825
522.20/69.46	c (65,0) c Conflicts_4 : 140445
522.20/69.46	c (65,0) c Conflicts_5 : 142574
522.20/69.46	c (65,0) c Conflicts_6 : 140560
522.20/69.46	c (65,0) c Conflicts_7 : 138950
522.20/69.46	c (65,0) c Conflicts_total : 1121634
522.20/69.46	c (65,0) c Conflicts_winner : 140633
522.20/69.46	c (65,0) c Decisions_0 : 265394
522.20/69.46	c (65,0) c Decisions_1 : 259778
522.20/69.46	c (65,0) c Decisions_2 : 271468
522.20/69.46	c (65,0) c Decisions_3 : 256248
522.20/69.46	c (65,0) c Decisions_4 : 262516
522.20/69.46	c (65,0) c Decisions_5 : 270672
522.20/69.46	c (65,0) c Decisions_6 : 273334
522.20/69.46	c (65,0) c Decisions_7 : 261743
522.20/69.46	c (65,0) c Decisions_total : 2121153
522.20/69.46	c (65,0) c Decisions_winner : 259778
522.20/69.46	c (65,0) c Propagations_0 : 94074219
522.20/69.46	c (65,0) c Propagations_1 : 94172099
522.20/69.46	c (65,0) c Propagations_2 : 95878723
522.20/69.46	c (65,0) c Propagations_3 : 93825986
522.20/69.46	c (65,0) c Propagations_4 : 94669717
522.20/69.46	c (65,0) c Propagations_5 : 96619046
522.20/69.46	c (65,0) c Propagations_6 : 94929216
522.20/69.46	c (65,0) c Propagations_7 : 93921593
522.20/69.46	c (65,0) c Propagations_total : 758090599
522.20/69.46	c (65,0) c Propagations_winner : 94172099
522.20/69.46	c (65,0) c ReduceDBs_0 : 10
522.20/69.46	c (65,0) c ReduceDBs_1 : 10
522.20/69.46	c (65,0) c ReduceDBs_2 : 10
522.20/69.46	c (65,0) c ReduceDBs_3 : 10
522.20/69.46	c (65,0) c ReduceDBs_4 : 10
522.20/69.46	c (65,0) c ReduceDBs_5 : 10
522.20/69.46	c (65,0) c ReduceDBs_6 : 10
522.20/69.46	c (65,0) c ReduceDBs_7 : 10
522.20/69.46	c (65,0) c ReduceDBs_total : 80
522.20/69.46	c (65,0) c ReduceDBs_winner : 10
522.20/69.46	c (65,0) c SimpDBs_0 : 22
522.20/69.46	c (65,0) c SimpDBs_1 : 22
522.20/69.46	c (65,0) c SimpDBs_2 : 19
522.20/69.46	c (65,0) c SimpDBs_3 : 19
522.20/69.46	c (65,0) c SimpDBs_4 : 20
522.20/69.46	c (65,0) c SimpDBs_5 : 21
522.20/69.46	c (65,0) c SimpDBs_6 : 20
522.20/69.46	c (65,0) c SimpDBs_7 : 20
522.20/69.46	c (65,0) c SimpDBs_total : 163
522.20/69.46	c (65,0) c SimpDBs_winner : 22
522.20/69.46	c (65,0) c Restarts_0 : 395
522.20/69.46	c (65,0) c Restarts_1 : 383
522.20/69.46	c (65,0) c Restarts_2 : 469
522.20/69.46	c (65,0) c Restarts_3 : 381
522.20/69.46	c (65,0) c Restarts_4 : 411
522.20/69.46	c (65,0) c Restarts_5 : 364
522.20/69.46	c (65,0) c Restarts_6 : 456
522.20/69.46	c (65,0) c Restarts_7 : 340
522.20/69.46	c (65,0) c Restarts_total : 3199
522.20/69.46	c (65,0) c Restarts_winner : 383
522.20/69.46	c (65,0) c ForcedImports_0 : 0
522.20/69.46	c (65,0) c ForcedImports_1 : 0
522.20/69.46	c (65,0) c ForcedImports_2 : 0
522.20/69.46	c (65,0) c ForcedImports_3 : 0
522.20/69.46	c (65,0) c ForcedImports_4 : 0
522.20/69.46	c (65,0) c ForcedImports_5 : 0
522.20/69.46	c (65,0) c ForcedImports_6 : 0
522.20/69.46	c (65,0) c ForcedImports_7 : 0
522.20/69.46	c (65,0) c ForcedImports_total : 0
522.20/69.46	c (65,0) c ForcedImports_winner : 0
522.20/69.46	c (65,0) c PropsBinClauses_0 : 303791731
522.20/69.46	c (65,0) c PropsBinClauses_1 : 306412680
522.20/69.46	c (65,0) c PropsBinClauses_2 : 308894167
522.20/69.46	c (65,0) c PropsBinClauses_3 : 305135186
522.20/69.46	c (65,0) c PropsBinClauses_4 : 305836589
522.20/69.46	c (65,0) c PropsBinClauses_5 : 310131519
522.20/69.46	c (65,0) c PropsBinClauses_6 : 306353226
522.20/69.46	c (65,0) c PropsBinClauses_7 : 303445624
522.20/69.46	c (65,0) c PropsBinClauses_total : 2450000722
522.20/69.46	c (65,0) c PropsBinClauses_winner : 306412680
522.20/69.46	c (65,0) c PropsPreBlocker_0 : 1687295830
522.20/69.46	c (65,0) c PropsPreBlocker_1 : 1688897505
522.20/69.46	c (65,0) c PropsPreBlocker_2 : 1703915535
522.20/69.46	c (65,0) c PropsPreBlocker_3 : 1694828806
522.20/69.46	c (65,0) c PropsPreBlocker_4 : 1689415639
522.20/69.46	c (65,0) c PropsPreBlocker_5 : 1710373444
522.20/69.46	c (65,0) c PropsPreBlocker_6 : 1694868201
522.20/69.46	c (65,0) c PropsPreBlocker_7 : 1684165147
522.20/69.46	c (65,0) c PropsPreBlocker_total : 13553760107
522.20/69.46	c (65,0) c PropsPreBlocker_winner : 1688897505
522.20/69.46	c (65,0) c PropsNotBlocker_0 : 444007639
522.20/69.46	c (65,0) c PropsNotBlocker_1 : 434211741
522.20/69.46	c (65,0) c PropsNotBlocker_2 : 451379978
522.20/69.46	c (65,0) c PropsNotBlocker_3 : 437612877
522.20/69.46	c (65,0) c PropsNotBlocker_4 : 439657073
522.20/69.46	c (65,0) c PropsNotBlocker_5 : 449307146
522.20/69.46	c (65,0) c PropsNotBlocker_6 : 454190550
522.20/69.46	c (65,0) c PropsNotBlocker_7 : 440591403
522.20/69.46	c (65,0) c PropsNotBlocker_total : 3550958407
522.20/69.46	c (65,0) c PropsNotBlocker_winner : 434211741
522.20/69.46	c (65,0) c PropsLitFullScans_0 : 3150640669
522.20/69.46	c (65,0) c PropsLitFullScans_1 : 3143753791
522.20/69.46	c (65,0) c PropsLitFullScans_2 : 3138335527
522.20/69.46	c (65,0) c PropsLitFullScans_3 : 3145298675
522.20/69.46	c (65,0) c PropsLitFullScans_4 : 3138309278
522.20/69.46	c (65,0) c PropsLitFullScans_5 : 3138145511
522.20/69.46	c (65,0) c PropsLitFullScans_6 : 3138305157
522.20/69.46	c (65,0) c PropsLitFullScans_7 : 3138494277
522.20/69.46	c (65,0) c PropsLitFullScans_total : 25131282885
522.20/69.46	c (65,0) c PropsLitFullScans_winner : 3143753791
522.20/69.46	c (65,0) c LitScanFractions_0 : 622285
522.20/69.46	c (65,0) c LitScanFractions_1 : 660634
522.20/69.46	c (65,0) c LitScanFractions_2 : 304482
522.20/69.46	c (65,0) c LitScanFractions_3 : 113593
522.20/69.46	c (65,0) c LitScanFractions_4 : 290563
522.20/69.46	c (65,0) c LitScanFractions_5 : 108255
522.20/69.46	c (65,0) c LitScanFractions_6 : 255233
522.20/69.46	c (65,0) c LitScanFractions_7 : 472872
522.20/69.46	c (65,0) c LitScanFractions_total : 2827917
522.20/69.46	c (65,0) c LitScanFractions_winner : 660634
522.20/69.46	c (65,0) c DecisionLevel0_0 : 409
522.20/69.46	c (65,0) c DecisionLevel0_1 : 404
522.20/69.46	c (65,0) c DecisionLevel0_2 : 479
522.20/69.46	c (65,0) c DecisionLevel0_3 : 398
522.20/69.46	c (65,0) c DecisionLevel0_4 : 431
522.20/69.46	c (65,0) c DecisionLevel0_5 : 378
522.20/69.46	c (65,0) c DecisionLevel0_6 : 467
522.20/69.46	c (65,0) c DecisionLevel0_7 : 361
522.20/69.46	c (65,0) c DecisionLevel0_total : 3327
522.20/69.46	c (65,0) c DecisionLevel0_winner : 404
522.20/69.46	c (65,0) c Periods_0 : 525
522.20/69.47	c (65,0) c Periods_1 : 523
522.20/69.47	c (65,0) c Periods_2 : 523
522.20/69.47	c (65,0) c Periods_3 : 524
522.20/69.47	c (65,0) c Periods_4 : 523
522.20/69.47	c (65,0) c Periods_5 : 523
522.20/69.47	c (65,0) c Periods_6 : 523
522.20/69.47	c (65,0) c Periods_7 : 523
522.20/69.47	c (65,0) c Periods_total : 4187
522.20/69.47	c (65,0) c Periods_winner : 523
522.20/69.47	c (65,0) c Margin_0 : 20
522.20/69.47	c (65,0) c Margin_1 : 20
522.20/69.47	c (65,0) c Margin_2 : 20
522.20/69.47	c (65,0) c Margin_3 : 20
522.20/69.47	c (65,0) c Margin_4 : 20
522.20/69.47	c (65,0) c Margin_5 : 20
522.20/69.47	c (65,0) c Margin_6 : 20
522.20/69.47	c (65,0) c Margin_7 : 20
522.20/69.47	c (65,0) c Margin_total : 160
522.20/69.47	c (65,0) c Margin_winner : 20
522.20/69.47	c (65,0) c Exported_0 : 19249
522.20/69.47	c (65,0) c Exported_1 : 18265
522.20/69.47	c (65,0) c Exported_2 : 19152
522.20/69.47	c (65,0) c Exported_3 : 18654
522.20/69.47	c (65,0) c Exported_4 : 18266
522.20/69.47	c (65,0) c Exported_5 : 20251
522.20/69.47	c (65,0) c Exported_6 : 19826
522.20/69.47	c (65,0) c Exported_7 : 19200
522.20/69.47	c (65,0) c Exported_total : 152863
522.20/69.47	c (65,0) c Exported_winner : 18265
522.20/69.47	c (65,0) c Imported_0 : 129430
522.20/69.47	c (65,0) c Imported_1 : 130330
522.20/69.47	c (65,0) c Imported_2 : 129136
522.20/69.47	c (65,0) c Imported_3 : 129996
522.20/69.47	c (65,0) c Imported_4 : 130025
522.20/69.47	c (65,0) c Imported_5 : 127902
522.20/69.47	c (65,0) c Imported_6 : 128336
522.20/69.47	c (65,0) c Imported_7 : 128788
522.20/69.47	c (65,0) c Imported_total : 1033943
522.20/69.47	c (65,0) c Imported_winner : 130330
522.20/69.47	c (65,0) c Good_0 : 10881
522.20/69.47	c (65,0) c Good_1 : 11000
522.20/69.47	c (65,0) c Good_2 : 10855
522.20/69.47	c (65,0) c Good_3 : 10885
522.20/69.47	c (65,0) c Good_4 : 10874
522.20/69.47	c (65,0) c Good_5 : 10340
522.20/69.47	c (65,0) c Good_6 : 10830
522.20/69.47	c (65,0) c Good_7 : 10853
522.20/69.47	c (65,0) c Good_total : 86518
522.20/69.47	c (65,0) c Good_winner : 11000
522.20/69.47	c (65,0) c Purge_0 : 118549
522.20/69.47	c (65,0) c Purge_1 : 119330
522.20/69.47	c (65,0) c Purge_2 : 118281
522.20/69.47	c (65,0) c Purge_3 : 119111
522.20/69.47	c (65,0) c Purge_4 : 119151
522.20/69.47	c (65,0) c Purge_5 : 117562
522.20/69.47	c (65,0) c Purge_6 : 117506
522.20/69.47	c (65,0) c Purge_7 : 117935
522.20/69.47	c (65,0) c Purge_total : 947425
522.20/69.47	c (65,0) c Purge_winner : 119330
522.20/69.47	c (65,0) c Promoted_0 : 16649
522.20/69.47	c (65,0) c Promoted_1 : 16293
522.20/69.47	c (65,0) c Promoted_2 : 17272
522.20/69.47	c (65,0) c Promoted_3 : 15879
522.20/69.47	c (65,0) c Promoted_4 : 17033
522.20/69.47	c (65,0) c Promoted_5 : 15373
522.20/69.47	c (65,0) c Promoted_6 : 16536
522.20/69.47	c (65,0) c Promoted_7 : 16739
522.20/69.47	c (65,0) c Promoted_total : 131774
522.20/69.47	c (65,0) c Promoted_winner : 16293
522.20/69.47	c (65,0) c Remove_Imp_0 : 81335
522.20/69.47	c (65,0) c Remove_Imp_1 : 80733
522.20/69.47	c (65,0) c Remove_Imp_2 : 79190
522.20/69.47	c (65,0) c Remove_Imp_3 : 83031
522.20/69.47	c (65,0) c Remove_Imp_4 : 83126
522.20/69.47	c (65,0) c Remove_Imp_5 : 77004
522.20/69.47	c (65,0) c Remove_Imp_6 : 79186
522.20/69.47	c (65,0) c Remove_Imp_7 : 84105
522.20/69.47	c (65,0) c Remove_Imp_total : 647710
522.20/69.47	c (65,0) c Remove_Imp_winner : 80733
522.20/69.47	c (65,0) c Blocked_Reuse_0 : 0
522.20/69.47	c (65,0) c Blocked_Reuse_1 : 0
522.20/69.47	c (65,0) c Blocked_Reuse_2 : 0
522.20/69.47	c (65,0) c Blocked_Reuse_3 : 0
522.20/69.47	c (65,0) c Blocked_Reuse_4 : 0
522.20/69.47	c (65,0) c Blocked_Reuse_5 : 0
522.20/69.47	c (65,0) c Blocked_Reuse_6 : 0
522.20/69.47	c (65,0) c Blocked_Reuse_7 : 0
522.20/69.47	c (65,0) c Blocked_Reuse_total : 0
522.20/69.47	c (65,0) c Blocked_Reuse_winner : 0
522.20/69.47	c (65,0) c Unaries_0 : 14
522.20/69.47	c (65,0) c Unaries_1 : 21
522.20/69.47	c (65,0) c Unaries_2 : 10
522.20/69.47	c (65,0) c Unaries_3 : 17
522.20/69.47	c (65,0) c Unaries_4 : 20
522.20/69.47	c (65,0) c Unaries_5 : 14
522.20/69.47	c (65,0) c Unaries_6 : 11
522.20/69.47	c (65,0) c Unaries_7 : 21
522.20/69.47	c (65,0) c Unaries_total : 128
522.20/69.47	c (65,0) c Unaries_winner : 21
522.20/69.47	c (65,0) c Binaries_0 : 1526
522.20/69.47	c (65,0) c Binaries_1 : 1427
522.20/69.47	c (65,0) c Binaries_2 : 1540
522.20/69.47	c (65,0) c Binaries_3 : 1516
522.20/69.47	c (65,0) c Binaries_4 : 1536
522.20/69.47	c (65,0) c Binaries_5 : 2049
522.20/69.47	c (65,0) c Binaries_6 : 1555
522.20/69.47	c (65,0) c Binaries_7 : 1526
522.20/69.47	c (65,0) c Binaries_total : 12675
522.20/69.47	c (65,0) c Binaries_winner : 1427
522.20/69.47	c (65,0) c Glues_0 : 6056
522.20/69.47	c (65,0) c Glues_1 : 5883
522.20/69.47	c (65,0) c Glues_2 : 6037
522.20/69.47	c (65,0) c Glues_3 : 5626
522.20/69.47	c (65,0) c Glues_4 : 5964
522.20/69.47	c (65,0) c Glues_5 : 6557
522.20/69.47	c (65,0) c Glues_6 : 6035
522.20/69.47	c (65,0) c Glues_7 : 5843
522.20/69.47	c (65,0) c Glues_total : 48001
522.20/69.47	c (65,0) c Glues_winner : 5883
522.20/69.47	c (65,0) c RunningTime_0 : 63.530902
522.20/69.47	c (65,0) c RunningTime_1 : 63.510229
522.20/69.47	c (65,0) c RunningTime_2 : 65.189404
522.20/69.47	c (65,0) c RunningTime_3 : 63.174916
522.20/69.47	c (65,0) c RunningTime_4 : 64.240334
522.20/69.47	c (65,0) c RunningTime_5 : 64.681830
522.20/69.47	c (65,0) c RunningTime_6 : 63.924320
522.20/69.47	c (65,0) c RunningTime_7 : 63.907277
522.20/69.47	c (65,0) c RunningTime_total : 512.159210
522.20/69.47	c (65,0) c RunningTime_winner : 63.510229
522.20/69.47	c (65,0) c WaitingTime_0 : 0.156232
522.20/69.47	c (65,0) c WaitingTime_1 : 0.106878
522.20/69.47	c (65,0) c WaitingTime_2 : 0.000520
522.20/69.47	c (65,0) c WaitingTime_3 : 0.454604
522.20/69.47	c (65,0) c WaitingTime_4 : 0.000736
522.20/69.47	c (65,0) c WaitingTime_5 : 0.000710
522.20/69.47	c (65,0) c WaitingTime_6 : 0.000689
522.20/69.47	c (65,0) c WaitingTime_7 : 0.000730
522.20/69.47	c (65,0) c WaitingTime_total : 0.721098
522.20/69.47	c (65,0) c WaitingTime_winner : 0.106878
522.20/69.47	c (65,0) c ExchangingTime_0 : 0.063700
522.20/69.47	c (65,0) c ExchangingTime_1 : 0.069268
522.20/69.47	c (65,0) c ExchangingTime_2 : 0.069300
522.20/69.47	c (65,0) c ExchangingTime_3 : 0.067252
522.20/69.47	c (65,0) c ExchangingTime_4 : 0.062863
522.20/69.47	c (65,0) c ExchangingTime_5 : 0.061204
522.20/69.47	c (65,0) c ExchangingTime_6 : 0.064779
522.20/69.47	c (65,0) c ExchangingTime_7 : 0.072453
522.20/69.47	c (65,0) c ExchangingTime_total : 0.530819
522.20/69.47	c (65,0) c ExchangingTime_winner : 0.069268
522.20/69.47	c (65,0) c PeriodProcTime_0 : 0.004848
522.20/69.47	c (65,0) c PeriodProcTime_1 : 0.005416
522.20/69.47	c (65,0) c PeriodProcTime_2 : 0.004242
522.20/69.47	c (65,0) c PeriodProcTime_3 : 0.004861
522.20/69.47	c (65,0) c PeriodProcTime_4 : 0.003781
522.20/69.47	c (65,0) c PeriodProcTime_5 : 0.003761
522.20/69.47	c (65,0) c PeriodProcTime_6 : 0.003597
522.20/69.47	c (65,0) c PeriodProcTime_7 : 0.005568
522.20/69.47	c (65,0) c PeriodProcTime_total : 0.036075
522.20/69.47	c (65,0) c PeriodProcTime_winner : 0.005416
522.20/69.47	c (65,0) c SolvingTime_0 : 63.755682
522.20/69.47	c (65,0) c SolvingTime_1 : 63.691790
522.20/69.47	c (65,0) c SolvingTime_2 : 65.263466
522.20/69.47	c (65,0) c SolvingTime_3 : 63.701633
522.20/69.47	c (65,0) c SolvingTime_4 : 64.307714
522.20/69.47	c (65,0) c SolvingTime_5 : 64.747504
522.20/69.47	c (65,0) c SolvingTime_6 : 63.993385
522.20/69.47	c (65,0) c SolvingTime_7 : 63.986027
522.20/69.47	c (65,0) c SolvingTime_total : 513.447202
522.20/69.47	c (65,0) c SolvingTime_winner : 63.691790
522.20/69.47	c (65,0) c PropagationTime_0 : 58.045339
522.20/69.47	c (65,0) c PropagationTime_1 : 57.897185
522.20/69.47	c (65,0) c PropagationTime_2 : 59.567603
522.20/69.47	c (65,0) c PropagationTime_3 : 57.893497
522.20/69.47	c (65,0) c PropagationTime_4 : 58.793748
522.20/69.47	c (65,0) c PropagationTime_5 : 58.948801
522.20/69.47	c (65,0) c PropagationTime_6 : 57.863635
522.20/69.47	c (65,0) c PropagationTime_7 : 58.165493
522.20/69.47	c (65,0) c PropagationTime_total : 467.175301
522.20/69.47	c (65,0) c PropagationTime_winner : 57.897185
522.20/69.47	c (65,0) c AnalysisTime_0 : 4.003953
522.20/69.47	c (65,0) c AnalysisTime_1 : 4.058746
522.20/69.47	c (65,0) c AnalysisTime_2 : 4.098676
522.20/69.47	c (65,0) c AnalysisTime_3 : 4.080965
522.20/69.47	c (65,0) c AnalysisTime_4 : 3.911100
522.20/69.47	c (65,0) c AnalysisTime_5 : 3.952524
522.20/69.47	c (65,0) c AnalysisTime_6 : 4.274230
522.20/69.47	c (65,0) c AnalysisTime_7 : 4.107785
522.20/69.47	c (65,0) c AnalysisTime_total : 32.487979
522.20/69.47	c (65,0) c AnalysisTime_winner : 4.058746
522.20/69.47	c (65,0) c ReductionTime_0 : 0.256876
522.20/69.47	c (65,0) c ReductionTime_1 : 0.269565
522.20/69.47	c (65,0) c ReductionTime_2 : 0.260703
522.20/69.47	c (65,0) c ReductionTime_3 : 0.268215
522.20/69.47	c (65,0) c ReductionTime_4 : 0.266382
522.20/69.47	c (65,0) c ReductionTime_5 : 0.276541
522.20/69.47	c (65,0) c ReductionTime_6 : 0.267104
522.20/69.47	c (65,0) c ReductionTime_7 : 0.272643
522.20/69.47	c (65,0) c ReductionTime_total : 2.138030
522.20/69.47	c (65,0) c ReductionTime_winner : 0.269565
522.20/69.47	c (65,0) c SimplifyTime_0 : 0.144875
522.20/69.47	c (65,0) c SimplifyTime_1 : 0.173087
522.20/69.47	c (65,0) c SimplifyTime_2 : 0.127737
522.20/69.47	c (65,0) c SimplifyTime_3 : 0.126370
522.20/69.47	c (65,0) c SimplifyTime_4 : 0.136099
522.20/69.47	c (65,0) c SimplifyTime_5 : 0.143315
522.20/69.47	c (65,0) c SimplifyTime_6 : 0.137529
522.20/69.47	c (65,0) c SimplifyTime_7 : 0.134721
522.20/69.47	c (65,0) c SimplifyTime_total : 1.123734
522.20/69.47	c (65,0) c SimplifyTime_winner : 0.173087
522.20/69.47	c (65,0) c UsedRateTime_0 : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_1 : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_2 : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_3 : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_4 : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_5 : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_6 : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_7 : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_total : 0.000000
522.20/69.47	c (65,0) c UsedRateTime_winner : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_0 : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_1 : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_2 : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_3 : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_4 : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_5 : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_6 : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_7 : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_total : 0.000000
522.20/69.47	c (65,0) c OverlapRateTime_winner : 0.000000
522.20/69.47	c (65,0) c
522.20/69.47	c (65,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
522.20/69.47	c (65,0) c
522.20/69.47	c (65,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.47	c (65,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
522.20/69.47	c (65,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.47	c (65,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
522.20/69.47	c (65,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
522.20/69.47	c (65,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
522.20/69.47	c (65,0) c | Initial random_seed   |  413450421 | 1889331297 | 1755930013 |  706644502 |  137494002 |  770276350 | 2110233369 |  902379270 |
522.20/69.47	c (65,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
522.20/69.47	c (65,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
522.20/69.47	c (65,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
522.20/69.47	c (65,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
522.20/69.47	c (65,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
522.20/69.47	c (65,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
522.20/69.47	c (65,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
522.20/69.47	c (65,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
522.20/69.47	c (65,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
522.20/69.47	c (65,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
522.20/69.47	c (65,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
522.20/69.47	c (65,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
522.20/69.47	c (65,0) 
522.20/69.47	c (65,0) s UNSATISFIABLE
522.20/69.48	c (65,0) SatSolver.solve End
522.20/69.48	c (65,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
522.20/69.48	c (65,0) Show results Begin
522.20/69.48	s UNSATISFIABLE
522.20/69.48	c (65,0) Show results End
522.20/69.48	c (65,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
522.20/69.48	c (65,0) 65,65,STOP-AFTER(ALL)
522.20/69.48	c END-Prog: Sat Sep 14 03:28:31 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 (14941 MiB free)
  memory of node 1: 16384 MiB (15604 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392361-1568424482/watcher-4392361-1568424482 -o /tmp/evaluation-result-4392361-1568424482/solver-4392361-1568424482 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568417371-3125 --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-4392361-1568424482.xml 

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

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


[startup+0.100108 s]*
/proc/loadavg: 8.21 7.21 5.56 2/212 5743
/proc/meminfo: memFree=31184544/32770624 swapFree=67000496/67108860
[pid=5721] ppid=5718 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5721/stat : 5721 (scop.sh) S 5718 5721 3098 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418362225 115843072 348 33554432000 4194304 5098028 140731698453648 140731698450904 139923311346300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39350272 140731698455333 140731698455660 140731698455660 140731698458573 0
/proc/5721/statm: 28282 348 296 221 0 87 0
[pid=5724] ppid=5721 vsize=27314120 memory=105416 CPUtime=0.11 cores=0-7
/proc/5724/stat : 5724 (java) S 5721 5721 3098 0 -1 1077944320 6427 0 0 0 9 2 0 0 20 0 20 0 418362225 27969658880 26354 33554432000 4194304 4196468 140732873570176 140732873552720 140474534780663 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
/proc/5724/statm: 6828530 26354 2801 1 0 6790935 0
[pid=5724/tid=5725] ppid=5721 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/5724/task/5725/stat : 5725 (java) R 5721 5721 3098 0 -1 4202560 4527 0 0 0 7 1 0 0 20 0 20 0 418362225 27969658880 26354 33554432000 4194304 4196468 140732873570176 140474506606992 140474520463189 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5726] ppid=5721 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5724/task/5726/stat : 5726 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 26354 33554432000 4194304 4196468 140732873570176 140474539022992 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5727] ppid=5721 vsize=27314120 memory=139949563922048 CPUtime=0 cores=0-7
/proc/5724/task/5727/stat : 5727 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 26354 33554432000 4194304 4196468 140732873570176 140474357111312 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5728] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5728/stat : 5728 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 26354 33554432000 4194304 4196468 140732873570176 140474356058512 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5729] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5729/stat : 5729 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473954892048 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5730] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5730/stat : 5730 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473953840272 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5731] ppid=5721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5724/task/5731/stat : 5731 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473952787472 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5732] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5732/stat : 5732 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473951734672 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5733] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5733/stat : 5733 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473950681872 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5734] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5734/stat : 5734 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362229 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473660352880 140474534791810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5735] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5735/stat : 5735 (java) S 5721 5721 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418362230 27969658880 26354 33554432000 4194304 4196468 140732873570176 140472408335392 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5736] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5736/stat : 5736 (java) S 5721 5721 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418362230 27969658880 26354 33554432000 4194304 4196468 140732873570176 140472274113392 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5737] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5737/stat : 5737 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362232 27969658880 26354 33554432000 4194304 4196468 140732873570176 140471899608912 140474534799259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5738] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5738/stat : 5738 (java) S 5721 5721 3098 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 418362232 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473659300720 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5739] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5739/stat : 5739 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473658247920 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5740] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5740/stat : 5740 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473657195120 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5741] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5741/stat : 5741 (java) R 5721 5721 3098 0 -1 4202560 253 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473656142320 140474534792598 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5742] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5742/stat : 5742 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 26354 33554432000 4194304 4196468 140732873570176 140471401704032 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5743] ppid=5721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5724/task/5743/stat : 5743 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 26354 33554432000 4194304 4196468 140732873570176 140473655089712 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106808 KiB

[startup+0.209806 s]*
/proc/loadavg: 8.21 7.21 5.56 4/212 5743
/proc/meminfo: memFree=31163032/32770624 swapFree=67000496/67108860
[pid=5721] ppid=5718 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5721/stat : 5721 (scop.sh) S 5718 5721 3098 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418362225 115843072 348 33554432000 4194304 5098028 140731698453648 140731698450904 139923311346300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39350272 140731698455333 140731698455660 140731698455660 140731698458573 0
/proc/5721/statm: 28282 348 296 221 0 87 0
[pid=5724] ppid=5721 vsize=27314120 memory=124832 CPUtime=0.24 cores=0-7
/proc/5724/stat : 5724 (java) S 5721 5721 3098 0 -1 1077944320 12062 0 0 0 20 4 0 0 20 0 20 0 418362225 27969658880 31208 33554432000 4194304 4196468 140732873570176 140732873552720 140474534780663 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
/proc/5724/statm: 6828530 31208 2971 1 0 6790935 0
[pid=5724/tid=5725] ppid=5721 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5724/task/5725/stat : 5725 (java) R 5721 5721 3098 0 -1 4202560 9773 0 0 0 16 3 0 0 20 0 20 0 418362225 27969658880 31208 33554432000 4194304 4196468 140732873570176 140474506580048 140474517967472 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5726] ppid=5721 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/5724/task/5726/stat : 5726 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31208 33554432000 4194304 4196468 140732873570176 140474539022992 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5727] ppid=5721 vsize=27314120 memory=139949563936755 CPUtime=0 cores=0-7
/proc/5724/task/5727/stat : 5727 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31208 33554432000 4194304 4196468 140732873570176 140474357111312 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5728] ppid=5721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5724/task/5728/stat : 5728 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31208 33554432000 4194304 4196468 140732873570176 140474356058512 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5729] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5729/stat : 5729 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473954892048 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5730] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5730/stat : 5730 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473953840272 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5731] ppid=5721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5724/task/5731/stat : 5731 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473952787472 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5732] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5732/stat : 5732 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473951734672 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5733] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5733/stat : 5733 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473950681872 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5734] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5734/stat : 5734 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362229 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473660352880 140474534791810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5735] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5735/stat : 5735 (java) S 5721 5721 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418362230 27969658880 31208 33554432000 4194304 4196468 140732873570176 140472408335392 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5736] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5736/stat : 5736 (java) S 5721 5721 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418362230 27969658880 31208 33554432000 4194304 4196468 140732873570176 140472274113392 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5737] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5737/stat : 5737 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362232 27969658880 31208 33554432000 4194304 4196468 140732873570176 140471899608912 140474534799259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5738] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5738/stat : 5738 (java) S 5721 5721 3098 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 418362232 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473659300720 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5739] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5739/stat : 5739 (java) S 5721 5721 3098 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473658247920 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5740] ppid=5721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5724/task/5740/stat : 5740 (java) S 5721 5721 3098 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473657195120 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5741] ppid=5721 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/5724/task/5741/stat : 5741 (java) S 5721 5721 3098 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 20 0 418362233 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473656142320 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5742] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5742/stat : 5742 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 31208 33554432000 4194304 4196468 140732873570176 140471401704032 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5743] ppid=5721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5724/task/5743/stat : 5743 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 31208 33554432000 4194304 4196468 140732873570176 140473655089712 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126224 KiB

[startup+0.309337 s]*
/proc/loadavg: 8.21 7.21 5.56 2/212 5743
/proc/meminfo: memFree=31159992/32770624 swapFree=67000496/67108860
[pid=5721] ppid=5718 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5721/stat : 5721 (scop.sh) S 5718 5721 3098 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418362225 115843072 348 33554432000 4194304 5098028 140731698453648 140731698450904 139923311346300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39350272 140731698455333 140731698455660 140731698455660 140731698458573 0
/proc/5721/statm: 28282 348 296 221 0 87 0
[pid=5724] ppid=5721 vsize=27314120 memory=127912 CPUtime=0.42 cores=0-7
/proc/5724/stat : 5724 (java) S 5721 5721 3098 0 -1 1077944320 12387 0 0 0 37 5 0 0 20 0 20 0 418362225 27969658880 31978 33554432000 4194304 4196468 140732873570176 140732873552720 140474534780663 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
/proc/5724/statm: 6828530 31978 3017 1 0 6790935 0
[pid=5724/tid=5725] ppid=5721 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/5724/task/5725/stat : 5725 (java) R 5721 5721 3098 0 -1 4202560 9957 0 0 0 26 4 0 0 20 0 20 0 418362225 27969658880 31978 33554432000 4194304 4196468 140732873570176 140474506605520 140474518861150 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5726] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5726/stat : 5726 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31978 33554432000 4194304 4196468 140732873570176 140474539022992 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5727] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5727/stat : 5727 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31978 33554432000 4194304 4196468 140732873570176 140474357111312 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5728] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5728/stat : 5728 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31978 33554432000 4194304 4196468 140732873570176 140474356058512 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5729] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5729/stat : 5729 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473954892048 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5730] ppid=5721 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/5724/task/5730/stat : 5730 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473953840272 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5731] ppid=5721 vsize=27314120 memory=139949429060527 CPUtime=0 cores=0-7
/proc/5724/task/5731/stat : 5731 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473952787472 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5732] ppid=5721 vsize=27314120 memory=139949429062832 CPUtime=0 cores=0-7
/proc/5724/task/5732/stat : 5732 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473951734672 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5733] ppid=5721 vsize=27314120 memory=139949429065136 CPUtime=0 cores=0-7
/proc/5724/task/5733/stat : 5733 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418362228 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473950681872 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5734] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5734/stat : 5734 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362229 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473660352880 140474534791810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5735] ppid=5721 vsize=27314120 memory=279898858137232 CPUtime=0 cores=0-7
/proc/5724/task/5735/stat : 5735 (java) S 5721 5721 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418362230 27969658880 31978 33554432000 4194304 4196468 140732873570176 140472408335392 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5736] ppid=5721 vsize=27314120 memory=279898858144144 CPUtime=0 cores=0-7
/proc/5724/task/5736/stat : 5736 (java) S 5721 5721 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418362230 27969658880 31978 33554432000 4194304 4196468 140732873570176 140472274113392 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5737] ppid=5721 vsize=27314120 memory=279898858085424 CPUtime=0 cores=0-7
/proc/5724/task/5737/stat : 5737 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362232 27969658880 31978 33554432000 4194304 4196468 140732873570176 140471899608912 140474534799259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5738] ppid=5721 vsize=27314120 memory=279898858157968 CPUtime=0.02 cores=0-7
/proc/5724/task/5738/stat : 5738 (java) R 5721 5721 3098 0 -1 4202560 436 0 0 0 2 0 0 0 20 0 20 0 418362232 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473659300720 140474534792598 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5739] ppid=5721 vsize=27314120 memory=279898858164880 CPUtime=0.01 cores=0-7
/proc/5724/task/5739/stat : 5739 (java) S 5721 5721 3098 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 418362233 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473658247920 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5740] ppid=5721 vsize=27314120 memory=279898858162576 CPUtime=0 cores=0-7
/proc/5724/task/5740/stat : 5740 (java) S 5721 5721 3098 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473657195120 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5741] ppid=5721 vsize=27314120 memory=279898858178736 CPUtime=0.07 cores=0-7
/proc/5724/task/5741/stat : 5741 (java) S 5721 5721 3098 0 -1 1077944384 462 0 0 0 7 0 0 0 20 0 20 0 418362233 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473656142320 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5742] ppid=5721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5742/stat : 5742 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 31978 33554432000 4194304 4196468 140732873570176 140471401704032 140474534790869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5743] ppid=5721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5724/task/5743/stat : 5743 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362233 27969658880 31978 33554432000 4194304 4196468 140732873570176 140473655089712 140474534791810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129304 KiB

[startup+0.70093 s]
/proc/loadavg: 8.21 7.21 5.56 2/212 5743
/proc/meminfo: memFree=31139820/32770624 swapFree=67000496/67108860
[pid=5721] ppid=5718 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5721/stat : 5721 (scop.sh) S 5718 5721 3098 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418362225 115843072 348 33554432000 4194304 5098028 140731698453648 140731698450904 139923311346300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39350272 140731698455333 140731698455660 140731698455660 140731698458573 0
/proc/5721/statm: 28282 348 296 221 0 87 0
[pid=5724] ppid=5721 vsize=27322516 memory=165724 CPUtime=1 cores=0-7
/proc/5724/stat : 5724 (java) S 5721 5721 3098 0 -1 1077944320 20082 0 0 0 93 7 0 0 20 0 20 0 418362225 27978256384 41431 33554432000 4194304 4196468 140732873570176 140732873552720 140474534780663 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
/proc/5724/statm: 6830629 41431 3185 1 0 6791959 0
[pid=5724/tid=5725] ppid=5721 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/5724/task/5725/stat : 5725 (java) R 5721 5721 3098 0 -1 4202560 17019 0 0 0 62 6 0 0 20 0 20 0 418362225 27978256384 41431 33554432000 4194304 4196468 140732873570176 140474506612400 140474534802589 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5726] ppid=5721 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5726/stat : 5726 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27978256384 41431 33554432000 4194304 4196468 140732873570176 140474539022992 140474534790869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5727] ppid=5721 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5724/task/5727/stat : 5727 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418362228 27978256384 41431 33554432000 4194304 4196468 140732873570176 140474357111312 140474534790869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0
[pid=5724/tid=5728] ppid=5721 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/5724/task/5728/stat : 5728 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418362228 27978256384 41431 33554432000 4194304 4196468 140732873570176 140474356058512 140474534790869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10117120 140732873577196 140732873577622 140732873577622 140732873580495 0

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

[pid=5744/tid=5759] ppid=5721 vsize=8414124 memory=139949429921072 CPUtime=0.07 cores=0-7
/proc/5744/task/5759/stat : 5759 (java) S 5721 5721 3098 0 -1 1077944384 368 0 0 0 7 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058781919472 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5760] ppid=5721 vsize=8414124 memory=6944652177228980320 CPUtime=0.04 cores=0-7
/proc/5744/task/5760/stat : 5760 (java) S 5721 5721 3098 0 -1 1077944384 170 0 0 0 4 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058780866672 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5761] ppid=5721 vsize=8414124 memory=2012 CPUtime=0.19 cores=0-7
/proc/5744/task/5761/stat : 5761 (java) S 5721 5721 3098 0 -1 1077944384 711 0 0 0 19 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058779813872 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5762] ppid=5721 vsize=8414124 memory=1240 CPUtime=0 cores=0-7
/proc/5744/task/5762/stat : 5762 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418362560 8616062976 30070 33554432000 4194304 4196468 140731742301344 140057340013664 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5763] ppid=5721 vsize=8414124 memory=580 CPUtime=0.03 cores=0-7
/proc/5744/task/5763/stat : 5763 (java) S 5721 5721 3098 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 418362560 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058778762288 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5765] ppid=5721 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/5744/task/5765/stat : 5765 (java) S 5721 5721 3098 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058770728512 140059824701209 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5767] ppid=5721 vsize=8414124 memory=3436 CPUtime=0 cores=0-7
/proc/5744/task/5767/stat : 5767 (java) S 5721 5721 3098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056668913296 140059824698525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5768] ppid=5721 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/5744/task/5768/stat : 5768 (java) S 5721 5721 3098 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056937348624 140059824698525 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5769] ppid=5721 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/5744/task/5769/stat : 5769 (java) S 5721 5721 3098 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418362627 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056400485424 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
Current children cumulated CPU time: 521.46 s
Current children cumulated vsize: 9211608 KiB
Current children cumulated memory: 401192 KiB

[startup+69.2011 s]
/proc/loadavg: 8.73 7.58 5.80 2/218 5781
/proc/meminfo: memFree=30895512/32770624 swapFree=67000500/67108860
[pid=5721] ppid=5718 vsize=113128 memory=1472 CPUtime=9.7 cores=0-7
/proc/5721/stat : 5721 (scop.sh) S 5718 5721 3098 0 -1 4202496 582 28250 0 0 0 0 944 26 20 0 1 0 418362225 115843072 368 33554432000 4194304 5098028 140731698453648 140731698450392 139923311346300 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39350272 140731698455333 140731698455660 140731698455660 140731698458573 0
/proc/5721/statm: 28282 368 311 221 0 87 0
[pid=5744] ppid=5721 vsize=8414124 memory=120280 CPUtime=1.19 cores=0-7
/proc/5744/stat : 5744 (java) S 5721 5721 3098 0 -1 1077944320 19639 0 0 0 112 7 0 0 20 0 24 0 418362553 8616062976 30070 33554432000 4194304 4196468 140731742301344 140731742283888 140059824676599 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
/proc/5744/statm: 2103531 30070 3201 1 0 2064875 0
[pid=5764] ppid=5744 vsize=684356 memory=279440 CPUtime=511.11 cores=0-7
/proc/5764/stat : 5764 (manyglucose-4.1) S 5744 5721 3098 0 -1 1077944320 217424 0 0 0 51064 47 0 0 20 0 2 0 418362625 700780544 69860 33554432000 4194304 4454172 140727346307472 140727346305856 139738910207735 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 31924224 140727346316138 140727346316336 140727346316336 140727346319290 0
/proc/5764/statm: 171089 69860 422 64 0 166757 0
[pid=5764/tid=5772] ppid=5744 vsize=684356 memory=279440 CPUtime=65.01 cores=0-7
/proc/5764/task/5772/stat : 5772 (manyglucose-4.1) R 5744 5721 3098 0 -1 4202560 26411 0 0 0 6497 4 0 0 20 0 2 0 418362643 700780544 69860 33554432000 4194304 4454172 140727346307472 139738867223688 4351289 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 31924224 140727346316138 140727346316336 140727346316336 140727346319290 0
[pid=5744/tid=5745] ppid=5721 vsize=8414124 memory=20488 CPUtime=0.74 cores=0-7
/proc/5744/task/5745/stat : 5745 (java) S 5721 5721 3098 0 -1 1077944384 16400 0 0 0 70 4 0 0 20 0 24 0 418362554 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059796516768 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5746] ppid=5721 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/5744/task/5746/stat : 5746 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059828919440 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5747] ppid=5721 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/5744/task/5747/stat : 5747 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059629087760 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5748] ppid=5721 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/5744/task/5748/stat : 5748 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059628034960 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5749] ppid=5721 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/5744/task/5749/stat : 5749 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059626982160 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5750] ppid=5721 vsize=8414124 memory=7686721470300855448 CPUtime=0 cores=0-7
/proc/5744/task/5750/stat : 5750 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059625929360 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5751] ppid=5721 vsize=8414124 memory=2648 CPUtime=0 cores=0-7
/proc/5744/task/5751/stat : 5751 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059624876560 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5752] ppid=5721 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/5744/task/5752/stat : 5752 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059623823760 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5753] ppid=5721 vsize=8414124 memory=304556123141439514 CPUtime=0 cores=0-7
/proc/5744/task/5753/stat : 5753 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059622770960 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5754] ppid=5721 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/5744/task/5754/stat : 5754 (java) S 5721 5721 3098 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418362556 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058784025456 140059824687746 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5755] ppid=5721 vsize=8414124 memory=14131130437732652 CPUtime=0 cores=0-7
/proc/5744/task/5755/stat : 5755 (java) S 5721 5721 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418362557 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058480862752 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5756] ppid=5721 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/5744/task/5756/stat : 5756 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362557 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058212427120 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5757] ppid=5721 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/5744/task/5757/stat : 5757 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140057837918544 140059824695195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5758] ppid=5721 vsize=8414124 memory=924 CPUtime=0.05 cores=0-7
/proc/5744/task/5758/stat : 5758 (java) S 5721 5721 3098 0 -1 1077944384 581 0 0 0 5 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058782972272 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5759] ppid=5721 vsize=8414124 memory=4944 CPUtime=0.07 cores=0-7
/proc/5744/task/5759/stat : 5759 (java) S 5721 5721 3098 0 -1 1077944384 368 0 0 0 7 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058781919472 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5760] ppid=5721 vsize=8414124 memory=4100 CPUtime=0.04 cores=0-7
/proc/5744/task/5760/stat : 5760 (java) S 5721 5721 3098 0 -1 1077944384 170 0 0 0 4 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058780866672 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5761] ppid=5721 vsize=8414124 memory=732 CPUtime=0.19 cores=0-7
/proc/5744/task/5761/stat : 5761 (java) S 5721 5721 3098 0 -1 1077944384 711 0 0 0 19 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058779813872 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5762] ppid=5721 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/5744/task/5762/stat : 5762 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418362560 8616062976 30070 33554432000 4194304 4196468 140731742301344 140057340013664 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5763] ppid=5721 vsize=8414124 memory=119760 CPUtime=0.03 cores=0-7
/proc/5744/task/5763/stat : 5763 (java) S 5721 5721 3098 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 418362560 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058778762288 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5765] ppid=5721 vsize=8414124 memory=7686721470300855448 CPUtime=0 cores=0-7
/proc/5744/task/5765/stat : 5765 (java) S 5721 5721 3098 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058770728512 140059824701209 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5767] ppid=5721 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/5744/task/5767/stat : 5767 (java) S 5721 5721 3098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056668913296 140059824698525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5768] ppid=5721 vsize=8414124 memory=1240 CPUtime=0 cores=0-7
/proc/5744/task/5768/stat : 5768 (java) S 5721 5721 3098 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056937348624 140059824698525 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5769] ppid=5721 vsize=8414124 memory=97 CPUtime=0 cores=0-7
/proc/5744/task/5769/stat : 5769 (java) S 5721 5721 3098 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418362627 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056400485424 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
Current children cumulated CPU time: 522 s
Current children cumulated vsize: 9211608 KiB
Current children cumulated memory: 401192 KiB

[startup+69.4011 s]
/proc/loadavg: 8.73 7.58 5.80 2/218 5781
/proc/meminfo: memFree=30895512/32770624 swapFree=67000500/67108860
[pid=5721] ppid=5718 vsize=113128 memory=1472 CPUtime=9.7 cores=0-7
/proc/5721/stat : 5721 (scop.sh) S 5718 5721 3098 0 -1 4202496 582 28250 0 0 0 0 944 26 20 0 1 0 418362225 115843072 368 33554432000 4194304 5098028 140731698453648 140731698450392 139923311346300 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39350272 140731698455333 140731698455660 140731698455660 140731698458573 0
/proc/5721/statm: 28282 368 311 221 0 87 0
[pid=5744] ppid=5721 vsize=8414124 memory=120280 CPUtime=1.19 cores=0-7
/proc/5744/stat : 5744 (java) S 5721 5721 3098 0 -1 1077944320 19639 0 0 0 112 7 0 0 20 0 24 0 418362553 8616062976 30070 33554432000 4194304 4196468 140731742301344 140731742283888 140059824676599 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
/proc/5744/statm: 2103531 30070 3201 1 0 2064875 0
[pid=5764] ppid=5744 vsize=684356 memory=279440 CPUtime=511.31 cores=0-7
/proc/5764/stat : 5764 (manyglucose-4.1) S 5744 5721 3098 0 -1 1077944320 217424 0 0 0 51084 47 0 0 20 0 2 0 418362625 700780544 69860 33554432000 4194304 4454172 140727346307472 140727346305856 139738910207735 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 31924224 140727346316138 140727346316336 140727346316336 140727346319290 0
/proc/5764/statm: 171089 69860 422 64 0 166757 0
[pid=5764/tid=5772] ppid=5744 vsize=684356 memory=2012 CPUtime=65.21 cores=0-7
/proc/5764/task/5772/stat : 5772 (manyglucose-4.1) R 5744 5721 3098 0 -1 4202560 26411 0 0 0 6517 4 0 0 20 0 2 0 418362643 700780544 69860 33554432000 4194304 4454172 140727346307472 139738867223688 4351769 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 31924224 140727346316138 140727346316336 140727346316336 140727346319290 0
[pid=5744/tid=5745] ppid=5721 vsize=8414124 memory=1240 CPUtime=0.74 cores=0-7
/proc/5744/task/5745/stat : 5745 (java) S 5721 5721 3098 0 -1 1077944384 16400 0 0 0 70 4 0 0 20 0 24 0 418362554 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059796516768 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5746] ppid=5721 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/5744/task/5746/stat : 5746 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059828919440 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5747] ppid=5721 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/5744/task/5747/stat : 5747 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059629087760 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5748] ppid=5721 vsize=8414124 memory=3436 CPUtime=0 cores=0-7
/proc/5744/task/5748/stat : 5748 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059628034960 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5749] ppid=5721 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/5744/task/5749/stat : 5749 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059626982160 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5750] ppid=5721 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/5744/task/5750/stat : 5750 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059625929360 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5751] ppid=5721 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/5744/task/5751/stat : 5751 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059624876560 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5752] ppid=5721 vsize=8414124 memory=5916 CPUtime=0 cores=0-7
/proc/5744/task/5752/stat : 5752 (java) S 5721 5721 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059623823760 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5753] ppid=5721 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/5744/task/5753/stat : 5753 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418362555 8616062976 30070 33554432000 4194304 4196468 140731742301344 140059622770960 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5754] ppid=5721 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/5744/task/5754/stat : 5754 (java) S 5721 5721 3098 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418362556 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058784025456 140059824687746 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5755] ppid=5721 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/5744/task/5755/stat : 5755 (java) S 5721 5721 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418362557 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058480862752 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5756] ppid=5721 vsize=8414124 memory=964 CPUtime=0 cores=0-7
/proc/5744/task/5756/stat : 5756 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362557 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058212427120 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5757] ppid=5721 vsize=8414124 memory=9126232286719478932 CPUtime=0 cores=0-7
/proc/5744/task/5757/stat : 5757 (java) S 5721 5721 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140057837918544 140059824695195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5758] ppid=5721 vsize=8414124 memory=279898860637792 CPUtime=0.05 cores=0-7
/proc/5744/task/5758/stat : 5758 (java) S 5721 5721 3098 0 -1 1077944384 581 0 0 0 5 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058782972272 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5759] ppid=5721 vsize=8414124 memory=-7880843606118635149 CPUtime=0.07 cores=0-7
/proc/5744/task/5759/stat : 5759 (java) S 5721 5721 3098 0 -1 1077944384 368 0 0 0 7 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058781919472 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5760] ppid=5721 vsize=8414124 memory=6944656592455097440 CPUtime=0.04 cores=0-7
/proc/5744/task/5760/stat : 5760 (java) S 5721 5721 3098 0 -1 1077944384 170 0 0 0 4 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058780866672 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5761] ppid=5721 vsize=8414124 memory=6655300316396806240 CPUtime=0.19 cores=0-7
/proc/5744/task/5761/stat : 5761 (java) S 5721 5721 3098 0 -1 1077944384 711 0 0 0 19 0 0 0 20 0 24 0 418362559 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058779813872 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5762] ppid=5721 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/5744/task/5762/stat : 5762 (java) S 5721 5721 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418362560 8616062976 30070 33554432000 4194304 4196468 140731742301344 140057340013664 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5763] ppid=5721 vsize=8414124 memory=279898857930882 CPUtime=0.03 cores=0-7
/proc/5744/task/5763/stat : 5763 (java) S 5721 5721 3098 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 418362560 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058778762288 140059824687746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5765] ppid=5721 vsize=8414124 memory=20383914791402 CPUtime=0 cores=0-7
/proc/5744/task/5765/stat : 5765 (java) S 5721 5721 3098 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140058770728512 140059824701209 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5767] ppid=5721 vsize=8414124 memory=304683468988888377 CPUtime=0 cores=0-7
/proc/5744/task/5767/stat : 5767 (java) S 5721 5721 3098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056668913296 140059824698525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5768] ppid=5721 vsize=8414124 memory=288293276904346788 CPUtime=0 cores=0-7
/proc/5744/task/5768/stat : 5768 (java) S 5721 5721 3098 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418362625 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056937348624 140059824698525 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
[pid=5744/tid=5769] ppid=5721 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5744/task/5769/stat : 5769 (java) S 5721 5721 3098 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418362627 8616062976 30070 33554432000 4194304 4196468 140731742301344 140056400485424 140059824686805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140731742307320 140731742307478 140731742307478 140731742310351 0
Current children cumulated CPU time: 522.2 s
Current children cumulated vsize: 9211608 KiB
Current children cumulated memory: 401192 KiB

[startup+69.5031 s]
/proc/loadavg: 8.73 7.58 5.80 2/218 5781
/proc/meminfo: memFree=30895512/32770624 swapFree=67000500/67108860
[pid=5721] ppid=5718 vsize=113128 memory=1472 CPUtime=522.37 cores=0-7
/proc/5721/stat : 5721 (scop.sh) R 5718 5721 3098 0 -1 4202496 582 265964 0 0 0 0 52154 83 20 0 1 0 418362225 115843072 368 33554432000 4194304 5098028 140731698453648 140731698450392 139923311048585 0 0 4100 81923 0 0 0 17 6 0 0 0 0 0 7196144 7232144 39350272 140731698455333 140731698455660 140731698455660 140731698458573 0
/proc/5721/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 522.37 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 69.5035
CPU time (s): 522.385
CPU user time (s): 521.55
CPU system time (s): 0.835316
CPU usage (%): 751.595
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 905808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 521.55
system time used= 0.835316
maximum resident set size= 910664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9913
involuntary context switches= 5591


# summary of solver processes directly reported to runsolver:
#   pid: 5721
#   total CPU time (s): 522.385
#   total CPU user time (s): 521.55
#   total CPU system time (s): 0.835316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.641096 second user time and 0.996838 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 03:27:21
IDJOB=4392361
IDBENCH=124313
IDSOLVER=2838
FILE ID=node146/4392361-1568424482
RUNJOBID= node146-1568417371-3125
PBS_JOBID= 21702271
Free space on /tmp= 59032 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
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 /tmp/evaluation-result-4392361-1568424482/watcher-4392361-1568424482 -o /tmp/evaluation-result-4392361-1568424482/solver-4392361-1568424482 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568417371-3125 --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-4392361-1568424482.xml

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

MD5SUM BENCH= a550bb6a39ca50ab9210b9c0283e2640
RANDOM SEED=1187996273

node146.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	: 5332.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31278684 kB
MemAvailable:   31879020 kB
Buffers:          183172 kB
Cached:           682324 kB
SwapCached:         4764 kB
Active:           498448 kB
Inactive:         374496 kB
Active(anon):      23692 kB
Inactive(anon):    21924 kB
Active(file):     474756 kB
Inactive(file):   352572 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000496 kB
Dirty:             20416 kB
Writeback:             4 kB
AnonPages:        113368 kB
Mapped:            42200 kB
Shmem:             29876 kB
Slab:             208656 kB
SReclaimable:     177684 kB
SUnreclaim:        30972 kB
KernelStack:        3440 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     500556 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 03:28:31