Trace number 4405297

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-8_X2.xml
MD5SUM5c0d10b65067a89bbe36375c556425e1
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 benchmark166.47
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
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-7469-serial-file.bin HOME/instance-4405297-1569343145.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 18:38:28 CEST 2019
0.66/0.56	c PID: 7472
0.66/0.56	c IP: 172.20.3.148
0.66/0.56	c HOST: node148.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.05/1.13	c (0,0) Parsing End
2.05/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.05/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.13	c (0,0) Constraint Name Generate Begin
2.05/1.15	c (0,0) Ctr:HOME/instance-4405297-1569343145.xml,ExtensionConflict:ExtensionSupport:Var
2.05/1.15	c (0,0) Constraint Name Generate End
2.05/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.15	c (0,0) CSP to CSPinCNF Begin
3.14/1.64	c (1,1) translated 127 (10%) constraints
3.54/1.75	c (1,1) translated 253 (20%) constraints
3.96/1.83	c (1,1) translated 379 (30%) constraints
3.96/1.90	c (1,1) translated 505 (40%) constraints
4.37/1.95	c (1,1) translated 631 (50%) constraints
4.37/2.00	c (1,1) translated 757 (60%) constraints
5.22/2.14	c (1,1) translated 883 (70%) constraints
5.92/2.38	c (1,1) translated 1009 (80%) constraints
6.34/2.60	c (2,2) translated 1135 (90%) constraints
7.08/2.91	c (2,2) translated 1261 (100%) constraints
7.08/2.92	c (2,2) ===========================================
7.08/2.92	c (2,2) Order
7.08/2.92	c (2,2) ===========================================
7.08/2.98	c (2,2) translated 1883 (10%) constraints
7.51/3.03	c (2,2) translated 3765 (20%) constraints
7.51/3.08	c (2,2) translated 5647 (30%) constraints
7.91/3.13	c (2,2) translated 7529 (40%) constraints
7.91/3.18	c (2,2) translated 9411 (50%) constraints
8.28/3.23	c (2,2) translated 11294 (60%) constraints
8.28/3.27	c (2,2) translated 13176 (70%) constraints
8.66/3.31	c (2,2) translated 15058 (80%) constraints
8.66/3.35	c (2,2) translated 16940 (90%) constraints
8.66/3.38	c (2,2) translated 18822 (100%) constraints
8.66/3.38	c (2,2) CSP to CSPinCNF End
8.66/3.39	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.66/3.39	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.66/3.39	c (2,2) CSPinCNF Propagation Begin
10.13/3.74	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.13/3.74	c (3,3) CSPinCNF Propagation End
10.13/3.74	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.13/3.74	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.13/3.74	c (3,3) Simplify CSPinCNF Begin
10.13/3.80	c (3,3) Simplify CSPinCNF End
10.13/3.80	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.13/3.80	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.13/3.80	c (3,3) Calculate Precise Domain Begin
10.44/3.80	c (3,3) 0 values are removed by re-calculation
10.44/3.80	c (3,3) Calculate Precise Domain End
10.44/3.80	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.44/3.80	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.44/3.80	c (3,3) CSPinCNF to SatSolver Begin
10.72/3.95	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.72/4.00	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.11/4.05	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.11/4.10	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.52/4.13	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.52/4.16	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.52/4.18	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.52/4.19	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.82/4.21	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.82/4.22	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.82/4.22	c (3,3) CSPinCNF to SatSolver End
11.82/4.22	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.82/4.22	c (3,3) 2482 bool, 15697 clause
11.82/4.22	c (3,3) Export Begin
12.05/4.70	c (4,3) Export to HOME/scop-7469-serial-file.bin
12.05/4.70	c (4,3) Export End
12.05/4.70	c (4,3) Export File Size: 0.02 MB
12.05/4.70	c (4,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
12.05/4.70	c END-Prog: Tue Sep 24 18:38:32 CEST 2019
12.05/4.73	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7469-serial-file.bin
12.55/5.19	c (0,0) Read Serial File Begin
12.55/5.19	c (0,0) HOME/scop-7469-serial-file.bin
12.97/5.41	c (0,0) Read Serial File End
12.97/5.43	
12.97/5.43	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.97/5.43	(Solving Process)
12.97/5.43	
12.97/5.45	c BEGIN-Prog: Tue Sep 24 18:38:33 CEST 2019
12.97/5.45	c PID: 7494
12.97/5.45	c IP: 172.20.3.148
12.97/5.45	c HOST: node148.alineos.net
12.97/5.45	c (0,0) SatSolver.solve Begin
12.97/5.45	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405297-1569343145.xml-scop-7472.cnf
12.97/5.48	c (0,0) c
12.97/5.48	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)
12.97/5.48	c (0,0) c
12.97/5.48	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.97/5.48	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.97/5.48	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.97/5.48	c (0,0) c |                                                                                                       |
12.97/5.48	c (0,0) c |  Number of variables:          2480                                                                   |
12.97/5.48	c (0,0) c |  Number of clauses:           15697                                                                   |
12.97/5.48	c (0,0) c |  Parse time:                   0.00 s                                                                 |
12.97/5.48	c (0,0) c |                                                                                                       |
12.97/5.48	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.97/5.49	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.97/5.49	c (0,0) c |                                                                                                       |
12.97/5.49	c (0,0) c |  Generating clones                                                                                    |
12.97/5.50	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.97/5.50	c (0,0) c ========================================================================================================|
12.97/5.50	c (0,0) c
12.97/5.50	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.97/5.50	c (0,0) c
12.97/5.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.97/5.50	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.97/5.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.97/5.50	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.97/5.50	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.97/5.50	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.97/5.50	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.97/5.50	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.50	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.97/5.50	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.97/5.50	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.97/5.50	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.97/5.50	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.50	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.97/5.50	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.97/5.50	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.97/5.50	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.50	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.97/5.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
240.80/35.30	c (30,0) c
240.80/35.30	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.80/35.30	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.80/35.30	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.80/35.30	c (30,0) c |  0 |    366 |     554804 |     301722 |     9240 |    70341 |    44690 |   294196 |    17645 |      308 |  20 |  0.847 |
240.80/35.30	c (30,0) c |  1 |    385 |     552430 |     302139 |     9417 |    70759 |    45361 |   290625 |    18826 |      308 |  20 |  0.847 |
240.80/35.30	c (30,0) c |  2 |    355 |     550313 |     293460 |     9351 |    62072 |    43691 |   293784 |    16739 |      307 |  20 |  0.848 |
240.80/35.30	c (30,0) c |  3 |    408 |     554920 |     298635 |     9370 |    67253 |    44902 |   287220 |    14737 |      305 |  20 |  0.848 |
240.80/35.30	c (30,0) c |  4 |    291 |     531018 |     293089 |     9180 |    61693 |    42057 |   290416 |    12433 |      303 |  20 |  0.847 |
240.80/35.30	c (30,0) c |  5 |    335 |     512900 |     273621 |     9230 |    42237 |    40830 |   294520 |    14918 |      298 |  20 |  0.847 |
240.80/35.30	c (30,0) c |  6 |    459 |     588579 |     315187 |     9381 |    48003 |    45668 |   298243 |    16912 |      308 |  20 |  0.847 |
240.80/35.30	c (30,0) c |  7 |    368 |     545105 |     295145 |     9550 |    63755 |    45535 |   281690 |    17640 |      288 |  20 |  0.848 |
240.80/35.30	c (30,0) c 
240.80/35.30	c (30,0) c synthesis     2372999 conflicts   176677456 propagations    10460 conflicts/sec   778750 propagations/sec
240.80/35.30	c (30,0) c real: 29.8275 s, cpu: 226.873 s, memory: 629.45 Mb
460.20/64.31	c (59,0) c
460.20/64.31	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
460.20/64.31	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
460.20/64.31	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
460.20/64.31	c (59,0) c |  0 |    405 |     881411 |     468026 |     9285 |    77840 |    60366 |   419441 |    28080 |      573 |  20 |  0.848 |
460.20/64.31	c (59,0) c |  1 |    455 |     868632 |     464107 |     9452 |    73919 |    65585 |   420361 |    30058 |      569 |  20 |  0.847 |
460.20/64.31	c (59,0) c |  2 |    411 |     875583 |     460011 |     9454 |    69831 |    60506 |   421702 |    29112 |      573 |  20 |  0.848 |
460.20/64.31	c (59,0) c |  3 |    463 |     862743 |     460758 |     9433 |    70566 |    62028 |   418938 |    27063 |      569 |  20 |  0.848 |
460.20/64.31	c (59,0) c |  4 |    388 |     831255 |     447753 |     9326 |    57572 |    58523 |   411014 |    25981 |      553 |  20 |  0.847 |
460.20/64.31	c (59,0) c |  5 |    421 |     830887 |     441282 |     9355 |    51102 |    60404 |   426232 |    27238 |      573 |  20 |  0.847 |
460.20/64.31	c (59,0) c |  6 |    554 |     912187 |     480079 |     9413 |    89889 |    64064 |   423304 |    29754 |      571 |  20 |  0.847 |
460.20/64.31	c (59,0) c |  7 |    385 |     872862 |     465445 |     9570 |    75258 |    61921 |   422637 |    27767 |      568 |  20 |  0.848 |
460.20/64.31	c (59,0) c 
460.20/64.31	c (59,0) c synthesis     3687461 conflicts   272340724 propagations     8270 conflicts/sec   610754 propagations/sec
460.20/64.31	c (59,0) c real: 58.8348 s, cpu: 445.909 s, memory: 723.89 Mb
692.36/94.30	c (89,0) c
692.36/94.30	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
692.36/94.30	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
692.36/94.30	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
692.36/94.30	c (89,0) c |  0 |    466 |    1160733 |     606108 |     9306 |    69523 |    74385 |   510660 |    38473 |      836 |  20 |  0.847 |
692.36/94.30	c (89,0) c |  1 |    545 |    1151870 |     603343 |     9483 |    66751 |    78551 |   504012 |    40458 |      830 |  20 |  0.847 |
692.36/94.30	c (89,0) c |  2 |    469 |    1144633 |     593154 |     9491 |    56575 |    73385 |   503835 |    38575 |      816 |  20 |  0.848 |
692.36/94.30	c (89,0) c |  3 |    504 |    1140676 |     599847 |     9454 |    63261 |    71618 |   512615 |    38004 |      835 |  20 |  0.847 |
692.36/94.30	c (89,0) c |  4 |    497 |    1129440 |     598098 |     9359 |    61509 |    74036 |   502177 |    37792 |      836 |  20 |  0.848 |
692.36/94.30	c (89,0) c |  5 |    475 |    1100952 |     578928 |     9385 |    93741 |    72387 |   509812 |    37694 |      832 |  20 |  0.848 |
692.36/94.30	c (89,0) c |  6 |    627 |    1186640 |     616021 |     9439 |    79432 |    75608 |   503308 |    39189 |      825 |  20 |  0.847 |
692.36/94.30	c (89,0) c |  7 |    432 |    1159667 |     605405 |     9584 |    68819 |    70687 |   510658 |    39444 |      835 |  20 |  0.847 |
692.36/94.30	c (89,0) c 
692.36/94.30	c (89,0) c synthesis     4800905 conflicts   354504780 propagations     7085 conflicts/sec   523195 propagations/sec
692.36/94.30	c (89,0) c real: 88.8277 s, cpu: 677.577 s, memory: 787.96 Mb
910.19/124.30	c (119,0) c
910.19/124.30	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
910.19/124.30	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
910.19/124.30	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
910.19/124.30	c (119,0) c |  0 |    487 |    1381240 |     715679 |     9322 |    59265 |    83514 |   573204 |    47690 |     1079 |  20 |  1.331 |
910.19/124.30	c (119,0) c |  1 |    591 |    1375427 |     712015 |     9494 |    59403 |    86136 |   576208 |    49515 |     1079 |  20 |  1.533 |
910.19/124.30	c (119,0) c |  2 |    516 |    1360048 |     703405 |     9504 |   109805 |    84852 |   576421 |    47793 |     1077 |  20 |  1.492 |
910.19/124.30	c (119,0) c |  3 |    527 |    1355239 |     705624 |     9461 |    57837 |    79322 |   575968 |    46910 |     1078 |  20 |  1.129 |
910.19/124.30	c (119,0) c |  4 |    524 |    1351039 |     706256 |     9369 |    52421 |    82846 |   576804 |    46835 |     1079 |  20 |  1.411 |
910.19/124.30	c (119,0) c |  5 |    502 |    1316341 |     687335 |     9404 |    80102 |    83544 |   576722 |    46390 |     1079 |  20 |  1.573 |
910.19/124.30	c (119,0) c |  6 |    680 |    1400045 |     719953 |     9456 |    68732 |    84382 |   572079 |    47729 |     1059 |  20 |  1.290 |
910.19/124.30	c (119,0) c |  7 |    468 |    1366209 |     708947 |     9597 |    60219 |    81741 |   577686 |    48741 |     1079 |  20 |  1.372 |
910.19/124.30	c (119,0) c 
910.19/124.30	c (119,0) c synthesis     5659214 conflicts   419764623 propagations     6322 conflicts/sec   468954 propagations/sec
910.19/124.30	c (119,0) c real: 118.828 s, cpu: 895.109 s, memory: 812.87 Mb
933.92/128.76	c (123,0) c
933.92/128.76	c (123,0) c real time : 123.285 s
933.92/128.76	c (123,0) c cpu time  : 918.856 s
933.92/128.76	c (123,0) c
933.92/128.76	c (123,0) c
933.92/128.76	c (123,0) c
933.92/128.76	c (123,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
933.92/128.76	c (123,0) c
933.92/128.76	c (123,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.76	c (123,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
933.92/128.76	c (123,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.76	c (123,0) c | Conflicts     |         5752541 |     727029 |     722294 |     715371 |     716405 |     717837 |     696591 |     736448 |     720566 |
933.92/128.76	c (123,0) c | Decisions     |        11097009 |    1404692 |    1395980 |    1385768 |    1376864 |    1375298 |    1335447 |    1433096 |    1389864 |
933.92/128.76	c (123,0) c | Propagations  |       427088415 |   53829263 |   53407524 |   53207630 |   53179690 |   53239469 |   52441366 |   54339638 |   53443835 |
933.92/128.76	c (123,0) c | ReduceDBs     |             183 |         23 |         23 |         23 |         23 |         23 |         22 |         23 |         23 |
933.92/128.76	c (123,0) c | SimpDBs       |              80 |         11 |          9 |         10 |         10 |         11 |          7 |         10 |         12 |
933.92/128.76	c (123,0) c | Restarts      |            4311 |        489 |        591 |        518 |        531 |        526 |        502 |        685 |        469 |
933.92/128.76	c (123,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
933.92/128.76	c (123,0) c | PropBinClauses|       898321003 |  112569136 |  111456338 |  112229502 |  113018959 |  112219085 |  112810206 |  112551007 |  111466770 |
933.92/128.76	c (123,0) c | PropPreBlocker|     29896276812 | 3731253295 | 3747339364 | 3737216701 | 3701526309 | 3802181332 | 3688922298 | 3781591281 | 3706246232 |
933.92/128.76	c (123,0) c | PropNotBlocker|      4925891765 |  612178016 |  618031849 |  617141170 |  618573259 |  603631768 |  629788218 |  603424549 |  623122936 |
933.92/128.76	c (123,0) c | LitFullScans  |     52966375768 | 6624963993 | 6625062918 | 6618093566 | 6613105193 | 6624027457 | 6623329286 | 6612792462 | 6625000893 |
933.92/128.76	c (123,0) c | LitScanFracts |         8308185 |     919333 |    1045802 |     905909 |    1096383 |    1618265 |     960691 |     768911 |     992891 |
933.92/128.76	c (123,0) c | DecisionLevel0|            4447 |        506 |        607 |        540 |        545 |        550 |        517 |        700 |        482 |
933.92/128.76	c (123,0) c | Periods       |            8824 |       1104 |       1104 |       1102 |       1102 |       1103 |       1103 |       1102 |       1104 |
933.92/128.76	c (123,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
933.92/128.76	c (123,0) c | Avg_Trail     |                 |        634 |        636 |        629 |        626 |        632 |        630 |        636 |        627 |
933.92/128.76	c (123,0) c | Avg_DL        |                 |         22 |         22 |         21 |         21 |         21 |         21 |         22 |         22 |
933.92/128.76	c (123,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
933.92/128.76	c (123,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
933.92/128.76	c (123,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.76	c (123,0) c | Exported      |          675722 |      84333 |      87352 |      85883 |      80290 |      84198 |      84517 |      86049 |      83100 |
933.92/128.76	c (123,0) c | Imported      |         4672768 |     584023 |     581592 |     582851 |     587525 |     585062 |     584424 |     581932 |     585359 |
933.92/128.76	c (123,0) c | Good          |           14030 |       1749 |       1761 |       1749 |       1752 |       1799 |       1763 |       1708 |       1749 |
933.92/128.76	c (123,0) c | Purge         |         4658738 |     582274 |     579831 |     581102 |     585773 |     583263 |     582661 |     580224 |     583610 |
933.92/128.76	c (123,0) c | Promoted      |          388557 |      48585 |      50193 |      48525 |      47717 |      47625 |      47297 |      49144 |      49471 |
933.92/128.76	c (123,0) c | Remove_Imp    |         3659949 |     465080 |     459529 |     457062 |     459869 |     465261 |     442988 |     447943 |     462217 |
933.92/128.76	c (123,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
933.92/128.76	c (123,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.76	c (123,0) c | Unaries       |                 |         17 |         16 |         22 |         14 |         24 |         15 |         15 |         13 |
933.92/128.76	c (123,0) c | Binaries      |                 |        278 |        257 |        283 |        255 |        226 |        253 |        307 |        273 |
933.92/128.76	c (123,0) c | Glues         |                 |       1022 |       1023 |       1043 |       1011 |        923 |       1054 |       1091 |        943 |
933.92/128.76	c (123,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.76	c (123,0) c | Orig_Seen     |            87 % |       9325 |       9494 |       9505 |       9461 |       9371 |       9404 |       9457 |       9597 |
933.92/128.76	c (123,0) c | Diff Orig seen|                 | -      180 | -       11 |      X     | -       44 | -      134 | -      101 | -       48 |         92 |
933.92/128.76	c (123,0) c | Hamming       |            11 % |        295 |        303 |      X     |        323 |        307 |        242 |        277 |        327 |
933.92/128.76	c (123,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.76	c (123,0) c | RunningTime   |                 |  110.8  91%|  109.4  90%|  118.4  97%|  118.4  97%|  116.0  95%|  116.4  96%|  118.7  96%|  113.0  93%|
933.92/128.76	c (123,0) c | WaitingTime   |                 |   10.7   9%|   12.2  10%|    3.2   3%|    3.3   3%|    5.5   5%|    5.1   4%|    4.2   3%|    8.5   7%|
933.92/128.76	c (123,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|
933.92/128.76	c (123,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%|
933.92/128.76	c (123,0) c | SolvingTime   |                 |  121.9     |  121.9     |  122.0     |  122.0     |  121.8     |  121.9     |  123.2     |  121.9     |
933.92/128.76	c (123,0) c | PropagationTim|                 |   94.0  77%|   93.3  77%|   82.0  67%|   82.8  68%|   80.8  66%|   83.8  69%|   85.2  69%|   91.9  75%|
933.92/128.76	c (123,0) c | AnalysisTime  |                 |   24.6  20%|   25.2  21%|   36.8  30%|   36.0  30%|   37.8  31%|   35.0  29%|   34.8  28%|   26.6  22%|
933.92/128.76	c (123,0) c | ReductionTime |                 |    1.3   1%|    1.4   1%|    1.2   1%|    1.2   1%|    1.2   1%|    1.2   1%|    1.2   1%|    1.3   1%|
933.92/128.76	c (123,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|
933.92/128.76	c (123,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%|
933.92/128.76	c (123,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%|
933.92/128.76	c (123,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.76	c (123,0) c
933.92/128.76	c (123,0) c
933.92/128.76	c (123,0) c Threads : 8
933.92/128.76	c (123,0) c Winner : 2
933.92/128.76	c (123,0) c Conflicts_0 : 727029
933.92/128.76	c (123,0) c Conflicts_1 : 722294
933.92/128.76	c (123,0) c Conflicts_2 : 715371
933.92/128.76	c (123,0) c Conflicts_3 : 716405
933.92/128.76	c (123,0) c Conflicts_4 : 717837
933.92/128.76	c (123,0) c Conflicts_5 : 696591
933.92/128.76	c (123,0) c Conflicts_6 : 736448
933.92/128.76	c (123,0) c Conflicts_7 : 720566
933.92/128.76	c (123,0) c Conflicts_total : 5752541
933.92/128.76	c (123,0) c Conflicts_winner : 715371
933.92/128.76	c (123,0) c Decisions_0 : 1404692
933.92/128.76	c (123,0) c Decisions_1 : 1395980
933.92/128.76	c (123,0) c Decisions_2 : 1385768
933.92/128.76	c (123,0) c Decisions_3 : 1376864
933.92/128.76	c (123,0) c Decisions_4 : 1375298
933.92/128.76	c (123,0) c Decisions_5 : 1335447
933.92/128.76	c (123,0) c Decisions_6 : 1433096
933.92/128.76	c (123,0) c Decisions_7 : 1389864
933.92/128.76	c (123,0) c Decisions_total : 11097009
933.92/128.76	c (123,0) c Decisions_winner : 1385768
933.92/128.76	c (123,0) c Propagations_0 : 53829263
933.92/128.76	c (123,0) c Propagations_1 : 53407524
933.92/128.76	c (123,0) c Propagations_2 : 53207630
933.92/128.76	c (123,0) c Propagations_3 : 53179690
933.92/128.76	c (123,0) c Propagations_4 : 53239469
933.92/128.76	c (123,0) c Propagations_5 : 52441366
933.92/128.76	c (123,0) c Propagations_6 : 54339638
933.92/128.76	c (123,0) c Propagations_7 : 53443835
933.92/128.76	c (123,0) c Propagations_total : 427088415
933.92/128.76	c (123,0) c Propagations_winner : 53207630
933.92/128.76	c (123,0) c ReduceDBs_0 : 23
933.92/128.76	c (123,0) c ReduceDBs_1 : 23
933.92/128.76	c (123,0) c ReduceDBs_2 : 23
933.92/128.76	c (123,0) c ReduceDBs_3 : 23
933.92/128.76	c (123,0) c ReduceDBs_4 : 23
933.92/128.76	c (123,0) c ReduceDBs_5 : 22
933.92/128.76	c (123,0) c ReduceDBs_6 : 23
933.92/128.76	c (123,0) c ReduceDBs_7 : 23
933.92/128.76	c (123,0) c ReduceDBs_total : 183
933.92/128.76	c (123,0) c ReduceDBs_winner : 23
933.92/128.76	c (123,0) c SimpDBs_0 : 11
933.92/128.76	c (123,0) c SimpDBs_1 : 9
933.92/128.76	c (123,0) c SimpDBs_2 : 10
933.92/128.76	c (123,0) c SimpDBs_3 : 10
933.92/128.76	c (123,0) c SimpDBs_4 : 11
933.92/128.76	c (123,0) c SimpDBs_5 : 7
933.92/128.76	c (123,0) c SimpDBs_6 : 10
933.92/128.76	c (123,0) c SimpDBs_7 : 12
933.92/128.76	c (123,0) c SimpDBs_total : 80
933.92/128.76	c (123,0) c SimpDBs_winner : 10
933.92/128.76	c (123,0) c Restarts_0 : 489
933.92/128.76	c (123,0) c Restarts_1 : 591
933.92/128.76	c (123,0) c Restarts_2 : 518
933.92/128.76	c (123,0) c Restarts_3 : 531
933.92/128.76	c (123,0) c Restarts_4 : 526
933.92/128.76	c (123,0) c Restarts_5 : 502
933.92/128.76	c (123,0) c Restarts_6 : 685
933.92/128.76	c (123,0) c Restarts_7 : 469
933.92/128.76	c (123,0) c Restarts_total : 4311
933.92/128.76	c (123,0) c Restarts_winner : 518
933.92/128.76	c (123,0) c ForcedImports_0 : 0
933.92/128.77	c (123,0) c ForcedImports_1 : 0
933.92/128.77	c (123,0) c ForcedImports_2 : 0
933.92/128.77	c (123,0) c ForcedImports_3 : 0
933.92/128.77	c (123,0) c ForcedImports_4 : 0
933.92/128.77	c (123,0) c ForcedImports_5 : 0
933.92/128.77	c (123,0) c ForcedImports_6 : 0
933.92/128.77	c (123,0) c ForcedImports_7 : 0
933.92/128.77	c (123,0) c ForcedImports_total : 0
933.92/128.77	c (123,0) c ForcedImports_winner : 0
933.92/128.77	c (123,0) c PropsBinClauses_0 : 112569136
933.92/128.77	c (123,0) c PropsBinClauses_1 : 111456338
933.92/128.77	c (123,0) c PropsBinClauses_2 : 112229502
933.92/128.77	c (123,0) c PropsBinClauses_3 : 113018959
933.92/128.77	c (123,0) c PropsBinClauses_4 : 112219085
933.92/128.77	c (123,0) c PropsBinClauses_5 : 112810206
933.92/128.77	c (123,0) c PropsBinClauses_6 : 112551007
933.92/128.77	c (123,0) c PropsBinClauses_7 : 111466770
933.92/128.77	c (123,0) c PropsBinClauses_total : 898321003
933.92/128.77	c (123,0) c PropsBinClauses_winner : 112229502
933.92/128.77	c (123,0) c PropsPreBlocker_0 : 3731253295
933.92/128.77	c (123,0) c PropsPreBlocker_1 : 3747339364
933.92/128.77	c (123,0) c PropsPreBlocker_2 : 3737216701
933.92/128.77	c (123,0) c PropsPreBlocker_3 : 3701526309
933.92/128.77	c (123,0) c PropsPreBlocker_4 : 3802181332
933.92/128.77	c (123,0) c PropsPreBlocker_5 : 3688922298
933.92/128.77	c (123,0) c PropsPreBlocker_6 : 3781591281
933.92/128.77	c (123,0) c PropsPreBlocker_7 : 3706246232
933.92/128.77	c (123,0) c PropsPreBlocker_total : 29896276812
933.92/128.77	c (123,0) c PropsPreBlocker_winner : 3737216701
933.92/128.77	c (123,0) c PropsNotBlocker_0 : 612178016
933.92/128.77	c (123,0) c PropsNotBlocker_1 : 618031849
933.92/128.77	c (123,0) c PropsNotBlocker_2 : 617141170
933.92/128.77	c (123,0) c PropsNotBlocker_3 : 618573259
933.92/128.77	c (123,0) c PropsNotBlocker_4 : 603631768
933.92/128.77	c (123,0) c PropsNotBlocker_5 : 629788218
933.92/128.77	c (123,0) c PropsNotBlocker_6 : 603424549
933.92/128.77	c (123,0) c PropsNotBlocker_7 : 623122936
933.92/128.77	c (123,0) c PropsNotBlocker_total : 4925891765
933.92/128.77	c (123,0) c PropsNotBlocker_winner : 617141170
933.92/128.77	c (123,0) c PropsLitFullScans_0 : 6624963993
933.92/128.77	c (123,0) c PropsLitFullScans_1 : 6625062918
933.92/128.77	c (123,0) c PropsLitFullScans_2 : 6618093566
933.92/128.77	c (123,0) c PropsLitFullScans_3 : 6613105193
933.92/128.77	c (123,0) c PropsLitFullScans_4 : 6624027457
933.92/128.77	c (123,0) c PropsLitFullScans_5 : 6623329286
933.92/128.77	c (123,0) c PropsLitFullScans_6 : 6612792462
933.92/128.77	c (123,0) c PropsLitFullScans_7 : 6625000893
933.92/128.77	c (123,0) c PropsLitFullScans_total : 52966375768
933.92/128.77	c (123,0) c PropsLitFullScans_winner : 6618093566
933.92/128.77	c (123,0) c LitScanFractions_0 : 919333
933.92/128.77	c (123,0) c LitScanFractions_1 : 1045802
933.92/128.77	c (123,0) c LitScanFractions_2 : 905909
933.92/128.77	c (123,0) c LitScanFractions_3 : 1096383
933.92/128.77	c (123,0) c LitScanFractions_4 : 1618265
933.92/128.77	c (123,0) c LitScanFractions_5 : 960691
933.92/128.77	c (123,0) c LitScanFractions_6 : 768911
933.92/128.77	c (123,0) c LitScanFractions_7 : 992891
933.92/128.77	c (123,0) c LitScanFractions_total : 8308185
933.92/128.77	c (123,0) c LitScanFractions_winner : 905909
933.92/128.77	c (123,0) c DecisionLevel0_0 : 506
933.92/128.77	c (123,0) c DecisionLevel0_1 : 607
933.92/128.77	c (123,0) c DecisionLevel0_2 : 540
933.92/128.77	c (123,0) c DecisionLevel0_3 : 545
933.92/128.77	c (123,0) c DecisionLevel0_4 : 550
933.92/128.77	c (123,0) c DecisionLevel0_5 : 517
933.92/128.77	c (123,0) c DecisionLevel0_6 : 700
933.92/128.77	c (123,0) c DecisionLevel0_7 : 482
933.92/128.77	c (123,0) c DecisionLevel0_total : 4447
933.92/128.77	c (123,0) c DecisionLevel0_winner : 540
933.92/128.77	c (123,0) c Periods_0 : 1104
933.92/128.77	c (123,0) c Periods_1 : 1104
933.92/128.77	c (123,0) c Periods_2 : 1102
933.92/128.77	c (123,0) c Periods_3 : 1102
933.92/128.77	c (123,0) c Periods_4 : 1103
933.92/128.77	c (123,0) c Periods_5 : 1103
933.92/128.77	c (123,0) c Periods_6 : 1102
933.92/128.77	c (123,0) c Periods_7 : 1104
933.92/128.77	c (123,0) c Periods_total : 8824
933.92/128.77	c (123,0) c Periods_winner : 1102
933.92/128.77	c (123,0) c Margin_0 : 20
933.92/128.77	c (123,0) c Margin_1 : 20
933.92/128.77	c (123,0) c Margin_2 : 20
933.92/128.77	c (123,0) c Margin_3 : 20
933.92/128.77	c (123,0) c Margin_4 : 20
933.92/128.77	c (123,0) c Margin_5 : 20
933.92/128.77	c (123,0) c Margin_6 : 20
933.92/128.77	c (123,0) c Margin_7 : 20
933.92/128.77	c (123,0) c Margin_total : 160
933.92/128.77	c (123,0) c Margin_winner : 20
933.92/128.77	c (123,0) c Exported_0 : 84333
933.92/128.77	c (123,0) c Exported_1 : 87352
933.92/128.77	c (123,0) c Exported_2 : 85883
933.92/128.77	c (123,0) c Exported_3 : 80290
933.92/128.77	c (123,0) c Exported_4 : 84198
933.92/128.77	c (123,0) c Exported_5 : 84517
933.92/128.77	c (123,0) c Exported_6 : 86049
933.92/128.77	c (123,0) c Exported_7 : 83100
933.92/128.77	c (123,0) c Exported_total : 675722
933.92/128.77	c (123,0) c Exported_winner : 85883
933.92/128.77	c (123,0) c Imported_0 : 584023
933.92/128.77	c (123,0) c Imported_1 : 581592
933.92/128.77	c (123,0) c Imported_2 : 582851
933.92/128.77	c (123,0) c Imported_3 : 587525
933.92/128.77	c (123,0) c Imported_4 : 585062
933.92/128.77	c (123,0) c Imported_5 : 584424
933.92/128.77	c (123,0) c Imported_6 : 581932
933.92/128.77	c (123,0) c Imported_7 : 585359
933.92/128.77	c (123,0) c Imported_total : 4672768
933.92/128.77	c (123,0) c Imported_winner : 582851
933.92/128.77	c (123,0) c Good_0 : 1749
933.92/128.77	c (123,0) c Good_1 : 1761
933.92/128.77	c (123,0) c Good_2 : 1749
933.92/128.77	c (123,0) c Good_3 : 1752
933.92/128.77	c (123,0) c Good_4 : 1799
933.92/128.77	c (123,0) c Good_5 : 1763
933.92/128.77	c (123,0) c Good_6 : 1708
933.92/128.77	c (123,0) c Good_7 : 1749
933.92/128.77	c (123,0) c Good_total : 14030
933.92/128.77	c (123,0) c Good_winner : 1749
933.92/128.77	c (123,0) c Purge_0 : 582274
933.92/128.77	c (123,0) c Purge_1 : 579831
933.92/128.77	c (123,0) c Purge_2 : 581102
933.92/128.77	c (123,0) c Purge_3 : 585773
933.92/128.77	c (123,0) c Purge_4 : 583263
933.92/128.77	c (123,0) c Purge_5 : 582661
933.92/128.77	c (123,0) c Purge_6 : 580224
933.92/128.77	c (123,0) c Purge_7 : 583610
933.92/128.77	c (123,0) c Purge_total : 4658738
933.92/128.77	c (123,0) c Purge_winner : 581102
933.92/128.77	c (123,0) c Promoted_0 : 48585
933.92/128.77	c (123,0) c Promoted_1 : 50193
933.92/128.77	c (123,0) c Promoted_2 : 48525
933.92/128.77	c (123,0) c Promoted_3 : 47717
933.92/128.77	c (123,0) c Promoted_4 : 47625
933.92/128.77	c (123,0) c Promoted_5 : 47297
933.92/128.77	c (123,0) c Promoted_6 : 49144
933.92/128.77	c (123,0) c Promoted_7 : 49471
933.92/128.77	c (123,0) c Promoted_total : 388557
933.92/128.77	c (123,0) c Promoted_winner : 48525
933.92/128.77	c (123,0) c Remove_Imp_0 : 465080
933.92/128.77	c (123,0) c Remove_Imp_1 : 459529
933.92/128.77	c (123,0) c Remove_Imp_2 : 457062
933.92/128.77	c (123,0) c Remove_Imp_3 : 459869
933.92/128.77	c (123,0) c Remove_Imp_4 : 465261
933.92/128.77	c (123,0) c Remove_Imp_5 : 442988
933.92/128.77	c (123,0) c Remove_Imp_6 : 447943
933.92/128.77	c (123,0) c Remove_Imp_7 : 462217
933.92/128.77	c (123,0) c Remove_Imp_total : 3659949
933.92/128.77	c (123,0) c Remove_Imp_winner : 457062
933.92/128.77	c (123,0) c Blocked_Reuse_0 : 0
933.92/128.77	c (123,0) c Blocked_Reuse_1 : 0
933.92/128.77	c (123,0) c Blocked_Reuse_2 : 0
933.92/128.77	c (123,0) c Blocked_Reuse_3 : 0
933.92/128.77	c (123,0) c Blocked_Reuse_4 : 0
933.92/128.77	c (123,0) c Blocked_Reuse_5 : 0
933.92/128.77	c (123,0) c Blocked_Reuse_6 : 0
933.92/128.77	c (123,0) c Blocked_Reuse_7 : 0
933.92/128.77	c (123,0) c Blocked_Reuse_total : 0
933.92/128.77	c (123,0) c Blocked_Reuse_winner : 0
933.92/128.77	c (123,0) c Unaries_0 : 17
933.92/128.77	c (123,0) c Unaries_1 : 16
933.92/128.77	c (123,0) c Unaries_2 : 22
933.92/128.77	c (123,0) c Unaries_3 : 14
933.92/128.77	c (123,0) c Unaries_4 : 24
933.92/128.77	c (123,0) c Unaries_5 : 15
933.92/128.77	c (123,0) c Unaries_6 : 15
933.92/128.77	c (123,0) c Unaries_7 : 13
933.92/128.77	c (123,0) c Unaries_total : 136
933.92/128.77	c (123,0) c Unaries_winner : 22
933.92/128.77	c (123,0) c Binaries_0 : 278
933.92/128.77	c (123,0) c Binaries_1 : 257
933.92/128.77	c (123,0) c Binaries_2 : 283
933.92/128.77	c (123,0) c Binaries_3 : 255
933.92/128.77	c (123,0) c Binaries_4 : 226
933.92/128.77	c (123,0) c Binaries_5 : 253
933.92/128.77	c (123,0) c Binaries_6 : 307
933.92/128.77	c (123,0) c Binaries_7 : 273
933.92/128.77	c (123,0) c Binaries_total : 2132
933.92/128.77	c (123,0) c Binaries_winner : 283
933.92/128.77	c (123,0) c Glues_0 : 1022
933.92/128.77	c (123,0) c Glues_1 : 1023
933.92/128.77	c (123,0) c Glues_2 : 1043
933.92/128.77	c (123,0) c Glues_3 : 1011
933.92/128.77	c (123,0) c Glues_4 : 923
933.92/128.77	c (123,0) c Glues_5 : 1054
933.92/128.77	c (123,0) c Glues_6 : 1091
933.92/128.77	c (123,0) c Glues_7 : 943
933.92/128.77	c (123,0) c Glues_total : 8110
933.92/128.77	c (123,0) c Glues_winner : 1043
933.92/128.77	c (123,0) c RunningTime_0 : 110.834978
933.92/128.77	c (123,0) c RunningTime_1 : 109.373350
933.92/128.77	c (123,0) c RunningTime_2 : 118.388244
933.92/128.77	c (123,0) c RunningTime_3 : 118.399422
933.92/128.77	c (123,0) c RunningTime_4 : 115.996068
933.92/128.77	c (123,0) c RunningTime_5 : 116.387827
933.92/128.77	c (123,0) c RunningTime_6 : 118.662489
933.92/128.77	c (123,0) c RunningTime_7 : 112.991633
933.92/128.77	c (123,0) c RunningTime_total : 921.034011
933.92/128.77	c (123,0) c RunningTime_winner : 118.388244
933.92/128.77	c (123,0) c WaitingTime_0 : 10.729361
933.92/128.77	c (123,0) c WaitingTime_1 : 12.166410
933.92/128.77	c (123,0) c WaitingTime_2 : 3.245760
933.92/128.77	c (123,0) c WaitingTime_3 : 3.290379
933.92/128.77	c (123,0) c WaitingTime_4 : 5.504183
933.92/128.77	c (123,0) c WaitingTime_5 : 5.135709
933.92/128.77	c (123,0) c WaitingTime_6 : 4.199085
933.92/128.77	c (123,0) c WaitingTime_7 : 8.517001
933.92/128.77	c (123,0) c WaitingTime_total : 52.787889
933.92/128.77	c (123,0) c WaitingTime_winner : 3.245760
933.92/128.77	c (123,0) c ExchangingTime_0 : 0.316617
933.92/128.77	c (123,0) c ExchangingTime_1 : 0.338251
933.92/128.77	c (123,0) c ExchangingTime_2 : 0.344046
933.92/128.77	c (123,0) c ExchangingTime_3 : 0.313071
933.92/128.77	c (123,0) c ExchangingTime_4 : 0.310373
933.92/128.77	c (123,0) c ExchangingTime_5 : 0.317928
933.92/128.77	c (123,0) c ExchangingTime_6 : 0.314147
933.92/128.77	c (123,0) c ExchangingTime_7 : 0.367872
933.92/128.77	c (123,0) c ExchangingTime_total : 2.622306
933.92/128.77	c (123,0) c ExchangingTime_winner : 0.344046
933.92/128.77	c (123,0) c PeriodProcTime_0 : 0.010077
933.92/128.77	c (123,0) c PeriodProcTime_1 : 0.011397
933.92/128.77	c (123,0) c PeriodProcTime_2 : 0.011307
933.92/128.77	c (123,0) c PeriodProcTime_3 : 0.009315
933.92/128.77	c (123,0) c PeriodProcTime_4 : 0.011165
933.92/128.77	c (123,0) c PeriodProcTime_5 : 0.011270
933.92/128.77	c (123,0) c PeriodProcTime_6 : 0.011826
933.92/128.77	c (123,0) c PeriodProcTime_7 : 0.012248
933.92/128.77	c (123,0) c PeriodProcTime_total : 0.088605
933.92/128.77	c (123,0) c PeriodProcTime_winner : 0.011307
933.92/128.77	c (123,0) c SolvingTime_0 : 121.891033
933.92/128.77	c (123,0) c SolvingTime_1 : 121.889408
933.92/128.77	c (123,0) c SolvingTime_2 : 121.989357
933.92/128.77	c (123,0) c SolvingTime_3 : 122.012188
933.92/128.77	c (123,0) c SolvingTime_4 : 121.821789
933.92/128.77	c (123,0) c SolvingTime_5 : 121.852735
933.92/128.77	c (123,0) c SolvingTime_6 : 123.187547
933.92/128.77	c (123,0) c SolvingTime_7 : 121.888754
933.92/128.77	c (123,0) c SolvingTime_total : 976.532810
933.92/128.77	c (123,0) c SolvingTime_winner : 121.989357
933.92/128.77	c (123,0) c PropagationTime_0 : 93.973471
933.92/128.77	c (123,0) c PropagationTime_1 : 93.287905
933.92/128.77	c (123,0) c PropagationTime_2 : 81.965510
933.92/128.77	c (123,0) c PropagationTime_3 : 82.821237
933.92/128.77	c (123,0) c PropagationTime_4 : 80.848411
933.92/128.77	c (123,0) c PropagationTime_5 : 83.847770
933.92/128.77	c (123,0) c PropagationTime_6 : 85.244089
933.92/128.77	c (123,0) c PropagationTime_7 : 91.907090
933.92/128.77	c (123,0) c PropagationTime_total : 693.895483
933.92/128.77	c (123,0) c PropagationTime_winner : 81.965510
933.92/128.77	c (123,0) c AnalysisTime_0 : 24.617358
933.92/128.77	c (123,0) c AnalysisTime_1 : 25.204939
933.92/128.77	c (123,0) c AnalysisTime_2 : 36.848557
933.92/128.77	c (123,0) c AnalysisTime_3 : 36.042673
933.92/128.77	c (123,0) c AnalysisTime_4 : 37.789431
933.92/128.77	c (123,0) c AnalysisTime_5 : 34.966825
933.92/128.77	c (123,0) c AnalysisTime_6 : 34.768497
933.92/128.77	c (123,0) c AnalysisTime_7 : 26.641557
933.92/128.77	c (123,0) c AnalysisTime_total : 256.879836
933.92/128.77	c (123,0) c AnalysisTime_winner : 36.848557
933.92/128.77	c (123,0) c ReductionTime_0 : 1.316730
933.92/128.77	c (123,0) c ReductionTime_1 : 1.375221
933.92/128.77	c (123,0) c ReductionTime_2 : 1.229062
933.92/128.77	c (123,0) c ReductionTime_3 : 1.249807
933.92/128.77	c (123,0) c ReductionTime_4 : 1.246172
933.92/128.77	c (123,0) c ReductionTime_5 : 1.168630
933.92/128.77	c (123,0) c ReductionTime_6 : 1.228514
933.92/128.77	c (123,0) c ReductionTime_7 : 1.298986
933.92/128.77	c (123,0) c ReductionTime_total : 10.113121
933.92/128.77	c (123,0) c ReductionTime_winner : 1.229062
933.92/128.77	c (123,0) c SimplifyTime_0 : 0.065827
933.92/128.77	c (123,0) c SimplifyTime_1 : 0.046111
933.92/128.77	c (123,0) c SimplifyTime_2 : 0.041296
933.92/128.77	c (123,0) c SimplifyTime_3 : 0.055374
933.92/128.77	c (123,0) c SimplifyTime_4 : 0.047823
933.92/128.77	c (123,0) c SimplifyTime_5 : 0.041596
933.92/128.77	c (123,0) c SimplifyTime_6 : 0.050595
933.92/128.77	c (123,0) c SimplifyTime_7 : 0.092125
933.92/128.77	c (123,0) c SimplifyTime_total : 0.440749
933.92/128.77	c (123,0) c SimplifyTime_winner : 0.041296
933.92/128.77	c (123,0) c UsedRateTime_0 : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_1 : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_2 : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_3 : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_4 : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_5 : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_6 : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_7 : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_total : 0.000000
933.92/128.77	c (123,0) c UsedRateTime_winner : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_0 : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_1 : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_2 : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_3 : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_4 : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_5 : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_6 : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_7 : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_total : 0.000000
933.92/128.77	c (123,0) c OverlapRateTime_winner : 0.000000
933.92/128.77	c (123,0) c
933.92/128.77	c (123,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
933.92/128.77	c (123,0) c
933.92/128.77	c (123,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.77	c (123,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
933.92/128.77	c (123,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.77	c (123,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
933.92/128.77	c (123,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
933.92/128.77	c (123,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
933.92/128.77	c (123,0) c | Initial random_seed   | 1091171930 | 1962486809 |  653525899 |  609475511 |  955710972 |  301270029 | 1598407428 |  818524449 |
933.92/128.77	c (123,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
933.92/128.77	c (123,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
933.92/128.77	c (123,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
933.92/128.77	c (123,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
933.92/128.77	c (123,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
933.92/128.77	c (123,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
933.92/128.77	c (123,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
933.92/128.77	c (123,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
933.92/128.77	c (123,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
933.92/128.77	c (123,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
933.92/128.77	c (123,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
933.92/128.77	c (123,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
933.92/128.77	c (123,0) 
933.92/128.77	c (123,0) s UNSATISFIABLE
933.92/128.78	c (123,0) SatSolver.solve End
933.92/128.78	c (123,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
933.92/128.78	c (123,0) Show results Begin
933.92/128.78	s UNSATISFIABLE
933.92/128.78	c (123,0) Show results End
933.92/128.78	c (123,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
933.92/128.79	c (123,0) 123,123,STOP-AFTER(ALL)
933.92/128.79	c END-Prog: Tue Sep 24 18:40:36 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 (10816 MiB free)
  memory of node 1: 16384 MiB (14139 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405297-1569343145/watcher-4405297-1569343145 -o /tmp/evaluation-result-4405297-1569343145/solver-4405297-1569343145 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --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-4405297-1569343145.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=7469, runsolver pid=7466
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 6.36 6.81 6.88 2/212 7493
/proc/meminfo: memFree=25458680/32770624 swapFree=67002552/67108860
[pid=7469] ppid=7466 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7469/stat : 7469 (scop.sh) S 7466 7469 5615 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510475984 115843072 348 33554432000 4194304 5098028 140729072196608 140729072193864 139986993422972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33267712 140729072202533 140729072202860 140729072202860 140729072205773 0
/proc/7469/statm: 28282 348 296 221 0 87 0
[pid=7472] ppid=7469 vsize=27314120 memory=109472 CPUtime=0.1 cores=0-7
/proc/7472/stat : 7472 (java) S 7469 7469 5615 0 -1 1077944320 6922 0 0 0 8 2 0 0 20 0 20 0 510475985 27969658880 27368 33554432000 4194304 4196468 140722975708528 140722975691072 140129685602039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
/proc/7472/statm: 6828530 27368 2798 1 0 6790935 0
[pid=7472/tid=7473] ppid=7469 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/7472/task/7473/stat : 7473 (java) R 7469 7469 5615 0 -1 4202560 5032 0 0 0 7 2 0 0 20 0 20 0 510475985 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129657428368 140129685613974 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7474] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7474/stat : 7474 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129689844880 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7475] ppid=7469 vsize=27314120 memory=15398874694133400 CPUtime=0 cores=0-7
/proc/7472/task/7475/stat : 7475 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129504001040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7476] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7476/stat : 7476 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129502948240 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7477] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7477/stat : 7477 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129501895440 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7478] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7478/stat : 7478 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129500842640 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7479] ppid=7469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7472/task/7479/stat : 7479 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129499789840 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7480] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7480/stat : 7480 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129498737040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7481] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7481/stat : 7481 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475988 27969658880 27368 33554432000 4194304 4196468 140722975708528 140129497684240 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7484] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7484/stat : 7484 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475989 27969658880 27368 33554432000 4194304 4196468 140722975708528 140127736159088 140129685613186 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7485] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7485/stat : 7485 (java) S 7469 7469 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510475989 27969658880 27368 33554432000 4194304 4196468 140722975708528 140127602992672 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7486] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7486/stat : 7486 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475990 27969658880 27368 33554432000 4194304 4196468 140722975708528 140127334557040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7487] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7487/stat : 7487 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 27368 33554432000 4194304 4196468 140722975708528 140126999013712 140129685620635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7488] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7488/stat : 7488 (java) S 7469 7469 5615 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 27368 33554432000 4194304 4196468 140722975708528 140127735105904 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7489] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7489/stat : 7489 (java) R 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 27368 33554432000 4194304 4196468 140722975708528 140127734053104 140129685613186 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7490] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7490/stat : 7490 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 27368 33554432000 4194304 4196468 140722975708528 140127733000304 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7491] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7491/stat : 7491 (java) R 7469 7469 5615 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 27368 33554432000 4194304 4196468 140722975708528 140127731947504 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7492] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7492/stat : 7492 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 27368 33554432000 4194304 4196468 140722975708528 140126462143584 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7493] ppid=7469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7472/task/7493/stat : 7493 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475993 27969658880 27368 33554432000 4194304 4196468 140722975708528 140127730895920 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110864 KiB

[startup+0.210057 s]*
/proc/loadavg: 6.36 6.81 6.88 3/212 7493
/proc/meminfo: memFree=25437072/32770624 swapFree=67002552/67108860
[pid=7469] ppid=7466 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7469/stat : 7469 (scop.sh) S 7466 7469 5615 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510475984 115843072 348 33554432000 4194304 5098028 140729072196608 140729072193864 139986993422972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33267712 140729072202533 140729072202860 140729072202860 140729072205773 0
/proc/7469/statm: 28282 348 296 221 0 87 0
[pid=7472] ppid=7469 vsize=27314120 memory=128524 CPUtime=0.24 cores=0-7
/proc/7472/stat : 7472 (java) S 7469 7469 5615 0 -1 1077944320 12542 0 0 0 20 4 0 0 20 0 20 0 510475985 27969658880 32131 33554432000 4194304 4196468 140722975708528 140722975691072 140129685602039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
/proc/7472/statm: 6828530 32131 2940 1 0 6790935 0
[pid=7472/tid=7473] ppid=7469 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/7472/task/7473/stat : 7473 (java) R 7469 7469 5615 0 -1 4202560 10252 0 0 0 16 3 0 0 20 0 20 0 510475985 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129657401424 140129670767694 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7474] ppid=7469 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/7472/task/7474/stat : 7474 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129689844880 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7475] ppid=7469 vsize=27314120 memory=139628062557361 CPUtime=0 cores=0-7
/proc/7472/task/7475/stat : 7475 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129504001040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7476] ppid=7469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7472/task/7476/stat : 7476 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129502948240 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7477] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7477/stat : 7477 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129501895440 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7478] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7478/stat : 7478 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129500842640 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7479] ppid=7469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7472/task/7479/stat : 7479 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129499789840 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7480] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7480/stat : 7480 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129498737040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7481] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7481/stat : 7481 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475988 27969658880 32131 33554432000 4194304 4196468 140722975708528 140129497684240 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7484] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7484/stat : 7484 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475989 27969658880 32131 33554432000 4194304 4196468 140722975708528 140127736159088 140129685613186 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7485] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7485/stat : 7485 (java) S 7469 7469 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510475989 27969658880 32131 33554432000 4194304 4196468 140722975708528 140127602992672 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7486] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7486/stat : 7486 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475990 27969658880 32131 33554432000 4194304 4196468 140722975708528 140127334557040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7487] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7487/stat : 7487 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 32131 33554432000 4194304 4196468 140722975708528 140126999013712 140129685620635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7488] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7488/stat : 7488 (java) S 7469 7469 5615 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 32131 33554432000 4194304 4196468 140722975708528 140127735105904 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7489] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7489/stat : 7489 (java) S 7469 7469 5615 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 32131 33554432000 4194304 4196468 140722975708528 140127734053104 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7490] ppid=7469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7472/task/7490/stat : 7490 (java) S 7469 7469 5615 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 32131 33554432000 4194304 4196468 140722975708528 140127733000304 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7491] ppid=7469 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7472/task/7491/stat : 7491 (java) S 7469 7469 5615 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 510475992 27969658880 32131 33554432000 4194304 4196468 140722975708528 140127731947504 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7492] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7492/stat : 7492 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 32131 33554432000 4194304 4196468 140722975708528 140126462143584 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7493] ppid=7469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7472/task/7493/stat : 7493 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475993 27969658880 32131 33554432000 4194304 4196468 140722975708528 140127730895920 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129916 KiB

[startup+0.309453 s]*
/proc/loadavg: 6.36 6.81 6.88 3/212 7493
/proc/meminfo: memFree=25434984/32770624 swapFree=67002552/67108860
[pid=7469] ppid=7466 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7469/stat : 7469 (scop.sh) S 7466 7469 5615 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510475984 115843072 348 33554432000 4194304 5098028 140729072196608 140729072193864 139986993422972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33267712 140729072202533 140729072202860 140729072202860 140729072205773 0
/proc/7469/statm: 28282 348 296 221 0 87 0
[pid=7472] ppid=7469 vsize=27314120 memory=132128 CPUtime=0.42 cores=0-7
/proc/7472/stat : 7472 (java) S 7469 7469 5615 0 -1 1077944320 13382 0 0 0 38 4 0 0 20 0 20 0 510475985 27969658880 33032 33554432000 4194304 4196468 140722975708528 140722975691072 140129685602039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
/proc/7472/statm: 6828530 33032 3020 1 0 6790935 0
[pid=7472/tid=7473] ppid=7469 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/7472/task/7473/stat : 7473 (java) R 7469 7469 5615 0 -1 4202560 10926 0 0 0 26 4 0 0 20 0 20 0 510475985 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129657419424 140129666975511 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7474] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7474/stat : 7474 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129689844880 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7475] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7475/stat : 7475 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129504001040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7476] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7476/stat : 7476 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129502948240 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7477] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7477/stat : 7477 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129501895440 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7478] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7478/stat : 7478 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129500842640 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7479] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7479/stat : 7479 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129499789840 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7480] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7480/stat : 7480 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510475987 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129498737040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7481] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7481/stat : 7481 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475988 27969658880 33032 33554432000 4194304 4196468 140722975708528 140129497684240 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7484] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7484/stat : 7484 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475989 27969658880 33032 33554432000 4194304 4196468 140722975708528 140127736159088 140129685613186 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7485] ppid=7469 vsize=27314120 memory=279255821000064 CPUtime=0 cores=0-7
/proc/7472/task/7485/stat : 7485 (java) S 7469 7469 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510475989 27969658880 33032 33554432000 4194304 4196468 140722975708528 140127602992672 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7486] ppid=7469 vsize=27314120 memory=279255821004672 CPUtime=0 cores=0-7
/proc/7472/task/7486/stat : 7486 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475990 27969658880 33032 33554432000 4194304 4196468 140722975708528 140127334557040 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7487] ppid=7469 vsize=27314120 memory=279255821009280 CPUtime=0 cores=0-7
/proc/7472/task/7487/stat : 7487 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 33032 33554432000 4194304 4196468 140722975708528 140126999013712 140129685620635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7488] ppid=7469 vsize=27314120 memory=279255821013888 CPUtime=0.01 cores=0-7
/proc/7472/task/7488/stat : 7488 (java) S 7469 7469 5615 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 20 0 510475992 27969658880 33032 33554432000 4194304 4196468 140722975708528 140127735105904 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7489] ppid=7469 vsize=27314120 memory=279255821018496 CPUtime=0.01 cores=0-7
/proc/7472/task/7489/stat : 7489 (java) S 7469 7469 5615 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 20 0 510475992 27969658880 33032 33554432000 4194304 4196468 140722975708528 140127734053104 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7490] ppid=7469 vsize=27314120 memory=279255821023104 CPUtime=0 cores=0-7
/proc/7472/task/7490/stat : 7490 (java) S 7469 7469 5615 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 33032 33554432000 4194304 4196468 140722975708528 140127733000304 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7491] ppid=7469 vsize=27314120 memory=279255821027712 CPUtime=0.07 cores=0-7
/proc/7472/task/7491/stat : 7491 (java) S 7469 7469 5615 0 -1 1077944384 481 0 0 0 7 0 0 0 20 0 20 0 510475992 27969658880 33032 33554432000 4194304 4196468 140722975708528 140127731947504 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7492] ppid=7469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7492/stat : 7492 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510475992 27969658880 33032 33554432000 4194304 4196468 140722975708528 140126462143584 140129685612245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7493] ppid=7469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7472/task/7493/stat : 7493 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475993 27969658880 33032 33554432000 4194304 4196468 140722975708528 140127730895920 140129685613186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133520 KiB

