Trace number 4392447

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 987.085 146.305

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-1_X2.xml
MD5SUMa5169531bc56f5bae607e8bf56d35270
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 benchmark174.931
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-14504-serial-file.bin HOME/instance-4392447-1568436562.xml
0.66/0.60	
0.66/0.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.60	
0.77/0.63	c BEGIN-Prog: Thu Dec 15 13:09:45 CET 2011
0.77/0.63	c PID: 14507
0.77/0.63	c IP: 172.20.3.120
0.77/0.63	c HOST: node120.alineos.net
0.77/0.64	c (0,0) Parsing Begin
2.16/1.25	c (0,0) Parsing End
2.16/1.26	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.16/1.26	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.16/1.26	c (0,0) Constraint Name Generate Begin
2.16/1.27	c (0,0) Ctr:HOME/instance-4392447-1568436562.xml,ExtensionConflict:ExtensionSupport:Var
2.16/1.27	c (0,0) Constraint Name Generate End
2.16/1.27	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.16/1.27	c (0,0) CSP to CSPinCNF Begin
3.53/1.82	c (1,1) translated 127 (10%) constraints
3.94/1.94	c (1,1) translated 253 (20%) constraints
4.39/2.03	c (1,1) translated 379 (30%) constraints
4.81/2.11	c (1,1) translated 505 (40%) constraints
4.81/2.17	c (1,1) translated 631 (50%) constraints
5.18/2.23	c (1,1) translated 757 (60%) constraints
5.59/2.38	c (1,1) translated 883 (70%) constraints
6.57/2.66	c (2,2) translated 1009 (80%) constraints
6.94/2.92	c (2,2) translated 1135 (90%) constraints
7.50/3.27	c (2,2) translated 1261 (100%) constraints
7.50/3.27	c (2,2) ===========================================
7.50/3.27	c (2,2) Order
7.50/3.27	c (2,2) ===========================================
7.89/3.34	c (2,2) translated 1883 (10%) constraints
8.30/3.40	c (2,2) translated 3765 (20%) constraints
8.30/3.46	c (2,2) translated 5647 (30%) constraints
8.70/3.52	c (2,2) translated 7529 (40%) constraints
8.70/3.58	c (2,2) translated 9411 (50%) constraints
9.09/3.65	c (3,3) translated 11294 (60%) constraints
9.50/3.97	c (3,3) translated 13176 (70%) constraints
9.69/4.02	c (3,3) translated 15058 (80%) constraints
9.69/4.06	c (3,3) translated 16940 (90%) constraints
9.69/4.10	c (3,3) translated 18822 (100%) constraints
9.69/4.10	c (3,3) CSP to CSPinCNF End
9.69/4.10	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
9.69/4.10	c (3,3) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.69/4.10	c (3,3) CSPinCNF Propagation Begin
10.92/4.48	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.92/4.48	c (3,3) CSPinCNF Propagation End
10.92/4.48	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.92/4.48	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.92/4.49	c (3,3) Simplify CSPinCNF Begin
11.26/4.55	c (3,3) Simplify CSPinCNF End
11.26/4.55	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
11.26/4.55	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.26/4.55	c (3,3) Calculate Precise Domain Begin
11.26/4.55	c (3,3) 0 values are removed by re-calculation
11.26/4.55	c (3,3) Calculate Precise Domain End
11.26/4.55	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
11.26/4.55	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.26/4.55	c (3,3) CSPinCNF to SatSolver Begin
11.83/4.72	c (4,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
11.83/4.78	c (4,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
12.23/4.83	c (4,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
12.23/4.87	c (4,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
12.63/4.90	c (4,4) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
12.63/4.93	c (4,4) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
12.63/4.95	c (4,4) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
12.63/4.97	c (4,4) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
12.63/4.98	c (4,4) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
12.63/5.00	c (4,4) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
12.63/5.00	c (4,4) CSPinCNF to SatSolver End
12.63/5.00	c (4,4) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.63/5.00	c (4,4) 2482 bool, 15697 clause
12.63/5.00	c (4,4) Export Begin
13.12/5.11	c (4,4) Export to HOME/scop-14504-serial-file.bin
13.12/5.11	c (4,4) Export End
13.12/5.11	c (4,4) Export File Size: 0.02 MB
13.12/5.11	c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
13.12/5.11	c END-Prog: Thu Dec 15 13:09:49 CET 2011
13.12/5.14	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14504-serial-file.bin
13.14/5.66	c (0,0) Read Serial File Begin
13.14/5.66	c (0,0) HOME/scop-14504-serial-file.bin
13.14/5.91	c (0,0) Read Serial File End
13.14/5.93	
13.14/5.93	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
13.14/5.93	(Solving Process)
13.14/5.93	
13.14/5.95	c BEGIN-Prog: Thu Dec 15 13:09:50 CET 2011
13.14/5.95	c PID: 14527
13.14/5.95	c IP: 172.20.3.120
13.14/5.95	c HOST: node120.alineos.net
13.14/5.96	c (0,0) SatSolver.solve Begin
13.14/5.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392447-1568436562.xml-scop-14507.cnf
13.14/5.99	c (0,0) c
13.14/5.99	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)
13.14/5.99	c (0,0) c
13.14/5.99	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.14/5.99	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.14/5.99	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.14/5.99	c (0,0) c |                                                                                                       |
13.14/5.99	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.14/5.99	c (0,0) c |  Number of variables:          2480                                                                   |
13.14/5.99	c (0,0) c |  Number of clauses:           15697                                                                   |
13.14/5.99	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.14/5.99	c (0,0) c |                                                                                                       |
13.14/6.00	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.14/6.00	c (0,0) c |                                                                                                       |
13.14/6.00	c (0,0) c |  Generating clones                                                                                    |
13.14/6.01	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.14/6.01	c (0,0) c ========================================================================================================|
13.14/6.01	c (0,0) c
13.14/6.01	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.14/6.01	c (0,0) c
13.14/6.01	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.14/6.01	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.14/6.01	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.14/6.01	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.14/6.01	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.14/6.01	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.14/6.01	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.14/6.01	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.45/6.01	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.45/6.01	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.45/6.01	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.45/6.01	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.45/6.01	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.45/6.01	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.45/6.01	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.45/6.01	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.45/6.01	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.45/6.01	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.45/6.01	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
229.81/35.26	c (29,0) c
229.81/35.26	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
229.81/35.26	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
229.81/35.26	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
229.81/35.26	c (29,0) c |  0 |    305 |     537246 |     294794 |     9362 |    63410 |    43054 |   285887 |    15393 |      291 |  20 |  0.847 |
229.81/35.26	c (29,0) c |  1 |    329 |     539912 |     295333 |     9037 |    63948 |    44709 |   283690 |    12917 |      291 |  20 |  0.847 |
229.81/35.26	c (29,0) c |  2 |    351 |     486479 |     259732 |     9039 |    61544 |    41340 |   280022 |    10260 |      288 |  20 |  0.847 |
229.81/35.26	c (29,0) c |  3 |    422 |     520781 |     286758 |     9512 |    55380 |    43083 |   280629 |    13793 |      289 |  20 |  0.847 |
229.81/35.26	c (29,0) c |  4 |    340 |     532102 |     285133 |     9408 |    53753 |    42040 |   286817 |    12707 |      291 |  20 |  0.847 |
229.81/35.26	c (29,0) c |  5 |    368 |     490901 |     269452 |     9016 |    38064 |    38850 |   268030 |    12247 |      271 |  20 |  0.847 |
229.81/35.26	c (29,0) c |  6 |    317 |     487429 |     270406 |     9067 |    39022 |    40672 |   249841 |    10021 |      284 |  20 |  0.847 |
229.81/35.26	c (29,0) c |  7 |    487 |     555704 |     298162 |     9422 |    66773 |    43375 |   284973 |    16177 |      291 |  20 |  0.847 |
229.81/35.26	c (29,0) c 
229.81/35.26	c (29,0) c synthesis     2259770 conflicts   169962698 propagations    10505 conflicts/sec   790118 propagations/sec
229.81/35.26	c (29,0) c real: 29.2741 s, cpu: 215.11 s, memory: 628.27 Mb
421.30/64.26	c (58,0) c
421.30/64.26	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
421.30/64.26	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
421.30/64.26	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
421.30/64.26	c (58,0) c |  0 |    408 |     831302 |     447249 |     9411 |    57065 |    57090 |   395206 |    26260 |      532 |  20 |  0.847 |
421.30/64.26	c (58,0) c |  1 |    412 |     849594 |     458324 |     9292 |    68139 |    60243 |   386519 |    24279 |      532 |  20 |  0.848 |
421.30/64.26	c (58,0) c |  2 |    404 |     786175 |     418570 |     9316 |    71982 |    62956 |   360164 |    19979 |      532 |  20 |  0.847 |
421.30/64.26	c (58,0) c |  3 |    485 |     841479 |     449860 |     9536 |    59678 |    59025 |   389139 |    24454 |      532 |  20 |  0.847 |
421.30/64.26	c (58,0) c |  4 |    430 |     820586 |     433542 |     9488 |    86956 |    57759 |   390263 |    24425 |      521 |  20 |  0.847 |
421.30/64.26	c (58,0) c |  5 |    413 |     749193 |     408942 |     9036 |    62360 |    52083 |   394415 |    19406 |      512 |  20 |  0.847 |
421.30/64.26	c (58,0) c |  6 |    381 |     756139 |     407474 |     9363 |    60887 |    52977 |   395004 |    21221 |      518 |  20 |  0.847 |
421.30/64.26	c (58,0) c |  7 |    607 |     849507 |     452983 |     9480 |    62794 |    57475 |   395713 |    25911 |      532 |  20 |  0.847 |
421.30/64.26	c (58,0) c 
421.30/64.26	c (58,0) c synthesis     3476947 conflicts   260406536 propagations     8557 conflicts/sec   640883 propagations/sec
421.30/64.26	c (58,0) c real: 58.2745 s, cpu: 406.325 s, memory: 664.04 Mb
639.80/94.26	c (88,0) c
639.80/94.26	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
639.80/94.26	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
639.80/94.26	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
639.80/94.26	c (88,0) c |  0 |    448 |    1112309 |     590008 |     9430 |    53424 |    72911 |   495248 |    35931 |      808 |  20 |  0.848 |
639.80/94.26	c (88,0) c |  1 |    449 |    1135615 |     606142 |     9327 |    69555 |    74752 |   488066 |    32305 |      809 |  20 |  0.848 |
639.80/94.26	c (88,0) c |  2 |    443 |    1071551 |     565696 |     9430 |    80514 |    78737 |   485503 |    33370 |      799 |  20 |  0.847 |
639.80/94.26	c (88,0) c |  3 |    542 |    1129499 |     596979 |     9548 |    60398 |    73165 |   495271 |    34185 |      810 |  20 |  0.848 |
639.80/94.26	c (88,0) c |  4 |    556 |    1123450 |     587251 |     9517 |   102065 |    71260 |   497531 |    35949 |      809 |  20 |  0.847 |
639.80/94.26	c (88,0) c |  5 |    451 |    1027685 |     551553 |     9388 |    66368 |    65908 |   489666 |    32287 |      791 |  20 |  0.847 |
639.80/94.26	c (88,0) c |  6 |    546 |    1051999 |     556011 |     9456 |    70828 |    64642 |   489805 |    33894 |      791 |  20 |  0.847 |
639.80/94.26	c (88,0) c |  7 |    649 |    1134593 |     601349 |     9500 |    64755 |    71157 |   496135 |    35880 |      809 |  20 |  0.847 |
639.80/94.26	c (88,0) c 
639.80/94.26	c (88,0) c synthesis     4654989 conflicts   348834046 propagations     7451 conflicts/sec   558382 propagations/sec
639.80/94.26	c (88,0) c real: 88.2745 s, cpu: 624.723 s, memory: 664.09 Mb
838.60/123.26	c (117,0) c
838.60/123.26	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
838.60/123.26	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
838.60/123.26	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
838.60/123.26	c (117,0) c |  0 |    494 |    1337386 |     703800 |     9440 |   113213 |    80670 |   560707 |    43385 |     1054 |  20 |  0.848 |
838.60/123.26	c (117,0) c |  1 |    511 |    1353553 |     717197 |     9349 |    70018 |    84471 |   559552 |    41112 |     1054 |  20 |  0.848 |
838.60/123.26	c (117,0) c |  2 |    452 |    1317211 |     689091 |     9453 |    86272 |    90675 |   554561 |    42900 |     1054 |  20 |  0.927 |
838.60/123.26	c (117,0) c |  3 |    567 |    1331414 |     700990 |     9562 |   110410 |    86802 |   524349 |    39997 |     1054 |  20 |  0.849 |
838.60/123.26	c (117,0) c |  4 |    607 |    1348367 |     701319 |     9530 |   110733 |    81918 |   563160 |    44827 |     1054 |  20 |  0.847 |
838.60/123.26	c (117,0) c |  5 |    520 |    1266975 |     668244 |     9416 |    77663 |    73429 |   569556 |    41911 |     1035 |  20 |  0.847 |
838.60/123.26	c (117,0) c |  6 |    641 |    1278084 |     670108 |     9476 |    79518 |    75792 |   565965 |    42225 |     1034 |  20 |  0.848 |
838.60/123.26	c (117,0) c |  7 |    721 |    1355329 |     713258 |     9513 |    66064 |    80336 |   567630 |    44416 |     1054 |  20 |  0.848 |
838.60/123.26	c (117,0) c 
838.60/123.26	c (117,0) c synthesis     5564007 conflicts   418538739 propagations     6758 conflicts/sec   508328 propagations/sec
838.60/123.26	c (117,0) c real: 117.274 s, cpu: 823.363 s, memory: 753.01 Mb
986.89/146.26	c (140,0) c
986.89/146.27	c (140,0) c real time : 140.282 s
986.89/146.27	c (140,0) c cpu time  : 971.156 s
986.89/146.27	c (140,0) c
986.89/146.27	c (140,0) c
986.89/146.27	c (140,0) c
986.89/146.27	c (140,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
986.89/146.27	c (140,0) c
986.89/146.27	c (140,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.27	c (140,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
986.89/146.27	c (140,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.27	c (140,0) c | Conflicts     |         6181362 |     775028 |     794961 |     765161 |     777648 |     778618 |     751832 |     750008 |     788106 |
986.89/146.27	c (140,0) c | Decisions     |        11828157 |    1479369 |    1509847 |    1469539 |    1486684 |    1503796 |    1437123 |    1435011 |    1506788 |
986.89/146.27	c (140,0) c | Propagations  |       466792217 |   58184273 |   59283226 |   58181516 |   58550549 |   58899760 |   57461286 |   57317476 |   58914131 |
986.89/146.27	c (140,0) c | ReduceDBs     |             189 |         24 |         24 |         23 |         24 |         24 |         23 |         23 |         24 |
986.89/146.27	c (140,0) c | SimpDBs       |              81 |         11 |          8 |         10 |         10 |         12 |         11 |          8 |         11 |
986.89/146.27	c (140,0) c | Restarts      |            4639 |        507 |        526 |        456 |        597 |        624 |        526 |        666 |        737 |
986.89/146.27	c (140,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
986.89/146.27	c (140,0) c | PropBinClauses|       980604113 |  120180612 |  124451990 |  124539586 |  123665135 |  122059369 |  122374500 |  122162903 |  121170018 |
986.89/146.27	c (140,0) c | PropPreBlocker|     33462637526 | 4221734331 | 4224312131 | 4054178564 | 4163754627 | 4214540953 | 4154044159 | 4214759508 | 4215313253 |
986.89/146.27	c (140,0) c | PropNotBlocker|      5432301320 |  674528057 |  679497575 |  690303498 |  680937624 |  683744067 |  677445076 |  667479798 |  678365625 |
986.89/146.27	c (140,0) c | LitFullScans  |     59231496649 | 7399256949 | 7405172317 | 7405626385 | 7405694841 | 7405568896 | 7405411668 | 7399528305 | 7405237288 |
986.89/146.27	c (140,0) c | LitScanFracts |        11368554 |    1239497 |    1157811 |    1610755 |    1689087 |    1562700 |    1406218 |    1513393 |    1189093 |
986.89/146.27	c (140,0) c | DecisionLevel0|            4740 |        525 |        539 |        474 |        608 |        632 |        537 |        675 |        750 |
986.89/146.27	c (140,0) c | Periods       |            9870 |       1233 |       1234 |       1234 |       1234 |       1234 |       1234 |       1233 |       1234 |
986.89/146.27	c (140,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
986.89/146.27	c (140,0) c | Avg_Trail     |                 |        631 |        631 |        628 |        628 |        627 |        626 |        627 |        639 |
986.89/146.27	c (140,0) c | Avg_DL        |                 |         21 |         21 |         21 |         21 |         21 |         20 |         21 |         22 |
986.89/146.27	c (140,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
986.89/146.27	c (140,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
986.89/146.27	c (140,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.27	c (140,0) c | Exported      |          712144 |      86167 |      92187 |      98008 |      93089 |      87926 |      81005 |      84478 |      89284 |
986.89/146.27	c (140,0) c | Imported      |         4903461 |     619162 |     611603 |     607909 |     605320 |     612586 |     618966 |     613128 |     614787 |
986.89/146.27	c (140,0) c | Good          |           14025 |       1808 |       1777 |       1782 |       1685 |       1730 |       1769 |       1721 |       1753 |
986.89/146.27	c (140,0) c | Purge         |         4889436 |     617354 |     609826 |     606127 |     603635 |     610856 |     617197 |     611407 |     613034 |
986.89/146.27	c (140,0) c | Promoted      |          396064 |      49546 |      47357 |      49830 |      50025 |      50601 |      49960 |      48025 |      50720 |
986.89/146.27	c (140,0) c | Remove_Imp    |         3788509 |     474005 |     475484 |     458454 |     488491 |     483639 |     456317 |     471451 |     480668 |
986.89/146.27	c (140,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
986.89/146.27	c (140,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.27	c (140,0) c | Unaries       |                 |         18 |         13 |         18 |         11 |          8 |         11 |          9 |         13 |
986.89/146.27	c (140,0) c | Binaries      |                 |        228 |        250 |        264 |        303 |        271 |        232 |        263 |        264 |
986.89/146.27	c (140,0) c | Glues         |                 |        938 |        951 |        973 |       1074 |        991 |        955 |        968 |       1007 |
986.89/146.27	c (140,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.27	c (140,0) c | Orig_Seen     |            87 % |       9445 |       9356 |       9470 |       9570 |       9539 |       9422 |       9488 |       9522 |
986.89/146.27	c (140,0) c | Diff Orig seen|                 |      X     | -       89 |         25 |        125 |         94 | -       23 |         43 |         77 |
986.89/146.27	c (140,0) c | Hamming       |            11 % |      X     |        230 |        260 |        317 |        313 |        277 |        280 |        256 |
986.89/146.27	c (140,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.27	c (140,0) c | RunningTime   |                 |  109.8  80%|  124.3  90%|  122.9  89%|  115.9  84%|  119.9  87%|  136.2  99%|  138.5  99%|  104.6  76%|
986.89/146.27	c (140,0) c | WaitingTime   |                 |   27.9  20%|   13.6  10%|   15.0  11%|   21.9  16%|   17.9  13%|    1.7   1%|    1.3   1%|   33.3  24%|
986.89/146.27	c (140,0) c | ExchangingTime|                 |    0.4   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
986.89/146.27	c (140,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%|
986.89/146.27	c (140,0) c | SolvingTime   |                 |  138.1     |  138.2     |  138.2     |  138.2     |  138.2     |  138.2     |  140.2     |  138.2     |
986.89/146.27	c (140,0) c | PropagationTim|                 |  121.8  88%|   99.3  72%|  100.5  73%|  120.2  87%|  112.5  81%|   88.5  64%|   86.3  62%|  122.0  88%|
986.89/146.27	c (140,0) c | AnalysisTime  |                 |   12.7   9%|   35.3  26%|   34.1  25%|   14.2  10%|   22.0  16%|   46.4  34%|   50.6  36%|   12.5   9%|
986.89/146.27	c (140,0) c | ReductionTime |                 |    1.4   1%|    1.3   1%|    1.2   1%|    1.5   1%|    1.4   1%|    1.1   1%|    1.2   1%|    1.4   1%|
986.89/146.27	c (140,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|
986.89/146.27	c (140,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%|
986.89/146.27	c (140,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%|
986.89/146.27	c (140,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.27	c (140,0) c
986.89/146.27	c (140,0) c
986.89/146.27	c (140,0) c Threads : 8
986.89/146.27	c (140,0) c Winner : 0
986.89/146.27	c (140,0) c Conflicts_0 : 775028
986.89/146.27	c (140,0) c Conflicts_1 : 794961
986.89/146.27	c (140,0) c Conflicts_2 : 765161
986.89/146.27	c (140,0) c Conflicts_3 : 777648
986.89/146.27	c (140,0) c Conflicts_4 : 778618
986.89/146.27	c (140,0) c Conflicts_5 : 751832
986.89/146.27	c (140,0) c Conflicts_6 : 750008
986.89/146.27	c (140,0) c Conflicts_7 : 788106
986.89/146.27	c (140,0) c Conflicts_total : 6181362
986.89/146.27	c (140,0) c Conflicts_winner : 775028
986.89/146.27	c (140,0) c Decisions_0 : 1479369
986.89/146.27	c (140,0) c Decisions_1 : 1509847
986.89/146.27	c (140,0) c Decisions_2 : 1469539
986.89/146.27	c (140,0) c Decisions_3 : 1486684
986.89/146.27	c (140,0) c Decisions_4 : 1503796
986.89/146.27	c (140,0) c Decisions_5 : 1437123
986.89/146.27	c (140,0) c Decisions_6 : 1435011
986.89/146.27	c (140,0) c Decisions_7 : 1506788
986.89/146.27	c (140,0) c Decisions_total : 11828157
986.89/146.27	c (140,0) c Decisions_winner : 1479369
986.89/146.27	c (140,0) c Propagations_0 : 58184273
986.89/146.27	c (140,0) c Propagations_1 : 59283226
986.89/146.27	c (140,0) c Propagations_2 : 58181516
986.89/146.27	c (140,0) c Propagations_3 : 58550549
986.89/146.27	c (140,0) c Propagations_4 : 58899760
986.89/146.27	c (140,0) c Propagations_5 : 57461286
986.89/146.27	c (140,0) c Propagations_6 : 57317476
986.89/146.27	c (140,0) c Propagations_7 : 58914131
986.89/146.27	c (140,0) c Propagations_total : 466792217
986.89/146.27	c (140,0) c Propagations_winner : 58184273
986.89/146.27	c (140,0) c ReduceDBs_0 : 24
986.89/146.27	c (140,0) c ReduceDBs_1 : 24
986.89/146.27	c (140,0) c ReduceDBs_2 : 23
986.89/146.27	c (140,0) c ReduceDBs_3 : 24
986.89/146.27	c (140,0) c ReduceDBs_4 : 24
986.89/146.27	c (140,0) c ReduceDBs_5 : 23
986.89/146.27	c (140,0) c ReduceDBs_6 : 23
986.89/146.27	c (140,0) c ReduceDBs_7 : 24
986.89/146.27	c (140,0) c ReduceDBs_total : 189
986.89/146.27	c (140,0) c ReduceDBs_winner : 24
986.89/146.27	c (140,0) c SimpDBs_0 : 11
986.89/146.27	c (140,0) c SimpDBs_1 : 8
986.89/146.27	c (140,0) c SimpDBs_2 : 10
986.89/146.27	c (140,0) c SimpDBs_3 : 10
986.89/146.27	c (140,0) c SimpDBs_4 : 12
986.89/146.27	c (140,0) c SimpDBs_5 : 11
986.89/146.27	c (140,0) c SimpDBs_6 : 8
986.89/146.27	c (140,0) c SimpDBs_7 : 11
986.89/146.27	c (140,0) c SimpDBs_total : 81
986.89/146.27	c (140,0) c SimpDBs_winner : 11
986.89/146.27	c (140,0) c Restarts_0 : 507
986.89/146.27	c (140,0) c Restarts_1 : 526
986.89/146.27	c (140,0) c Restarts_2 : 456
986.89/146.27	c (140,0) c Restarts_3 : 597
986.89/146.27	c (140,0) c Restarts_4 : 624
986.89/146.27	c (140,0) c Restarts_5 : 526
986.89/146.27	c (140,0) c Restarts_6 : 666
986.89/146.27	c (140,0) c Restarts_7 : 737
986.89/146.27	c (140,0) c Restarts_total : 4639
986.89/146.27	c (140,0) c Restarts_winner : 507
986.89/146.27	c (140,0) c ForcedImports_0 : 0
986.89/146.27	c (140,0) c ForcedImports_1 : 0
986.89/146.27	c (140,0) c ForcedImports_2 : 0
986.89/146.27	c (140,0) c ForcedImports_3 : 0
986.89/146.27	c (140,0) c ForcedImports_4 : 0
986.89/146.27	c (140,0) c ForcedImports_5 : 0
986.89/146.27	c (140,0) c ForcedImports_6 : 0
986.89/146.27	c (140,0) c ForcedImports_7 : 0
986.89/146.27	c (140,0) c ForcedImports_total : 0
986.89/146.27	c (140,0) c ForcedImports_winner : 0
986.89/146.27	c (140,0) c PropsBinClauses_0 : 120180612
986.89/146.27	c (140,0) c PropsBinClauses_1 : 124451990
986.89/146.27	c (140,0) c PropsBinClauses_2 : 124539586
986.89/146.27	c (140,0) c PropsBinClauses_3 : 123665135
986.89/146.27	c (140,0) c PropsBinClauses_4 : 122059369
986.89/146.27	c (140,0) c PropsBinClauses_5 : 122374500
986.89/146.27	c (140,0) c PropsBinClauses_6 : 122162903
986.89/146.27	c (140,0) c PropsBinClauses_7 : 121170018
986.89/146.27	c (140,0) c PropsBinClauses_total : 980604113
986.89/146.27	c (140,0) c PropsBinClauses_winner : 120180612
986.89/146.27	c (140,0) c PropsPreBlocker_0 : 4221734331
986.89/146.27	c (140,0) c PropsPreBlocker_1 : 4224312131
986.89/146.27	c (140,0) c PropsPreBlocker_2 : 4054178564
986.89/146.27	c (140,0) c PropsPreBlocker_3 : 4163754627
986.89/146.27	c (140,0) c PropsPreBlocker_4 : 4214540953
986.89/146.27	c (140,0) c PropsPreBlocker_5 : 4154044159
986.89/146.27	c (140,0) c PropsPreBlocker_6 : 4214759508
986.89/146.27	c (140,0) c PropsPreBlocker_7 : 4215313253
986.89/146.27	c (140,0) c PropsPreBlocker_total : 33462637526
986.89/146.27	c (140,0) c PropsPreBlocker_winner : 4221734331
986.89/146.27	c (140,0) c PropsNotBlocker_0 : 674528057
986.89/146.27	c (140,0) c PropsNotBlocker_1 : 679497575
986.89/146.27	c (140,0) c PropsNotBlocker_2 : 690303498
986.89/146.27	c (140,0) c PropsNotBlocker_3 : 680937624
986.89/146.27	c (140,0) c PropsNotBlocker_4 : 683744067
986.89/146.27	c (140,0) c PropsNotBlocker_5 : 677445076
986.89/146.27	c (140,0) c PropsNotBlocker_6 : 667479798
986.89/146.27	c (140,0) c PropsNotBlocker_7 : 678365625
986.89/146.27	c (140,0) c PropsNotBlocker_total : 5432301320
986.89/146.27	c (140,0) c PropsNotBlocker_winner : 674528057
986.89/146.27	c (140,0) c PropsLitFullScans_0 : 7399256949
986.89/146.27	c (140,0) c PropsLitFullScans_1 : 7405172317
986.89/146.27	c (140,0) c PropsLitFullScans_2 : 7405626385
986.89/146.27	c (140,0) c PropsLitFullScans_3 : 7405694841
986.89/146.27	c (140,0) c PropsLitFullScans_4 : 7405568896
986.89/146.27	c (140,0) c PropsLitFullScans_5 : 7405411668
986.89/146.27	c (140,0) c PropsLitFullScans_6 : 7399528305
986.89/146.27	c (140,0) c PropsLitFullScans_7 : 7405237288
986.89/146.27	c (140,0) c PropsLitFullScans_total : 59231496649
986.89/146.27	c (140,0) c PropsLitFullScans_winner : 7399256949
986.89/146.27	c (140,0) c LitScanFractions_0 : 1239497
986.89/146.27	c (140,0) c LitScanFractions_1 : 1157811
986.89/146.27	c (140,0) c LitScanFractions_2 : 1610755
986.89/146.27	c (140,0) c LitScanFractions_3 : 1689087
986.89/146.27	c (140,0) c LitScanFractions_4 : 1562700
986.89/146.27	c (140,0) c LitScanFractions_5 : 1406218
986.89/146.27	c (140,0) c LitScanFractions_6 : 1513393
986.89/146.27	c (140,0) c LitScanFractions_7 : 1189093
986.89/146.27	c (140,0) c LitScanFractions_total : 11368554
986.89/146.27	c (140,0) c LitScanFractions_winner : 1239497
986.89/146.27	c (140,0) c DecisionLevel0_0 : 525
986.89/146.27	c (140,0) c DecisionLevel0_1 : 539
986.89/146.27	c (140,0) c DecisionLevel0_2 : 474
986.89/146.27	c (140,0) c DecisionLevel0_3 : 608
986.89/146.27	c (140,0) c DecisionLevel0_4 : 632
986.89/146.27	c (140,0) c DecisionLevel0_5 : 537
986.89/146.27	c (140,0) c DecisionLevel0_6 : 675
986.89/146.27	c (140,0) c DecisionLevel0_7 : 750
986.89/146.27	c (140,0) c DecisionLevel0_total : 4740
986.89/146.27	c (140,0) c DecisionLevel0_winner : 525
986.89/146.27	c (140,0) c Periods_0 : 1233
986.89/146.27	c (140,0) c Periods_1 : 1234
986.89/146.27	c (140,0) c Periods_2 : 1234
986.89/146.27	c (140,0) c Periods_3 : 1234
986.89/146.27	c (140,0) c Periods_4 : 1234
986.89/146.27	c (140,0) c Periods_5 : 1234
986.89/146.27	c (140,0) c Periods_6 : 1233
986.89/146.27	c (140,0) c Periods_7 : 1234
986.89/146.27	c (140,0) c Periods_total : 9870
986.89/146.27	c (140,0) c Periods_winner : 1233
986.89/146.27	c (140,0) c Margin_0 : 20
986.89/146.27	c (140,0) c Margin_1 : 20
986.89/146.27	c (140,0) c Margin_2 : 20
986.89/146.27	c (140,0) c Margin_3 : 20
986.89/146.27	c (140,0) c Margin_4 : 20
986.89/146.27	c (140,0) c Margin_5 : 20
986.89/146.27	c (140,0) c Margin_6 : 20
986.89/146.27	c (140,0) c Margin_7 : 20
986.89/146.27	c (140,0) c Margin_total : 160
986.89/146.27	c (140,0) c Margin_winner : 20
986.89/146.27	c (140,0) c Exported_0 : 86167
986.89/146.27	c (140,0) c Exported_1 : 92187
986.89/146.27	c (140,0) c Exported_2 : 98008
986.89/146.27	c (140,0) c Exported_3 : 93089
986.89/146.27	c (140,0) c Exported_4 : 87926
986.89/146.27	c (140,0) c Exported_5 : 81005
986.89/146.27	c (140,0) c Exported_6 : 84478
986.89/146.27	c (140,0) c Exported_7 : 89284
986.89/146.27	c (140,0) c Exported_total : 712144
986.89/146.27	c (140,0) c Exported_winner : 86167
986.89/146.27	c (140,0) c Imported_0 : 619162
986.89/146.27	c (140,0) c Imported_1 : 611603
986.89/146.27	c (140,0) c Imported_2 : 607909
986.89/146.27	c (140,0) c Imported_3 : 605320
986.89/146.27	c (140,0) c Imported_4 : 612586
986.89/146.27	c (140,0) c Imported_5 : 618966
986.89/146.27	c (140,0) c Imported_6 : 613128
986.89/146.27	c (140,0) c Imported_7 : 614787
986.89/146.27	c (140,0) c Imported_total : 4903461
986.89/146.27	c (140,0) c Imported_winner : 619162
986.89/146.27	c (140,0) c Good_0 : 1808
986.89/146.27	c (140,0) c Good_1 : 1777
986.89/146.27	c (140,0) c Good_2 : 1782
986.89/146.27	c (140,0) c Good_3 : 1685
986.89/146.27	c (140,0) c Good_4 : 1730
986.89/146.27	c (140,0) c Good_5 : 1769
986.89/146.27	c (140,0) c Good_6 : 1721
986.89/146.27	c (140,0) c Good_7 : 1753
986.89/146.27	c (140,0) c Good_total : 14025
986.89/146.27	c (140,0) c Good_winner : 1808
986.89/146.27	c (140,0) c Purge_0 : 617354
986.89/146.27	c (140,0) c Purge_1 : 609826
986.89/146.27	c (140,0) c Purge_2 : 606127
986.89/146.27	c (140,0) c Purge_3 : 603635
986.89/146.27	c (140,0) c Purge_4 : 610856
986.89/146.27	c (140,0) c Purge_5 : 617197
986.89/146.27	c (140,0) c Purge_6 : 611407
986.89/146.27	c (140,0) c Purge_7 : 613034
986.89/146.27	c (140,0) c Purge_total : 4889436
986.89/146.27	c (140,0) c Purge_winner : 617354
986.89/146.27	c (140,0) c Promoted_0 : 49546
986.89/146.28	c (140,0) c Promoted_1 : 47357
986.89/146.28	c (140,0) c Promoted_2 : 49830
986.89/146.28	c (140,0) c Promoted_3 : 50025
986.89/146.28	c (140,0) c Promoted_4 : 50601
986.89/146.28	c (140,0) c Promoted_5 : 49960
986.89/146.28	c (140,0) c Promoted_6 : 48025
986.89/146.28	c (140,0) c Promoted_7 : 50720
986.89/146.28	c (140,0) c Promoted_total : 396064
986.89/146.28	c (140,0) c Promoted_winner : 49546
986.89/146.28	c (140,0) c Remove_Imp_0 : 474005
986.89/146.28	c (140,0) c Remove_Imp_1 : 475484
986.89/146.28	c (140,0) c Remove_Imp_2 : 458454
986.89/146.28	c (140,0) c Remove_Imp_3 : 488491
986.89/146.28	c (140,0) c Remove_Imp_4 : 483639
986.89/146.28	c (140,0) c Remove_Imp_5 : 456317
986.89/146.28	c (140,0) c Remove_Imp_6 : 471451
986.89/146.28	c (140,0) c Remove_Imp_7 : 480668
986.89/146.28	c (140,0) c Remove_Imp_total : 3788509
986.89/146.28	c (140,0) c Remove_Imp_winner : 474005
986.89/146.28	c (140,0) c Blocked_Reuse_0 : 0
986.89/146.28	c (140,0) c Blocked_Reuse_1 : 0
986.89/146.28	c (140,0) c Blocked_Reuse_2 : 0
986.89/146.28	c (140,0) c Blocked_Reuse_3 : 0
986.89/146.28	c (140,0) c Blocked_Reuse_4 : 0
986.89/146.28	c (140,0) c Blocked_Reuse_5 : 0
986.89/146.28	c (140,0) c Blocked_Reuse_6 : 0
986.89/146.28	c (140,0) c Blocked_Reuse_7 : 0
986.89/146.28	c (140,0) c Blocked_Reuse_total : 0
986.89/146.28	c (140,0) c Blocked_Reuse_winner : 0
986.89/146.28	c (140,0) c Unaries_0 : 18
986.89/146.28	c (140,0) c Unaries_1 : 13
986.89/146.28	c (140,0) c Unaries_2 : 18
986.89/146.28	c (140,0) c Unaries_3 : 11
986.89/146.28	c (140,0) c Unaries_4 : 8
986.89/146.28	c (140,0) c Unaries_5 : 11
986.89/146.28	c (140,0) c Unaries_6 : 9
986.89/146.28	c (140,0) c Unaries_7 : 13
986.89/146.28	c (140,0) c Unaries_total : 101
986.89/146.28	c (140,0) c Unaries_winner : 18
986.89/146.28	c (140,0) c Binaries_0 : 228
986.89/146.28	c (140,0) c Binaries_1 : 250
986.89/146.28	c (140,0) c Binaries_2 : 264
986.89/146.28	c (140,0) c Binaries_3 : 303
986.89/146.28	c (140,0) c Binaries_4 : 271
986.89/146.28	c (140,0) c Binaries_5 : 232
986.89/146.28	c (140,0) c Binaries_6 : 263
986.89/146.28	c (140,0) c Binaries_7 : 264
986.89/146.28	c (140,0) c Binaries_total : 2075
986.89/146.28	c (140,0) c Binaries_winner : 228
986.89/146.28	c (140,0) c Glues_0 : 938
986.89/146.28	c (140,0) c Glues_1 : 951
986.89/146.28	c (140,0) c Glues_2 : 973
986.89/146.28	c (140,0) c Glues_3 : 1074
986.89/146.28	c (140,0) c Glues_4 : 991
986.89/146.28	c (140,0) c Glues_5 : 955
986.89/146.28	c (140,0) c Glues_6 : 968
986.89/146.28	c (140,0) c Glues_7 : 1007
986.89/146.28	c (140,0) c Glues_total : 7857
986.89/146.28	c (140,0) c Glues_winner : 938
986.89/146.28	c (140,0) c RunningTime_0 : 109.811749
986.89/146.28	c (140,0) c RunningTime_1 : 124.251281
986.89/146.28	c (140,0) c RunningTime_2 : 122.881640
986.89/146.28	c (140,0) c RunningTime_3 : 115.871851
986.89/146.28	c (140,0) c RunningTime_4 : 119.932666
986.89/146.28	c (140,0) c RunningTime_5 : 136.151233
986.89/146.28	c (140,0) c RunningTime_6 : 138.533935
986.89/146.28	c (140,0) c RunningTime_7 : 104.578889
986.89/146.28	c (140,0) c RunningTime_total : 972.013243
986.89/146.28	c (140,0) c RunningTime_winner : 109.811749
986.89/146.28	c (140,0) c WaitingTime_0 : 27.898213
986.89/146.28	c (140,0) c WaitingTime_1 : 13.569061
986.89/146.28	c (140,0) c WaitingTime_2 : 14.961962
986.89/146.28	c (140,0) c WaitingTime_3 : 21.934902
986.89/146.28	c (140,0) c WaitingTime_4 : 17.881238
986.89/146.28	c (140,0) c WaitingTime_5 : 1.695448
986.89/146.28	c (140,0) c WaitingTime_6 : 1.306309
986.89/146.28	c (140,0) c WaitingTime_7 : 33.271764
986.89/146.28	c (140,0) c WaitingTime_total : 132.518895
986.89/146.28	c (140,0) c WaitingTime_winner : 27.898213
986.89/146.28	c (140,0) c ExchangingTime_0 : 0.367321
986.89/146.28	c (140,0) c ExchangingTime_1 : 0.350636
986.89/146.28	c (140,0) c ExchangingTime_2 : 0.331198
986.89/146.28	c (140,0) c ExchangingTime_3 : 0.363390
986.89/146.28	c (140,0) c ExchangingTime_4 : 0.357863
986.89/146.28	c (140,0) c ExchangingTime_5 : 0.324370
986.89/146.28	c (140,0) c ExchangingTime_6 : 0.328101
986.89/146.28	c (140,0) c ExchangingTime_7 : 0.319459
986.89/146.28	c (140,0) c ExchangingTime_total : 2.742339
986.89/146.28	c (140,0) c ExchangingTime_winner : 0.367321
986.89/146.28	c (140,0) c PeriodProcTime_0 : 0.010659
986.89/146.28	c (140,0) c PeriodProcTime_1 : 0.009899
986.89/146.28	c (140,0) c PeriodProcTime_2 : 0.010250
986.89/146.28	c (140,0) c PeriodProcTime_3 : 0.011226
986.89/146.28	c (140,0) c PeriodProcTime_4 : 0.010740
986.89/146.28	c (140,0) c PeriodProcTime_5 : 0.015302
986.89/146.28	c (140,0) c PeriodProcTime_6 : 0.011334
986.89/146.28	c (140,0) c PeriodProcTime_7 : 0.011447
986.89/146.28	c (140,0) c PeriodProcTime_total : 0.090858
986.89/146.28	c (140,0) c PeriodProcTime_winner : 0.010659
986.89/146.28	c (140,0) c SolvingTime_0 : 138.087942
986.89/146.28	c (140,0) c SolvingTime_1 : 138.180878
986.89/146.28	c (140,0) c SolvingTime_2 : 138.185050
986.89/146.28	c (140,0) c SolvingTime_3 : 138.181369
986.89/146.28	c (140,0) c SolvingTime_4 : 138.182508
986.89/146.28	c (140,0) c SolvingTime_5 : 138.186352
986.89/146.28	c (140,0) c SolvingTime_6 : 140.179678
986.89/146.28	c (140,0) c SolvingTime_7 : 138.181559
986.89/146.28	c (140,0) c SolvingTime_total : 1107.365336
986.89/146.28	c (140,0) c SolvingTime_winner : 138.087942
986.89/146.28	c (140,0) c PropagationTime_0 : 121.750078
986.89/146.28	c (140,0) c PropagationTime_1 : 99.297097
986.89/146.28	c (140,0) c PropagationTime_2 : 100.538122
986.89/146.28	c (140,0) c PropagationTime_3 : 120.158263
986.89/146.28	c (140,0) c PropagationTime_4 : 112.499313
986.89/146.28	c (140,0) c PropagationTime_5 : 88.515030
986.89/146.28	c (140,0) c PropagationTime_6 : 86.312563
986.89/146.28	c (140,0) c PropagationTime_7 : 122.032865
986.89/146.28	c (140,0) c PropagationTime_total : 851.103331
986.89/146.28	c (140,0) c PropagationTime_winner : 121.750078
986.89/146.28	c (140,0) c AnalysisTime_0 : 12.686205
986.89/146.28	c (140,0) c AnalysisTime_1 : 35.308424
986.89/146.28	c (140,0) c AnalysisTime_2 : 34.148636
986.89/146.28	c (140,0) c AnalysisTime_3 : 14.205048
986.89/146.28	c (140,0) c AnalysisTime_4 : 22.003796
986.89/146.28	c (140,0) c AnalysisTime_5 : 46.392684
986.89/146.28	c (140,0) c AnalysisTime_6 : 50.595371
986.89/146.28	c (140,0) c AnalysisTime_7 : 12.537276
986.89/146.28	c (140,0) c AnalysisTime_total : 227.877440
986.89/146.28	c (140,0) c AnalysisTime_winner : 12.686205
986.89/146.28	c (140,0) c ReductionTime_0 : 1.381793
986.89/146.28	c (140,0) c ReductionTime_1 : 1.269560
986.89/146.28	c (140,0) c ReductionTime_2 : 1.169738
986.89/146.28	c (140,0) c ReductionTime_3 : 1.511850
986.89/146.28	c (140,0) c ReductionTime_4 : 1.407244
986.89/146.28	c (140,0) c ReductionTime_5 : 1.130551
986.89/146.28	c (140,0) c ReductionTime_6 : 1.185976
986.89/146.28	c (140,0) c ReductionTime_7 : 1.379791
986.89/146.28	c (140,0) c ReductionTime_total : 10.436503
986.89/146.28	c (140,0) c ReductionTime_winner : 1.381793
986.89/146.28	c (140,0) c SimplifyTime_0 : 0.099963
986.89/146.28	c (140,0) c SimplifyTime_1 : 0.096418
986.89/146.28	c (140,0) c SimplifyTime_2 : 0.126060
986.89/146.28	c (140,0) c SimplifyTime_3 : 0.055473
986.89/146.28	c (140,0) c SimplifyTime_4 : 0.078685
986.89/146.28	c (140,0) c SimplifyTime_5 : 0.074026
986.89/146.28	c (140,0) c SimplifyTime_6 : 0.026507
986.89/146.28	c (140,0) c SimplifyTime_7 : 0.079592
986.89/146.28	c (140,0) c SimplifyTime_total : 0.636724
986.89/146.28	c (140,0) c SimplifyTime_winner : 0.099963
986.89/146.28	c (140,0) c UsedRateTime_0 : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_1 : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_2 : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_3 : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_4 : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_5 : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_6 : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_7 : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_total : 0.000000
986.89/146.28	c (140,0) c UsedRateTime_winner : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_0 : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_1 : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_2 : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_3 : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_4 : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_5 : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_6 : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_7 : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_total : 0.000000
986.89/146.28	c (140,0) c OverlapRateTime_winner : 0.000000
986.89/146.28	c (140,0) c
986.89/146.28	c (140,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
986.89/146.28	c (140,0) c
986.89/146.28	c (140,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.28	c (140,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
986.89/146.28	c (140,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.28	c (140,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
986.89/146.28	c (140,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
986.89/146.28	c (140,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
986.89/146.28	c (140,0) c | Initial random_seed   | 2145371359 |  250064238 |  788797375 |  598775280 | 1099213163 |  549428320 | 1738580459 |  636266718 |
986.89/146.28	c (140,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
986.89/146.28	c (140,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
986.89/146.28	c (140,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
986.89/146.28	c (140,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
986.89/146.28	c (140,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
986.89/146.28	c (140,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
986.89/146.28	c (140,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
986.89/146.28	c (140,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
986.89/146.28	c (140,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
986.89/146.28	c (140,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
986.89/146.28	c (140,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
986.89/146.28	c (140,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
986.89/146.28	c (140,0) 
986.89/146.28	c (140,0) s UNSATISFIABLE
986.89/146.29	c (140,0) SatSolver.solve End
986.89/146.29	c (140,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
986.89/146.29	c (140,0) Show results Begin
986.89/146.29	s UNSATISFIABLE
986.89/146.29	c (140,0) Show results End
986.89/146.29	c (140,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
986.89/146.29	c (140,0) 140,140,STOP-AFTER(ALL)
986.89/146.29	c END-Prog: Thu Dec 15 13:12:11 CET 2011

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: 16375 MiB (13720 MiB free)
  memory of node 1: 16384 MiB (13869 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392447-1568436562/watcher-4392447-1568436562 -o /tmp/evaluation-result-4392447-1568436562/solver-4392447-1568436562 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323945801-11979 --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-4392447-1568436562.xml 

running on 8 cores: 0-7

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

solver pid=14504, runsolver pid=14501

[startup+0.100063 s]*
/proc/loadavg: 3.32 4.07 4.84 2/211 14526
/proc/meminfo: memFree=28158880/32770688 swapFree=66919992/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (scop.sh) S 14501 14504 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419662488 115843072 349 33554432000 4194304 5098028 140725989354848 140725989352104 139747190907516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34451456 140725989360421 140725989360748 140725989360748 140725989363661 0
/proc/14504/statm: 28282 349 296 221 0 87 0
[pid=14507] ppid=14504 vsize=27314120 memory=105924 CPUtime=0.11 cores=0-7
/proc/14507/stat : 14507 (java) S 14504 14504 11952 0 -1 1077944320 6006 0 0 0 8 3 0 0 20 0 20 0 419662488 27969658880 26481 33554432000 4194304 4196468 140725256785424 140725256767968 140066908937975 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
/proc/14507/statm: 6828530 26481 2778 1 0 6790935 0
[pid=14507/tid=14508] ppid=14504 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/14507/task/14508/stat : 14508 (java) R 14504 14504 11952 0 -1 4202560 4134 0 0 0 6 2 0 0 20 0 20 0 419662488 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066880764304 140066893018462 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14509] ppid=14504 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14507/task/14509/stat : 14509 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066913180432 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14510] ppid=14504 vsize=27314120 memory=139683945584256 CPUtime=0 cores=0-7
/proc/14507/task/14510/stat : 14510 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066331245456 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14511] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14511/stat : 14511 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066330192912 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14512] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14512/stat : 14512 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066329140368 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14513] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14513/stat : 14513 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066328086800 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14514] ppid=14504 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14507/task/14514/stat : 14514 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066327034256 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14515] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14515/stat : 14515 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066325981712 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14516] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14516/stat : 14516 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 26481 33554432000 4194304 4196468 140725256785424 140066324929168 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14517] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14517/stat : 14517 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662492 27969658880 26481 33554432000 4194304 4196468 140725256785424 140065900235248 140066908949122 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14518] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14518/stat : 14518 (java) S 14504 14504 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419662493 27969658880 26481 33554432000 4194304 4196468 140725256785424 140064856204704 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14519] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14519/stat : 14519 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662493 27969658880 26481 33554432000 4194304 4196468 140725256785424 140064587769328 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14520] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14520/stat : 14520 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 26481 33554432000 4194304 4196468 140725256785424 140064213261008 140066908956571 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14521] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14521/stat : 14521 (java) S 14504 14504 11952 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 26481 33554432000 4194304 4196468 140725256785424 140065899182064 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14522] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14522/stat : 14522 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 26481 33554432000 4194304 4196468 140725256785424 140065898129520 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14523] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14523/stat : 14523 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 26506 33554432000 4194304 4196468 140725256785424 140065897076976 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14524] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14524/stat : 14524 (java) S 14504 14504 11952 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 26507 33554432000 4194304 4196468 140725256785424 140065896024432 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14525] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14525/stat : 14525 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 26507 33554432000 4194304 4196468 140725256785424 140063715355360 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14526] ppid=14504 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14507/task/14526/stat : 14526 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 26507 33554432000 4194304 4196468 140725256785424 140065894972336 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107320 KiB

[startup+0.211447 s]*
/proc/loadavg: 3.32 4.07 4.84 2/211 14526
/proc/meminfo: memFree=28138804/32770688 swapFree=66919992/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (scop.sh) S 14501 14504 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419662488 115843072 349 33554432000 4194304 5098028 140725989354848 140725989352104 139747190907516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34451456 140725989360421 140725989360748 140725989360748 140725989363661 0
/proc/14504/statm: 28282 349 296 221 0 87 0
[pid=14507] ppid=14504 vsize=27314120 memory=125516 CPUtime=0.23 cores=0-7
/proc/14507/stat : 14507 (java) S 14504 14504 11952 0 -1 1077944320 11530 0 0 0 18 5 0 0 20 0 20 0 419662488 27969658880 31379 33554432000 4194304 4196468 140725256785424 140725256767968 140066908937975 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
/proc/14507/statm: 6828530 31379 2941 1 0 6790935 0
[pid=14507/tid=14508] ppid=14504 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14507/task/14508/stat : 14508 (java) R 14504 14504 11952 0 -1 4202560 9284 0 0 0 15 5 0 0 20 0 20 0 419662488 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066880741584 140066908959901 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14509] ppid=14504 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/14507/task/14509/stat : 14509 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066913180432 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14510] ppid=14504 vsize=27314120 memory=4050908957227161248 CPUtime=0 cores=0-7
/proc/14507/task/14510/stat : 14510 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066331245456 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14511] ppid=14504 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14507/task/14511/stat : 14511 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066330192912 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14512] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14512/stat : 14512 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066329140368 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14513] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14513/stat : 14513 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066328086800 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14514] ppid=14504 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14507/task/14514/stat : 14514 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066327034256 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14515] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14515/stat : 14515 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066325981712 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14516] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14516/stat : 14516 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 31379 33554432000 4194304 4196468 140725256785424 140066324929168 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14517] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14517/stat : 14517 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662492 27969658880 31379 33554432000 4194304 4196468 140725256785424 140065900235248 140066908949122 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14518] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14518/stat : 14518 (java) S 14504 14504 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419662493 27969658880 31379 33554432000 4194304 4196468 140725256785424 140064856204704 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14519] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14519/stat : 14519 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662493 27969658880 31379 33554432000 4194304 4196468 140725256785424 140064587769328 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14520] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14520/stat : 14520 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 31379 33554432000 4194304 4196468 140725256785424 140064213261008 140066908956571 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14521] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14521/stat : 14521 (java) S 14504 14504 11952 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 31379 33554432000 4194304 4196468 140725256785424 140065899182064 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14522] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14522/stat : 14522 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 31379 33554432000 4194304 4196468 140725256785424 140065898129520 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14523] ppid=14504 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14507/task/14523/stat : 14523 (java) S 14504 14504 11952 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 31379 33554432000 4194304 4196468 140725256785424 140065897076976 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14524] ppid=14504 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/14507/task/14524/stat : 14524 (java) R 14504 14504 11952 0 -1 4202560 478 0 0 0 2 0 0 0 20 0 20 0 419662496 27969658880 31379 33554432000 4194304 4196468 140725256785424 140065896024432 140066888209781 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14525] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14525/stat : 14525 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 31379 33554432000 4194304 4196468 140725256785424 140063715355360 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14526] ppid=14504 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14507/task/14526/stat : 14526 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 31379 33554432000 4194304 4196468 140725256785424 140065894972336 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126912 KiB

[startup+0.310686 s]*
/proc/loadavg: 3.32 4.07 4.84 2/211 14526
/proc/meminfo: memFree=28133704/32770688 swapFree=66919992/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (scop.sh) S 14501 14504 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419662488 115843072 349 33554432000 4194304 5098028 140725989354848 140725989352104 139747190907516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34451456 140725989360421 140725989360748 140725989360748 140725989363661 0
/proc/14504/statm: 28282 349 296 221 0 87 0
[pid=14507] ppid=14504 vsize=27314120 memory=129076 CPUtime=0.42 cores=0-7
/proc/14507/stat : 14507 (java) S 14504 14504 11952 0 -1 1077944320 12148 0 0 0 36 6 0 0 20 0 20 0 419662488 27969658880 32269 33554432000 4194304 4196468 140725256785424 140725256767968 140066908937975 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
/proc/14507/statm: 6828530 32269 2977 1 0 6790935 0
[pid=14507/tid=14508] ppid=14504 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/14507/task/14508/stat : 14508 (java) R 14504 14504 11952 0 -1 4202560 9726 0 0 0 24 5 0 0 20 0 20 0 419662488 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066880764240 140066908959901 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14509] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14509/stat : 14509 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066913180432 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14510] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14510/stat : 14510 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066331245456 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14511] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14511/stat : 14511 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066330192912 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14512] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14512/stat : 14512 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066329140368 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14513] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14513/stat : 14513 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066328086800 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14514] ppid=14504 vsize=27314120 memory=139683812174511 CPUtime=0 cores=0-7
/proc/14507/task/14514/stat : 14514 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066327034256 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14515] ppid=14504 vsize=27314120 memory=139683812176816 CPUtime=0 cores=0-7
/proc/14507/task/14515/stat : 14515 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066325981712 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14516] ppid=14504 vsize=27314120 memory=139683812179120 CPUtime=0 cores=0-7
/proc/14507/task/14516/stat : 14516 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27969658880 32269 33554432000 4194304 4196468 140725256785424 140066324929168 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14517] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14517/stat : 14517 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662492 27969658880 32269 33554432000 4194304 4196468 140725256785424 140065900235248 140066908949122 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14518] ppid=14504 vsize=27314120 memory=279367624372112 CPUtime=0 cores=0-7
/proc/14507/task/14518/stat : 14518 (java) S 14504 14504 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419662493 27969658880 32269 33554432000 4194304 4196468 140725256785424 140064856204704 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14519] ppid=14504 vsize=27314120 memory=279367624369808 CPUtime=0 cores=0-7
/proc/14507/task/14519/stat : 14519 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662493 27969658880 32269 33554432000 4194304 4196468 140725256785424 140064587769328 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14520] ppid=14504 vsize=27314120 memory=279367624376720 CPUtime=0 cores=0-7
/proc/14507/task/14520/stat : 14520 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 32269 33554432000 4194304 4196468 140725256785424 140064213261008 140066908956571 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14521] ppid=14504 vsize=27314120 memory=279367624318000 CPUtime=0.01 cores=0-7
/proc/14507/task/14521/stat : 14521 (java) R 14504 14504 11952 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 419662496 27969658880 32269 33554432000 4194304 4196468 140725256785424 140065899172448 140066888774353 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14522] ppid=14504 vsize=27314120 memory=279367624390544 CPUtime=0 cores=0-7
/proc/14507/task/14522/stat : 14522 (java) S 14504 14504 11952 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 32269 33554432000 4194304 4196468 140725256785424 140065898129520 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14523] ppid=14504 vsize=27314120 memory=279367624397456 CPUtime=0.01 cores=0-7
/proc/14507/task/14523/stat : 14523 (java) S 14504 14504 11952 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 419662496 27969658880 32269 33554432000 4194304 4196468 140725256785424 140065897076976 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14524] ppid=14504 vsize=27314120 memory=279367624395152 CPUtime=0.07 cores=0-7
/proc/14507/task/14524/stat : 14524 (java) S 14504 14504 11952 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 20 0 419662496 27969658880 32269 33554432000 4194304 4196468 140725256785424 140065896024432 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14525] ppid=14504 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14525/stat : 14525 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 32269 33554432000 4194304 4196468 140725256785424 140063715355360 140066908948181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14526] ppid=14504 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14507/task/14526/stat : 14526 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662496 27969658880 32269 33554432000 4194304 4196468 140725256785424 140065894972336 140066908949122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130472 KiB