[startup+0.700877 s]
/proc/loadavg: 6.36 6.81 6.88 2/212 7493
/proc/meminfo: memFree=25414756/32770624 swapFree=67002552/67108860
[pid=7469] ppid=7466 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7469/stat : 7469 (scop.sh) S 7466 7469 5615 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510475984 115843072 348 33554432000 4194304 5098028 140729072196608 140729072193864 139986993422972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33267712 140729072202533 140729072202860 140729072202860 140729072205773 0
/proc/7469/statm: 28282 348 296 221 0 87 0
[pid=7472] ppid=7469 vsize=27320392 memory=167204 CPUtime=0.99 cores=0-7
/proc/7472/stat : 7472 (java) S 7469 7469 5615 0 -1 1077944320 20389 0 0 0 93 6 0 0 20 0 20 0 510475985 27976081408 41801 33554432000 4194304 4196468 140722975708528 140722975691072 140129685602039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
/proc/7472/statm: 6830098 41801 3195 1 0 6791447 0
[pid=7472/tid=7473] ppid=7469 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/7472/task/7473/stat : 7473 (java) R 7469 7469 5615 0 -1 4202560 17401 0 0 0 63 5 0 0 20 0 20 0 510475985 27976081408 41801 33554432000 4194304 4196468 140722975708528 140129657440560 140129685613974 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7474] ppid=7469 vsize=27320392 memory=139627910701952 CPUtime=0 cores=0-7
/proc/7472/task/7474/stat : 7474 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510475987 27976081408 41801 33554432000 4194304 4196468 140722975708528 140129689844880 140129685612245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7475] ppid=7469 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7472/task/7475/stat : 7475 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27976081408 41801 33554432000 4194304 4196468 140722975708528 140129504001040 140129685612245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0
[pid=7472/tid=7476] ppid=7469 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/7472/task/7476/stat : 7476 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510475987 27976081408 41801 33554432000 4194304 4196468 140722975708528 140129502948240 140129685612245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140722975711980 140722975712406 140722975712406 140722975715279 0

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