[startup+0.701034 s]
/proc/loadavg: 3.32 4.07 4.84 2/211 14526
/proc/meminfo: memFree=28129912/32770688 swapFree=66919992/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (scop.sh) S 14501 14504 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419662488 115843072 349 33554432000 4194304 5098028 140725989354848 140725989352104 139747190907516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34451456 140725989360421 140725989360748 140725989360748 140725989363661 0
/proc/14504/statm: 28282 349 296 221 0 87 0
[pid=14507] ppid=14504 vsize=27320392 memory=159476 CPUtime=0.9 cores=0-7
/proc/14507/stat : 14507 (java) S 14504 14504 11952 0 -1 1077944320 18965 0 0 0 82 8 0 0 20 0 20 0 419662488 27976081408 39869 33554432000 4194304 4196468 140725256785424 140725256767968 140066908937975 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
/proc/14507/statm: 6830098 39869 3124 1 0 6791447 0
[pid=14507/tid=14508] ppid=14504 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/14507/task/14508/stat : 14508 (java) R 14504 14504 11952 0 -1 4202560 16372 0 0 0 61 7 0 0 20 0 20 0 419662488 27976081408 39869 33554432000 4194304 4196468 140725256785424 140066880770016 140066908959901 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14509] ppid=14504 vsize=27320392 memory=139683812385648 CPUtime=0 cores=0-7
/proc/14507/task/14509/stat : 14509 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27976081408 39869 33554432000 4194304 4196468 140725256785424 140066913180432 140066908948181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14510] ppid=14504 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14507/task/14510/stat : 14510 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419662491 27976081408 39869 33554432000 4194304 4196468 140725256785424 140066331245456 140066908948181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0
[pid=14507/tid=14511] ppid=14504 vsize=27320392 memory=1176 CPUtime=0 cores=0-7
/proc/14507/task/14511/stat : 14511 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419662491 27976081408 39869 33554432000 4194304 4196468 140725256785424 140066330192912 140066908948181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140725256790763 140725256791190 140725256791190 140725256794063 0

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

[pid=14527/tid=14542] ppid=14504 vsize=8414124 memory=776 CPUtime=0.06 cores=0-7
/proc/14527/task/14542/stat : 14542 (java) S 14504 14504 11952 0 -1 1077944384 268 0 0 0 6 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118874630768 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14543] ppid=14504 vsize=8414124 memory=660 CPUtime=0.09 cores=0-7
/proc/14527/task/14543/stat : 14543 (java) S 14504 14504 11952 0 -1 1077944384 480 0 0 0 9 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118873578224 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14544] ppid=14504 vsize=8414124 memory=1556 CPUtime=0.24 cores=0-7
/proc/14527/task/14544/stat : 14544 (java) S 14504 14504 11952 0 -1 1077944384 1012 0 0 0 24 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118872525680 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14545] ppid=14504 vsize=8414124 memory=9588 CPUtime=0 cores=0-7
/proc/14527/task/14545/stat : 14545 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140117469554912 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14546] ppid=14504 vsize=8414124 memory=1712 CPUtime=0.09 cores=0-7
/proc/14527/task/14546/stat : 14546 (java) S 14504 14504 11952 0 -1 1077944384 11 0 0 0 6 3 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118871472560 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14548] ppid=14504 vsize=8414124 memory=5980 CPUtime=0 cores=0-7
/proc/14527/task/14548/stat : 14548 (java) S 14504 14504 11952 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419663086 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119416014016 140119985495833 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14550] ppid=14504 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/14527/task/14550/stat : 14550 (java) S 14504 14504 11952 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419663087 8616062976 29749 33554432000 4194304 4196468 140728771091888 140116798455568 140119985493149 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14551] ppid=14504 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/14527/task/14551/stat : 14551 (java) S 14504 14504 11952 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419663087 8616062976 29749 33554432000 4194304 4196468 140728771091888 140117066891152 140119985493149 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14560] ppid=14504 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/14527/task/14560/stat : 14560 (java) S 14504 14504 11952 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419663089 8616062976 29749 33554432000 4194304 4196468 140728771091888 140116530028208 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
Current children cumulated CPU time: 986.29 s
Current children cumulated vsize: 9342632 KiB
Current children cumulated memory: 760816 KiB