[pid=7494/tid=7504] ppid=7469 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7494/task/7504/stat : 7504 (java) S 7469 7469 5615 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510476461 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138552117360 140139257318018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7505] ppid=7469 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7494/task/7505/stat : 7505 (java) S 7469 7469 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510476461 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137803539232 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7506] ppid=7469 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/7494/task/7506/stat : 7506 (java) S 7469 7469 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510476462 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137669317744 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7507] ppid=7469 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/7494/task/7507/stat : 7507 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137294813264 140139257325467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7508] ppid=7469 vsize=8414124 memory=1720 CPUtime=0.06 cores=0-7
/proc/7494/task/7508/stat : 7508 (java) S 7469 7469 5615 0 -1 1077944384 538 0 0 0 5 1 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138551065200 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7509] ppid=7469 vsize=8414124 memory=1096 CPUtime=0.06 cores=0-7
/proc/7494/task/7509/stat : 7509 (java) S 7469 7469 5615 0 -1 1077944384 216 0 0 0 6 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138550012400 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7510] ppid=7469 vsize=8414124 memory=6160 CPUtime=0.06 cores=0-7
/proc/7494/task/7510/stat : 7510 (java) S 7469 7469 5615 0 -1 1077944384 411 0 0 0 6 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138548960112 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7511] ppid=7469 vsize=8414124 memory=14012 CPUtime=0.21 cores=0-7
/proc/7494/task/7511/stat : 7511 (java) S 7469 7469 5615 0 -1 1077944384 805 0 0 0 21 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138547907312 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7512] ppid=7469 vsize=8414124 memory=32812 CPUtime=0 cores=0-7
/proc/7494/task/7512/stat : 7512 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136796907872 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7513] ppid=7469 vsize=8414124 memory=14068 CPUtime=0.12 cores=0-7
/proc/7494/task/7513/stat : 7513 (java) S 7469 7469 5615 0 -1 1077944384 11 0 0 0 4 8 0 0 20 0 24 0 510476465 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138546854192 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7515] ppid=7469 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/7494/task/7515/stat : 7515 (java) S 7469 7469 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510476532 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138543109440 140139257331481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7517] ppid=7469 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7494/task/7517/stat : 7517 (java) S 7469 7469 5615 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510476533 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136394243984 140139257328797 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7518] ppid=7469 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7494/task/7518/stat : 7518 (java) S 7469 7469 5615 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 510476533 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136125808400 140139257328797 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7527] ppid=7469 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7494/task/7527/stat : 7527 (java) S 7469 7469 5615 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510476535 8616062976 29822 33554432000 4194304 4196468 140731317111840 140135857381168 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
Current children cumulated CPU time: 933.62 s
Current children cumulated vsize: 9252192 KiB
Current children cumulated memory: 690652 KiB