[startup+146.001 s]*
/proc/loadavg: 5.40 4.81 5.02 2/220 14577
/proc/meminfo: memFree=27506688/32770688 swapFree=66919992/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1476 CPUtime=13.14 cores=0-7
/proc/14504/stat : 14504 (scop.sh) S 14501 14504 11952 0 -1 4202496 583 32134 0 0 0 0 1283 31 20 0 1 0 419662488 115843072 369 33554432000 4194304 5098028 140725989354848 140725989351592 139747190907516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34451456 140725989360421 140725989360748 140725989360748 140725989363661 0
/proc/14504/statm: 28282 369 311 221 0 87 0
[pid=14527] ppid=14504 vsize=8414124 memory=118996 CPUtime=1.47 cores=0-7
/proc/14527/stat : 14527 (java) S 14504 14504 11952 0 -1 1077944320 21747 0 0 0 138 9 0 0 20 0 24 0 419663002 8616062976 29749 33554432000 4194304 4196468 140728771091888 140728771074432 140119985471223 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
/proc/14527/statm: 2103531 29749 3210 1 0 2064875 0
[pid=14547] ppid=14527 vsize=815380 memory=640344 CPUtime=972.09 cores=0-7
/proc/14547/stat : 14547 (manyglucose-4.1) S 14527 14504 11952 0 -1 1077944320 538754 0 0 0 97089 120 0 0 20 0 2 0 419663086 834949120 160086 33554432000 4194304 4454172 140728542253872 140728542252256 139762105990903 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 35594240 140728542258025 140728542258224 140728542258224 140728542261178 0
/proc/14547/statm: 203845 160086 419 64 0 199513 0
[pid=14547/tid=14558] ppid=14527 vsize=815380 memory=7450756339979086185 CPUtime=138.6 cores=0-7
/proc/14547/task/14558/stat : 14558 (manyglucose-4.1) R 14527 14504 11952 0 -1 4202560 65932 0 0 0 13848 12 0 0 20 0 2 0 419663089 834949120 160086 33554432000 4194304 4454172 140728542253872 139761906199688 4351720 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 35594240 140728542258025 140728542258224 140728542258224 140728542261178 0
[pid=14527/tid=14528] ppid=14504 vsize=8414124 memory=1398722017469774279 CPUtime=0.88 cores=0-7
/proc/14527/task/14528/stat : 14528 (java) S 14504 14504 11952 0 -1 1077944384 18042 0 0 0 82 6 0 0 20 0 24 0 419663002 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119957311392 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14529] ppid=14504 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14527/task/14529/stat : 14529 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119989713168 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14530] ppid=14504 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14527/task/14530/stat : 14530 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119470672272 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14531] ppid=14504 vsize=8414124 memory=118996 CPUtime=0 cores=0-7
/proc/14527/task/14531/stat : 14531 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119469619728 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14532] ppid=14504 vsize=8414124 memory=640344 CPUtime=0 cores=0-7
/proc/14527/task/14532/stat : 14532 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119468567184 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14533] ppid=14504 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/14527/task/14533/stat : 14533 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119467514640 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14534] ppid=14504 vsize=8414124 memory=7653368595591812970 CPUtime=0 cores=0-7
/proc/14527/task/14534/stat : 14534 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119466462096 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14535] ppid=14504 vsize=8414124 memory=7075220303863507560 CPUtime=0 cores=0-7
/proc/14527/task/14535/stat : 14535 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119465409552 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14536] ppid=14504 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14527/task/14536/stat : 14536 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119464357008 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14537] ppid=14504 vsize=8414124 memory=304556140405195066 CPUtime=0 cores=0-7
/proc/14527/task/14537/stat : 14537 (java) S 14504 14504 11952 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 419663005 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118876735472 140119985482370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14538] ppid=14504 vsize=8414124 memory=13563791027735092 CPUtime=0 cores=0-7
/proc/14527/task/14538/stat : 14538 (java) S 14504 14504 11952 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 419663006 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118476186528 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14539] ppid=14504 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/14527/task/14539/stat : 14539 (java) S 14504 14504 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419663006 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118341964784 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14540] ppid=14504 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/14527/task/14540/stat : 14540 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140117967460560 140119985489819 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14541] ppid=14504 vsize=8414124 memory=1176 CPUtime=0.06 cores=0-7
/proc/14527/task/14541/stat : 14541 (java) S 14504 14504 11952 0 -1 1077944384 515 0 0 0 6 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118875683312 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14542] ppid=14504 vsize=8414124 memory=980 CPUtime=0.06 cores=0-7
/proc/14527/task/14542/stat : 14542 (java) S 14504 14504 11952 0 -1 1077944384 268 0 0 0 6 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118874630768 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14543] ppid=14504 vsize=8414124 memory=14008 CPUtime=0.09 cores=0-7
/proc/14527/task/14543/stat : 14543 (java) S 14504 14504 11952 0 -1 1077944384 480 0 0 0 9 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118873578224 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14544] ppid=14504 vsize=8414124 memory=12028 CPUtime=0.24 cores=0-7
/proc/14527/task/14544/stat : 14544 (java) S 14504 14504 11952 0 -1 1077944384 1012 0 0 0 24 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118872525680 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14545] ppid=14504 vsize=8414124 memory=25824 CPUtime=0 cores=0-7
/proc/14527/task/14545/stat : 14545 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140117469554912 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14546] ppid=14504 vsize=8414124 memory=2120 CPUtime=0.09 cores=0-7
/proc/14527/task/14546/stat : 14546 (java) S 14504 14504 11952 0 -1 1077944384 11 0 0 0 6 3 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118871472560 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14548] ppid=14504 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/14527/task/14548/stat : 14548 (java) S 14504 14504 11952 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419663086 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119416014016 140119985495833 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14550] ppid=14504 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/14527/task/14550/stat : 14550 (java) S 14504 14504 11952 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419663087 8616062976 29749 33554432000 4194304 4196468 140728771091888 140116798455568 140119985493149 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14551] ppid=14504 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/14527/task/14551/stat : 14551 (java) S 14504 14504 11952 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419663087 8616062976 29749 33554432000 4194304 4196468 140728771091888 140117066891152 140119985493149 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14560] ppid=14504 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/14527/task/14560/stat : 14560 (java) S 14504 14504 11952 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419663089 8616062976 29749 33554432000 4194304 4196468 140728771091888 140116530028208 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
Current children cumulated CPU time: 986.7 s
Current children cumulated vsize: 9342632 KiB
Current children cumulated memory: 760816 KiB