[startup+128.601 s]
/proc/loadavg: 7.46 7.08 6.97 2/219 7542
/proc/meminfo: memFree=24881084/32770624 swapFree=67002552/67108860
[pid=7469] ppid=7466 vsize=113128 memory=1472 CPUtime=12.07 cores=0-7
/proc/7469/stat : 7469 (scop.sh) S 7466 7469 5615 0 -1 4202496 582 32515 0 0 0 0 1180 27 20 0 1 0 510475984 115843072 368 33554432000 4194304 5098028 140729072196608 140729072193352 139986993422972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33267712 140729072202533 140729072202860 140729072202860 140729072205773 0
/proc/7469/statm: 28282 368 311 221 0 87 0
[pid=7494] ppid=7469 vsize=8414124 memory=119288 CPUtime=1.29 cores=0-7
/proc/7494/stat : 7494 (java) S 7469 7469 5615 0 -1 1077944320 20869 0 0 0 119 10 0 0 20 0 24 0 510476458 8616062976 29822 33554432000 4194304 4196468 140731317111840 140731317094384 140139257306871 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
/proc/7494/statm: 2103531 29822 3198 1 0 2064875 0
[pid=7514] ppid=7494 vsize=724940 memory=569892 CPUtime=920.46 cores=0-7
/proc/7514/stat : 7514 (manyglucose-4.1) S 7494 7469 5615 0 -1 1077944320 871816 0 0 0 91869 177 0 0 20 0 2 0 510476532 742338560 142473 33554432000 4194304 4454172 140726568889312 140726568887696 140348375142135 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 39030784 140726568895338 140726568895536 140726568895536 140726568898490 0
/proc/7514/statm: 181235 142473 419 64 0 176903 0
[pid=7514/tid=7525] ppid=7494 vsize=724940 memory=0 CPUtime=118.45 cores=0-7
/proc/7514/task/7525/stat : 7525 (manyglucose-4.1) R 7494 7469 5615 0 -1 4202560 121992 0 0 0 11826 19 0 0 20 0 2 0 510476535 742338560 142473 33554432000 4194304 4454172 140726568889312 140348309568648 4349976 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 39030784 140726568895338 140726568895536 140726568895536 140726568898490 0
[pid=7494/tid=7495] ppid=7469 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7
/proc/7494/task/7495/stat : 7495 (java) S 7469 7469 5615 0 -1 1077944384 17337 0 0 0 71 6 0 0 20 0 24 0 510476458 8616062976 29822 33554432000 4194304 4196468 140731317111840 140139229147040 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7496] ppid=7469 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7494/task/7496/stat : 7496 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140139261548944 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7497] ppid=7469 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/7494/task/7497/stat : 7497 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138741922064 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7498] ppid=7469 vsize=8414124 memory=32812 CPUtime=0 cores=0-7
/proc/7494/task/7498/stat : 7498 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138740869776 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7499] ppid=7469 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/7494/task/7499/stat : 7499 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138739816976 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7500] ppid=7469 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/7494/task/7500/stat : 7500 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138738764688 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7501] ppid=7469 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/7494/task/7501/stat : 7501 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138737711888 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7502] ppid=7469 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/7494/task/7502/stat : 7502 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138736659600 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7503] ppid=7469 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/7494/task/7503/stat : 7503 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138735606800 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7504] ppid=7469 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/7494/task/7504/stat : 7504 (java) S 7469 7469 5615 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510476461 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138552117360 140139257318018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7505] ppid=7469 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/7494/task/7505/stat : 7505 (java) S 7469 7469 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510476461 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137803539232 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7506] ppid=7469 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/7494/task/7506/stat : 7506 (java) S 7469 7469 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510476462 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137669317744 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7507] ppid=7469 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/7494/task/7507/stat : 7507 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137294813264 140139257325467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7508] ppid=7469 vsize=8414124 memory=3620 CPUtime=0.06 cores=0-7
/proc/7494/task/7508/stat : 7508 (java) S 7469 7469 5615 0 -1 1077944384 538 0 0 0 5 1 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138551065200 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7509] ppid=7469 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7
/proc/7494/task/7509/stat : 7509 (java) S 7469 7469 5615 0 -1 1077944384 216 0 0 0 6 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138550012400 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7510] ppid=7469 vsize=8414124 memory=776 CPUtime=0.06 cores=0-7
/proc/7494/task/7510/stat : 7510 (java) S 7469 7469 5615 0 -1 1077944384 411 0 0 0 6 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138548960112 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7511] ppid=7469 vsize=8414124 memory=1160 CPUtime=0.21 cores=0-7
/proc/7494/task/7511/stat : 7511 (java) S 7469 7469 5615 0 -1 1077944384 805 0 0 0 21 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138547907312 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7512] ppid=7469 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/7494/task/7512/stat : 7512 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136796907872 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7513] ppid=7469 vsize=8414124 memory=1096 CPUtime=0.12 cores=0-7
/proc/7494/task/7513/stat : 7513 (java) S 7469 7469 5615 0 -1 1077944384 11 0 0 0 4 8 0 0 20 0 24 0 510476465 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138546854192 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7515] ppid=7469 vsize=8414124 memory=6160 CPUtime=0 cores=0-7
/proc/7494/task/7515/stat : 7515 (java) S 7469 7469 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510476532 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138543109440 140139257331481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7517] ppid=7469 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7494/task/7517/stat : 7517 (java) S 7469 7469 5615 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510476533 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136394243984 140139257328797 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7518] ppid=7469 vsize=8414124 memory=171704202574465 CPUtime=0 cores=0-7
/proc/7494/task/7518/stat : 7518 (java) S 7469 7469 5615 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 510476533 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136125808400 140139257328797 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7527] ppid=7469 vsize=8414124 memory=171704202574466 CPUtime=0 cores=0-7
/proc/7494/task/7527/stat : 7527 (java) S 7469 7469 5615 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510476535 8616062976 29822 33554432000 4194304 4196468 140731317111840 140135857381168 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
Current children cumulated CPU time: 933.82 s
Current children cumulated vsize: 9252192 KiB
Current children cumulated memory: 690652 KiB

[startup+128.701 s]
/proc/loadavg: 7.46 7.08 6.97 2/219 7542
/proc/meminfo: memFree=24881084/32770624 swapFree=67002552/67108860
[pid=7469] ppid=7466 vsize=113128 memory=1472 CPUtime=12.07 cores=0-7
/proc/7469/stat : 7469 (scop.sh) S 7466 7469 5615 0 -1 4202496 582 32515 0 0 0 0 1180 27 20 0 1 0 510475984 115843072 368 33554432000 4194304 5098028 140729072196608 140729072193352 139986993422972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33267712 140729072202533 140729072202860 140729072202860 140729072205773 0
/proc/7469/statm: 28282 368 311 221 0 87 0
[pid=7494] ppid=7469 vsize=8414124 memory=119288 CPUtime=1.29 cores=0-7
/proc/7494/stat : 7494 (java) S 7469 7469 5615 0 -1 1077944320 20869 0 0 0 119 10 0 0 20 0 24 0 510476458 8616062976 29822 33554432000 4194304 4196468 140731317111840 140731317094384 140139257306871 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
/proc/7494/statm: 2103531 29822 3198 1 0 2064875 0
[pid=7514] ppid=7494 vsize=724940 memory=569892 CPUtime=920.56 cores=0-7
/proc/7514/stat : 7514 (manyglucose-4.1) S 7494 7469 5615 0 -1 1077944320 871820 0 0 0 91879 177 0 0 20 0 2 0 510476532 742338560 142473 33554432000 4194304 4454172 140726568889312 140726568887696 140348375142135 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 39030784 140726568895338 140726568895536 140726568895536 140726568898490 0
/proc/7514/statm: 181235 142473 419 64 0 176903 0
[pid=7514/tid=7525] ppid=7494 vsize=724940 memory=740 CPUtime=118.55 cores=0-7
/proc/7514/task/7525/stat : 7525 (manyglucose-4.1) R 7494 7469 5615 0 -1 4202560 121996 0 0 0 11836 19 0 0 20 0 2 0 510476535 742338560 142473 33554432000 4194304 4454172 140726568889312 140348309568648 4333329 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 39030784 140726568895338 140726568895536 140726568895536 140726568898490 0
[pid=7494/tid=7495] ppid=7469 vsize=8414124 memory=569892 CPUtime=0.77 cores=0-7
/proc/7494/task/7495/stat : 7495 (java) S 7469 7469 5615 0 -1 1077944384 17337 0 0 0 71 6 0 0 20 0 24 0 510476458 8616062976 29822 33554432000 4194304 4196468 140731317111840 140139229147040 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7496] ppid=7469 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/7494/task/7496/stat : 7496 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140139261548944 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7497] ppid=7469 vsize=8414124 memory=119288 CPUtime=0 cores=0-7
/proc/7494/task/7497/stat : 7497 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138741922064 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7498] ppid=7469 vsize=8414124 memory=279255822549792 CPUtime=0 cores=0-7
/proc/7494/task/7498/stat : 7498 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138740869776 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7499] ppid=7469 vsize=8414124 memory=-9108631837564312949 CPUtime=0 cores=0-7
/proc/7494/task/7499/stat : 7499 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138739816976 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7500] ppid=7469 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/7494/task/7500/stat : 7500 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138738764688 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7501] ppid=7469 vsize=8414124 memory=119288 CPUtime=0 cores=0-7
/proc/7494/task/7501/stat : 7501 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138737711888 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7502] ppid=7469 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/7494/task/7502/stat : 7502 (java) S 7469 7469 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138736659600 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7503] ppid=7469 vsize=8414124 memory=3588 CPUtime=0 cores=0-7
/proc/7494/task/7503/stat : 7503 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476460 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138735606800 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7504] ppid=7469 vsize=8414124 memory=63384 CPUtime=0 cores=0-7
/proc/7494/task/7504/stat : 7504 (java) S 7469 7469 5615 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510476461 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138552117360 140139257318018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7505] ppid=7469 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7494/task/7505/stat : 7505 (java) S 7469 7469 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510476461 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137803539232 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7506] ppid=7469 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/7494/task/7506/stat : 7506 (java) S 7469 7469 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510476462 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137669317744 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7507] ppid=7469 vsize=8414124 memory=118516 CPUtime=0 cores=0-7
/proc/7494/task/7507/stat : 7507 (java) S 7469 7469 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140137294813264 140139257325467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7508] ppid=7469 vsize=8414124 memory=543296 CPUtime=0.06 cores=0-7
/proc/7494/task/7508/stat : 7508 (java) S 7469 7469 5615 0 -1 1077944384 538 0 0 0 5 1 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138551065200 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7509] ppid=7469 vsize=8414124 memory=1448 CPUtime=0.06 cores=0-7
/proc/7494/task/7509/stat : 7509 (java) S 7469 7469 5615 0 -1 1077944384 216 0 0 0 6 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138550012400 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7510] ppid=7469 vsize=8414124 memory=1472 CPUtime=0.06 cores=0-7
/proc/7494/task/7510/stat : 7510 (java) S 7469 7469 5615 0 -1 1077944384 411 0 0 0 6 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138548960112 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7511] ppid=7469 vsize=8414124 memory=119036 CPUtime=0.21 cores=0-7
/proc/7494/task/7511/stat : 7511 (java) S 7469 7469 5615 0 -1 1077944384 805 0 0 0 21 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138547907312 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7512] ppid=7469 vsize=8414124 memory=653668 CPUtime=0 cores=0-7
/proc/7494/task/7512/stat : 7512 (java) S 7469 7469 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510476464 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136796907872 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7513] ppid=7469 vsize=8414124 memory=653668 CPUtime=0.12 cores=0-7
/proc/7494/task/7513/stat : 7513 (java) S 7469 7469 5615 0 -1 1077944384 11 0 0 0 4 8 0 0 20 0 24 0 510476465 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138546854192 140139257318018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7515] ppid=7469 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/7494/task/7515/stat : 7515 (java) S 7469 7469 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510476532 8616062976 29822 33554432000 4194304 4196468 140731317111840 140138543109440 140139257331481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7517] ppid=7469 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/7494/task/7517/stat : 7517 (java) S 7469 7469 5615 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510476533 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136394243984 140139257328797 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7518] ppid=7469 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/7494/task/7518/stat : 7518 (java) S 7469 7469 5615 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 510476533 8616062976 29822 33554432000 4194304 4196468 140731317111840 140136125808400 140139257328797 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
[pid=7494/tid=7527] ppid=7469 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7494/task/7527/stat : 7527 (java) S 7469 7469 5615 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510476535 8616062976 29822 33554432000 4194304 4196468 140731317111840 140135857381168 140139257317077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9719808 140731317113848 140731317114006 140731317114006 140731317116879 0
Current children cumulated CPU time: 933.92 s
Current children cumulated vsize: 9252192 KiB
Current children cumulated memory: 690652 KiB