[startup+146.201 s]
/proc/loadavg: 5.40 4.81 5.02 2/220 14577
/proc/meminfo: memFree=27506688/32770688 swapFree=66919992/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1476 CPUtime=13.14 cores=0-7
/proc/14504/stat : 14504 (scop.sh) S 14501 14504 11952 0 -1 4202496 583 32134 0 0 0 0 1283 31 20 0 1 0 419662488 115843072 369 33554432000 4194304 5098028 140725989354848 140725989351592 139747190907516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34451456 140725989360421 140725989360748 140725989360748 140725989363661 0
/proc/14504/statm: 28282 369 311 221 0 87 0
[pid=14527] ppid=14504 vsize=8414124 memory=118996 CPUtime=1.47 cores=0-7
/proc/14527/stat : 14527 (java) S 14504 14504 11952 0 -1 1077944320 21747 0 0 0 138 9 0 0 20 0 24 0 419663002 8616062976 29749 33554432000 4194304 4196468 140728771091888 140728771074432 140119985471223 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
/proc/14527/statm: 2103531 29749 3210 1 0 2064875 0
[pid=14547] ppid=14527 vsize=815380 memory=640344 CPUtime=972.28 cores=0-7
/proc/14547/stat : 14547 (manyglucose-4.1) S 14527 14504 11952 0 -1 1077944320 538757 0 0 0 97108 120 0 0 20 0 2 0 419663086 834949120 160086 33554432000 4194304 4454172 140728542253872 140728542252256 139762105990903 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 35594240 140728542258025 140728542258224 140728542258224 140728542261178 0
/proc/14547/statm: 203845 160086 419 64 0 199513 0
[pid=14547/tid=14558] ppid=14527 vsize=815380 memory=1176 CPUtime=138.79 cores=0-7
/proc/14547/task/14558/stat : 14558 (manyglucose-4.1) R 14527 14504 11952 0 -1 4202560 65935 0 0 0 13867 12 0 0 20 0 2 0 419663089 834949120 160086 33554432000 4194304 4454172 140728542253872 139761906199688 4349976 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 35594240 140728542258025 140728542258224 140728542258224 140728542261178 0
[pid=14527/tid=14528] ppid=14504 vsize=8414124 memory=980 CPUtime=0.88 cores=0-7
/proc/14527/task/14528/stat : 14528 (java) S 14504 14504 11952 0 -1 1077944384 18042 0 0 0 82 6 0 0 20 0 24 0 419663002 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119957311392 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14529] ppid=14504 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/14527/task/14529/stat : 14529 (java) S 14504 14504 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119989713168 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14530] ppid=14504 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/14527/task/14530/stat : 14530 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119470672272 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14531] ppid=14504 vsize=8414124 memory=25824 CPUtime=0 cores=0-7
/proc/14527/task/14531/stat : 14531 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119469619728 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14532] ppid=14504 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/14527/task/14532/stat : 14532 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119468567184 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14533] ppid=14504 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/14527/task/14533/stat : 14533 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119467514640 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14534] ppid=14504 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/14527/task/14534/stat : 14534 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119466462096 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14535] ppid=14504 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/14527/task/14535/stat : 14535 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119465409552 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14536] ppid=14504 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/14527/task/14536/stat : 14536 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663004 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119464357008 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14537] ppid=14504 vsize=8414124 memory=1964 CPUtime=0 cores=0-7
/proc/14527/task/14537/stat : 14537 (java) S 14504 14504 11952 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 419663005 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118876735472 140119985482370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14538] ppid=14504 vsize=8414124 memory=6298122903492322402 CPUtime=0 cores=0-7
/proc/14527/task/14538/stat : 14538 (java) S 14504 14504 11952 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 419663006 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118476186528 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14539] ppid=14504 vsize=8414124 memory=7377833426296270693 CPUtime=0 cores=0-7
/proc/14527/task/14539/stat : 14539 (java) S 14504 14504 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419663006 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118341964784 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14540] ppid=14504 vsize=8414124 memory=-6662466096009822351 CPUtime=0 cores=0-7
/proc/14527/task/14540/stat : 14540 (java) S 14504 14504 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140117967460560 140119985489819 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14541] ppid=14504 vsize=8414124 memory=7086246258308704612 CPUtime=0.06 cores=0-7
/proc/14527/task/14541/stat : 14541 (java) S 14504 14504 11952 0 -1 1077944384 515 0 0 0 6 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118875683312 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14542] ppid=14504 vsize=8414124 memory=7883954021623551847 CPUtime=0.06 cores=0-7
/proc/14527/task/14542/stat : 14542 (java) S 14504 14504 11952 0 -1 1077944384 268 0 0 0 6 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118874630768 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14543] ppid=14504 vsize=8414124 memory=7883954021623551847 CPUtime=0.09 cores=0-7
/proc/14527/task/14543/stat : 14543 (java) S 14504 14504 11952 0 -1 1077944384 480 0 0 0 9 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118873578224 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14544] ppid=14504 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/14527/task/14544/stat : 14544 (java) S 14504 14504 11952 0 -1 1077944384 1012 0 0 0 24 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118872525680 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14545] ppid=14504 vsize=8414124 memory=7883954021623551847 CPUtime=0 cores=0-7
/proc/14527/task/14545/stat : 14545 (java) S 14504 14504 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140117469554912 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14546] ppid=14504 vsize=8414124 memory=7883954021623551847 CPUtime=0.09 cores=0-7
/proc/14527/task/14546/stat : 14546 (java) S 14504 14504 11952 0 -1 1077944384 11 0 0 0 6 3 0 0 20 0 24 0 419663009 8616062976 29749 33554432000 4194304 4196468 140728771091888 140118871472560 140119985482370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14548] ppid=14504 vsize=8414124 memory=7883954021623551847 CPUtime=0 cores=0-7
/proc/14527/task/14548/stat : 14548 (java) S 14504 14504 11952 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419663086 8616062976 29749 33554432000 4194304 4196468 140728771091888 140119416014016 140119985495833 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14550] ppid=14504 vsize=8414124 memory=7883954021623551847 CPUtime=0 cores=0-7
/proc/14527/task/14550/stat : 14550 (java) S 14504 14504 11952 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419663087 8616062976 29749 33554432000 4194304 4196468 140728771091888 140116798455568 140119985493149 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14551] ppid=14504 vsize=8414124 memory=7883954021623551847 CPUtime=0 cores=0-7
/proc/14527/task/14551/stat : 14551 (java) S 14504 14504 11952 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419663087 8616062976 29749 33554432000 4194304 4196468 140728771091888 140117066891152 140119985493149 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
[pid=14527/tid=14560] ppid=14504 vsize=8414124 memory=7597125501288146797 CPUtime=0 cores=0-7
/proc/14527/task/14560/stat : 14560 (java) S 14504 14504 11952 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419663089 8616062976 29749 33554432000 4194304 4196468 140728771091888 140116530028208 140119985481429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140728771097591 140728771097750 140728771097750 140728771100623 0
Current children cumulated CPU time: 986.89 s
Current children cumulated vsize: 9342632 KiB
Current children cumulated memory: 760816 KiB