Child status: 0
Real time (s): 128.8
CPU time (s): 934.114
CPU user time (s): 931.92
CPU system time (s): 2.194
CPU usage (%): 725.243
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1053464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 931.92
system time used= 2.194
maximum resident set size= 1054568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16669
involuntary context switches= 8688


# summary of solver processes directly reported to runsolver:
#   pid: 7469
#   total CPU time (s): 934.114
#   total CPU user time (s): 931.92
#   total CPU system time (s): 2.194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24479 second user time and 1.85126 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 18:38:27
IDJOB=4405297
IDBENCH=134584
IDSOLVER=2867
FILE ID=node148/4405297-1569343145
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22084 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-8_X2.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-4405297-1569343145/watcher-4405297-1569343145 -o /tmp/evaluation-result-4405297-1569343145/solver-4405297-1569343145 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --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-4405297-1569343145.xml

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

MD5SUM BENCH= 5c0d10b65067a89bbe36375c556425e1
RANDOM SEED=1515817887

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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:        25556084 kB
MemAvailable:   31854556 kB
Buffers:           52204 kB
Cached:          6518076 kB
SwapCached:         3352 kB
Active:          4351616 kB
Inactive:        2223848 kB
Active(anon):       3008 kB
Inactive(anon):    57876 kB
Active(file):    4348608 kB
Inactive(file):  2165972 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       67002552 kB
Dirty:             20564 kB
Writeback:             0 kB
AnonPages:        113432 kB
Mapped:            56652 kB
Shmem:             47060 kB
Slab:             228128 kB
SReclaimable:     199452 kB
SUnreclaim:        28676 kB
KernelStack:        3456 kB
PageTables:         5340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514952 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:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22064 MiB
End job on node148 at 2019-09-24 18:40:36