[startup+146.301 s]
/proc/loadavg: 5.40 4.81 5.02 2/220 14577
/proc/meminfo: memFree=27506688/32770688 swapFree=66919992/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1476 CPUtime=13.14 cores=0-7
/proc/14504/stat : 14504 (scop.sh) S 14501 14504 11952 0 -1 4202496 583 32134 0 0 0 0 1283 31 20 0 1 0 419662488 115843072 369 33554432000 4194304 5098028 140725989354848 140725989351592 139747190907516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34451456 140725989360421 140725989360748 140725989360748 140725989363661 0
/proc/14504/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 13.14 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 146.305
CPU time (s): 987.085
CPU user time (s): 985.443
CPU system time (s): 1.64247
CPU usage (%): 674.675
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1049976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 985.443
system time used= 1.64247
maximum resident set size= 1051432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19281
involuntary context switches= 9327


# summary of solver processes directly reported to runsolver:
#   pid: 14504
#   total CPU time (s): 987.085
#   total CPU user time (s): 985.443
#   total CPU system time (s): 1.64247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51205 second user time and 2.2172 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 13:09:44
IDJOB=4392447
IDBENCH=134581
IDSOLVER=2838
FILE ID=node120/4392447-1568436562
RUNJOBID= node120-1323945801-11979
PBS_JOBID= 21702313
Free space on /tmp= 61648 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-1_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-4392447-1568436562/watcher-4392447-1568436562 -o /tmp/evaluation-result-4392447-1568436562/solver-4392447-1568436562 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323945801-11979 --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-4392447-1568436562.xml

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

MD5SUM BENCH= a5169531bc56f5bae607e8bf56d35270
RANDOM SEED=937273323

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28253000 kB
MemAvailable:   31826676 kB
Buffers:          199404 kB
Cached:          3679532 kB
SwapCached:        77548 kB
Active:          1105088 kB
Inactive:        2855720 kB
Active(anon):       3704 kB
Inactive(anon):   128168 kB
Active(file):    1101384 kB
Inactive(file):  2727552 kB
Unevictable:      106944 kB
Mlocked:          106944 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             20728 kB
Writeback:             0 kB
AnonPages:        129476 kB
Mapped:            48892 kB
Shmem:             41008 kB
Slab:             150060 kB
SReclaimable:     121148 kB
SUnreclaim:        28912 kB
KernelStack:        3328 kB
PageTables:         5348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     515100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61628 MiB
End job on node120 at 2011-12-15 13:12:11