Trace number 4405307

Some explanations

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

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

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

Solver answer on this benchmark

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

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-7340-serial-file.bin HOME/instance-4405307-1569343001.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 18:36:04 CEST 2019
0.65/0.57	c PID: 7343
0.65/0.57	c IP: 172.20.3.148
0.65/0.57	c HOST: node148.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.06/1.13	c (0,0) Parsing End
2.06/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.06/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.13	c (0,0) Constraint Name Generate Begin
2.06/1.14	c (0,0) Ctr:HOME/instance-4405307-1569343001.xml,ExtensionConflict:ExtensionSupport:Var
2.06/1.14	c (0,0) Constraint Name Generate End
2.06/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.14	c (0,0) CSP to CSPinCNF Begin
3.16/1.64	c (1,1) translated 127 (10%) constraints
3.54/1.75	c (1,1) translated 253 (20%) constraints
3.95/1.83	c (1,1) translated 379 (30%) constraints
3.95/1.89	c (1,1) translated 505 (40%) constraints
4.37/1.95	c (1,1) translated 631 (50%) constraints
4.37/2.00	c (1,1) translated 757 (60%) constraints
5.22/2.14	c (1,1) translated 883 (70%) constraints
5.93/2.39	c (1,1) translated 1009 (80%) constraints
6.34/2.61	c (2,2) translated 1135 (90%) constraints
7.07/2.92	c (2,2) translated 1261 (100%) constraints
7.07/2.92	c (2,2) ===========================================
7.07/2.93	c (2,2) Order
7.07/2.93	c (2,2) ===========================================
7.07/2.99	c (2,2) translated 1883 (10%) constraints
7.51/3.04	c (2,2) translated 3765 (20%) constraints
7.51/3.09	c (2,2) translated 5647 (30%) constraints
7.92/3.14	c (2,2) translated 7529 (40%) constraints
7.92/3.19	c (2,2) translated 9411 (50%) constraints
8.29/3.24	c (2,2) translated 11294 (60%) constraints
8.29/3.28	c (2,2) translated 13176 (70%) constraints
8.68/3.32	c (2,2) translated 15058 (80%) constraints
8.68/3.36	c (2,2) translated 16940 (90%) constraints
8.68/3.39	c (2,2) translated 18822 (100%) constraints
8.68/3.39	c (2,2) CSP to CSPinCNF End
8.68/3.40	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.68/3.40	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.68/3.40	c (2,2) CSPinCNF Propagation Begin
10.14/3.75	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.14/3.75	c (3,3) CSPinCNF Propagation End
10.14/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.14/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.14/3.75	c (3,3) Simplify CSPinCNF Begin
10.44/3.80	c (3,3) Simplify CSPinCNF End
10.44/3.80	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.44/3.80	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.44/3.80	c (3,3) Calculate Precise Domain Begin
10.44/3.80	c (3,3) 0 values are removed by re-calculation
10.44/3.80	c (3,3) Calculate Precise Domain End
10.44/3.80	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.44/3.80	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.44/3.80	c (3,3) CSPinCNF to SatSolver Begin
10.71/3.95	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
11.11/4.01	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.11/4.06	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.11/4.10	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.51/4.14	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.51/4.17	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.51/4.19	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.86/4.21	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.86/4.22	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.86/4.23	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.86/4.23	c (3,3) CSPinCNF to SatSolver End
11.86/4.23	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.86/4.24	c (3,3) 2482 bool, 15697 clause
11.86/4.24	c (3,3) Export Begin
12.06/4.66	c (4,3) Export to HOME/scop-7340-serial-file.bin
12.06/4.66	c (4,3) Export End
12.06/4.66	c (4,3) Export File Size: 0.02 MB
12.06/4.66	c (4,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
12.06/4.66	c END-Prog: Tue Sep 24 18:36:09 CEST 2019
12.06/4.68	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7340-serial-file.bin
12.73/5.13	c (0,0) Read Serial File Begin
12.73/5.13	c (0,0) HOME/scop-7340-serial-file.bin
12.99/5.36	c (0,0) Read Serial File End
12.99/5.37	
12.99/5.37	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.99/5.37	(Solving Process)
12.99/5.37	
12.99/5.39	c BEGIN-Prog: Tue Sep 24 18:36:09 CEST 2019
12.99/5.39	c PID: 7363
12.99/5.39	c IP: 172.20.3.148
12.99/5.39	c HOST: node148.alineos.net
13.18/5.40	c (0,0) SatSolver.solve Begin
13.18/5.40	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405307-1569343001.xml-scop-7343.cnf
13.18/5.42	c (0,0) c
13.18/5.42	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.18/5.42	c (0,0) c
13.18/5.42	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.18/5.42	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.18/5.42	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.18/5.42	c (0,0) c |                                                                                                       |
13.18/5.43	c (0,0) c |  Number of variables:          2480                                                                   |
13.18/5.43	c (0,0) c |  Number of clauses:           15697                                                                   |
13.18/5.43	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.18/5.43	c (0,0) c |                                                                                                       |
13.18/5.43	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.18/5.44	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.18/5.44	c (0,0) c |                                                                                                       |
13.18/5.44	c (0,0) c |  Generating clones                                                                                    |
13.18/5.44	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.18/5.44	c (0,0) c ========================================================================================================|
13.18/5.44	c (0,0) c
13.18/5.44	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.18/5.44	c (0,0) c
13.18/5.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.18/5.44	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.18/5.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.18/5.44	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.18/5.44	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.18/5.44	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.18/5.44	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.18/5.44	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.18/5.44	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.18/5.44	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.18/5.44	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.18/5.44	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.18/5.44	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.18/5.44	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.18/5.44	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.18/5.44	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.18/5.44	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.18/5.44	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.18/5.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
233.85/34.58	c (29,0) c
233.85/34.58	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
233.85/34.58	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
233.85/34.58	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
233.85/34.58	c (29,0) c |  0 |    309 |     561033 |     307903 |     9367 |    40716 |    44780 |   294492 |    16309 |      311 |  20 |  0.847 |
233.85/34.58	c (29,0) c |  1 |    342 |     568988 |     310474 |     9111 |    43289 |    46047 |   294303 |    14190 |      311 |  20 |  0.847 |
233.85/34.58	c (29,0) c |  2 |    355 |     516592 |     276038 |     9057 |    44653 |    42881 |   296435 |    11155 |      310 |  20 |  0.847 |
233.85/34.58	c (29,0) c |  3 |    427 |     548853 |     301628 |     9518 |    70249 |    44602 |   292947 |    14847 |      311 |  20 |  0.848 |
233.85/34.58	c (29,0) c |  4 |    346 |     549568 |     294904 |     9411 |    63524 |    42784 |   289154 |    13516 |      305 |  20 |  0.847 |
233.85/34.58	c (29,0) c |  5 |    372 |     516826 |     283763 |     9018 |    52376 |    40854 |   286260 |    12750 |      291 |  20 |  0.847 |
233.85/34.58	c (29,0) c |  6 |    322 |     512236 |     283081 |     9070 |    51698 |    41548 |   292753 |    10727 |      303 |  20 |  0.847 |
233.85/34.58	c (29,0) c |  7 |    505 |     583013 |     312840 |     9433 |    45651 |    44494 |   295087 |    17322 |      311 |  20 |  0.847 |
233.85/34.58	c (29,0) c 
233.85/34.58	c (29,0) c synthesis     2370631 conflicts   178222958 propagations    10753 conflicts/sec   808392 propagations/sec
233.85/34.58	c (29,0) c real: 29.1558 s, cpu: 220.466 s, memory: 628.91 Mb
427.27/63.58	c (58,0) c
427.27/63.58	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
427.27/63.58	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
427.27/63.58	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
427.27/63.58	c (58,0) c |  0 |    410 |     873557 |     467476 |     9411 |    77292 |    58864 |   410896 |    27371 |      570 |  20 |  0.847 |
427.27/63.58	c (58,0) c |  1 |    413 |     879473 |     474811 |     9295 |    84625 |    62140 |   405202 |    24833 |      565 |  20 |  0.847 |
427.27/63.58	c (58,0) c |  2 |    404 |     823400 |     439765 |     9330 |    49576 |    65350 |   360164 |    20743 |      570 |  20 |  0.847 |
427.27/63.58	c (58,0) c |  3 |    490 |     884212 |     470869 |     9538 |    80687 |    61155 |   400085 |    25431 |      570 |  20 |  0.848 |
427.27/63.58	c (58,0) c |  4 |    434 |     879909 |     463795 |     9498 |    73610 |    61123 |   397631 |    26040 |      570 |  20 |  0.848 |
427.27/63.58	c (58,0) c |  5 |    417 |     793639 |     432951 |     9040 |    86369 |    55637 |   403655 |    20566 |      568 |  20 |  0.847 |
427.27/63.58	c (58,0) c |  6 |    382 |     792384 |     425729 |     9403 |    79143 |    54323 |   395976 |    22874 |      550 |  20 |  0.847 |
427.27/63.58	c (58,0) c |  7 |    612 |     891719 |     474023 |     9484 |    83834 |    59423 |   406944 |    27161 |      570 |  20 |  0.847 |
427.27/63.58	c (58,0) c 
427.27/63.58	c (58,0) c synthesis     3649420 conflicts   273363016 propagations     8829 conflicts/sec   661353 propagations/sec
427.27/63.58	c (58,0) c real: 58.1558 s, cpu: 413.339 s, memory: 664.08 Mb
621.37/92.58	c (87,0) c
621.37/92.58	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
621.37/92.58	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
621.37/92.58	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
621.37/92.58	c (87,0) c |  0 |    449 |    1133309 |     600622 |     9432 |    64038 |    73662 |   500477 |    36285 |      826 |  20 |  0.847 |
621.37/92.58	c (87,0) c |  1 |    459 |    1152428 |     614592 |     9327 |    78006 |    75196 |   498670 |    33136 |      826 |  20 |  0.847 |
621.37/92.58	c (87,0) c |  2 |    444 |    1098334 |     578993 |     9433 |    93811 |    79964 |   491806 |    34526 |      826 |  20 |  0.847 |
621.37/92.58	c (87,0) c |  3 |    548 |    1149230 |     606164 |     9549 |    69583 |    74004 |   500029 |    34934 |      826 |  20 |  0.848 |
621.37/92.58	c (87,0) c |  4 |    567 |    1142481 |     596951 |     9517 |    60359 |    72266 |   499915 |    36576 |      826 |  20 |  0.848 |
621.37/92.58	c (87,0) c |  5 |    473 |    1064338 |     569024 |     9395 |    83838 |    66842 |   505503 |    33959 |      826 |  20 |  0.848 |
621.37/92.58	c (87,0) c |  6 |    547 |    1068651 |     563840 |     9457 |    78658 |    65411 |   502391 |    34200 |      806 |  20 |  0.847 |
621.37/92.58	c (87,0) c |  7 |    660 |    1151996 |     610041 |     9501 |    73447 |    71593 |   500972 |    36643 |      826 |  20 |  0.848 |
621.37/92.58	c (87,0) c 
621.37/92.58	c (87,0) c synthesis     4740227 conflicts   355307861 propagations     7809 conflicts/sec   585367 propagations/sec
621.37/92.58	c (87,0) c real: 87.1556 s, cpu: 606.983 s, memory: 693.82 Mb
811.13/121.58	c (116,0) c
811.13/121.58	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
811.13/121.58	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
811.13/121.58	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
811.13/121.58	c (116,0) c |  0 |    499 |    1358517 |     714265 |     9440 |    66507 |    81431 |   572849 |    43953 |     1074 |  20 |  0.927 |
811.13/121.58	c (116,0) c |  1 |    513 |    1374630 |     727115 |     9349 |    77763 |    85224 |   568491 |    41621 |     1074 |  20 |  0.928 |
811.13/121.58	c (116,0) c |  2 |    454 |    1334810 |     697572 |     9453 |    94753 |    91131 |   563237 |    43955 |     1074 |  20 |  0.928 |
811.13/121.58	c (116,0) c |  3 |    570 |    1353436 |     711095 |     9562 |    49265 |    88389 |   568859 |    40614 |     1074 |  20 |  1.090 |
811.13/121.58	c (116,0) c |  4 |    610 |    1366628 |     710723 |     9530 |    62528 |    82326 |   573326 |    45339 |     1074 |  20 |  0.928 |
811.13/121.58	c (116,0) c |  5 |    520 |    1301656 |     685570 |     9417 |    94989 |    75195 |   569556 |    42977 |     1074 |  20 |  0.847 |
811.13/121.58	c (116,0) c |  6 |    654 |    1297763 |     679589 |     9476 |    89000 |    76798 |   570446 |    42935 |     1054 |  20 |  0.847 |
811.13/121.58	c (116,0) c |  7 |    729 |    1374988 |     723052 |     9514 |    73890 |    81323 |   573414 |    45087 |     1074 |  20 |  0.929 |
811.13/121.58	c (116,0) c 
811.13/121.58	c (116,0) c synthesis     5648982 conflicts   425106679 propagations     7091 conflicts/sec   533653 propagations/sec
811.13/121.58	c (116,0) c real: 116.156 s, cpu: 796.597 s, memory: 723.46 Mb
938.61/142.55	c (137,0) c
938.61/142.55	c (137,0) c real time : 137.132 s
938.61/142.55	c (137,0) c cpu time  : 923.181 s
938.61/142.55	c (137,0) c
938.61/142.55	c (137,0) c
938.61/142.55	c (137,0) c
938.61/142.55	c (137,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
938.61/142.55	c (137,0) c
938.61/142.55	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.55	c (137,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
938.61/142.55	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.55	c (137,0) c | Conflicts     |         6181049 |     775028 |     794961 |     765161 |     777648 |     778618 |     751519 |     750008 |     788106 |
938.61/142.55	c (137,0) c | Decisions     |        11827596 |    1479369 |    1509847 |    1469539 |    1486684 |    1503796 |    1436562 |    1435011 |    1506788 |
938.61/142.55	c (137,0) c | Propagations  |       466767086 |   58184273 |   59283226 |   58181516 |   58550549 |   58899760 |   57436155 |   57317476 |   58914131 |
938.61/142.55	c (137,0) c | ReduceDBs     |             189 |         24 |         24 |         23 |         24 |         24 |         23 |         23 |         24 |
938.61/142.55	c (137,0) c | SimpDBs       |              81 |         11 |          8 |         10 |         10 |         12 |         11 |          8 |         11 |
938.61/142.55	c (137,0) c | Restarts      |            4639 |        507 |        526 |        456 |        597 |        624 |        526 |        666 |        737 |
938.61/142.55	c (137,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
938.61/142.55	c (137,0) c | PropBinClauses|       980539443 |  120180612 |  124451990 |  124539586 |  123665135 |  122059369 |  122309830 |  122162903 |  121170018 |
938.61/142.55	c (137,0) c | PropPreBlocker|     33460031059 | 4221734331 | 4224312131 | 4054178564 | 4163754627 | 4214540953 | 4151437692 | 4214759508 | 4215313253 |
938.61/142.55	c (137,0) c | PropNotBlocker|      5431590802 |  674528057 |  679497575 |  690303498 |  680937624 |  683744067 |  676734558 |  667479798 |  678365625 |
938.61/142.55	c (137,0) c | LitFullScans  |     59225498924 | 7399256949 | 7405172317 | 7405626385 | 7405694841 | 7405568896 | 7399413943 | 7399528305 | 7405237288 |
938.61/142.55	c (137,0) c | LitScanFracts |        11366162 |    1239497 |    1157811 |    1610755 |    1689087 |    1562700 |    1403826 |    1513393 |    1189093 |
938.61/142.55	c (137,0) c | DecisionLevel0|            4740 |        525 |        539 |        474 |        608 |        632 |        537 |        675 |        750 |
938.61/142.55	c (137,0) c | Periods       |            9869 |       1233 |       1234 |       1234 |       1234 |       1234 |       1233 |       1233 |       1234 |
938.61/142.55	c (137,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
938.61/142.55	c (137,0) c | Avg_Trail     |                 |        631 |        631 |        628 |        628 |        627 |        626 |        627 |        639 |
938.61/142.55	c (137,0) c | Avg_DL        |                 |         21 |         21 |         21 |         21 |         21 |         20 |         21 |         22 |
938.61/142.55	c (137,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
938.61/142.55	c (137,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
938.61/142.55	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.55	c (137,0) c | Exported      |          712120 |      86167 |      92187 |      98008 |      93089 |      87926 |      80981 |      84478 |      89284 |
938.61/142.55	c (137,0) c | Imported      |         4903461 |     619162 |     611603 |     607909 |     605320 |     612586 |     618966 |     613128 |     614787 |
938.61/142.55	c (137,0) c | Good          |           14025 |       1808 |       1777 |       1782 |       1685 |       1730 |       1769 |       1721 |       1753 |
938.61/142.55	c (137,0) c | Purge         |         4889436 |     617354 |     609826 |     606127 |     603635 |     610856 |     617197 |     611407 |     613034 |
938.61/142.55	c (137,0) c | Promoted      |          396017 |      49546 |      47357 |      49830 |      50025 |      50601 |      49913 |      48025 |      50720 |
938.61/142.55	c (137,0) c | Remove_Imp    |         3788509 |     474005 |     475484 |     458454 |     488491 |     483639 |     456317 |     471451 |     480668 |
938.61/142.55	c (137,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
938.61/142.55	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.55	c (137,0) c | Unaries       |                 |         18 |         13 |         18 |         11 |          8 |         11 |          9 |         13 |
938.61/142.55	c (137,0) c | Binaries      |                 |        228 |        250 |        264 |        303 |        271 |        232 |        263 |        264 |
938.61/142.55	c (137,0) c | Glues         |                 |        938 |        951 |        973 |       1074 |        991 |        955 |        968 |       1007 |
938.61/142.55	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.55	c (137,0) c | Orig_Seen     |            87 % |       9445 |       9356 |       9470 |       9570 |       9539 |       9422 |       9488 |       9522 |
938.61/142.55	c (137,0) c | Diff Orig seen|                 |      X     | -       89 |         25 |        125 |         94 | -       23 |         43 |         77 |
938.61/142.55	c (137,0) c | Hamming       |            11 % |      X     |        230 |        260 |        317 |        313 |        279 |        280 |        256 |
938.61/142.55	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.55	c (137,0) c | RunningTime   |                 |  105.2  78%|  121.7  90%|  117.7  87%|  102.9  76%|  111.3  82%|  127.1  94%|  136.3  99%|  103.6  76%|
938.61/142.55	c (137,0) c | WaitingTime   |                 |   29.8  22%|   13.5  10%|   17.5  13%|   32.2  24%|   23.8  18%|    8.2   6%|    0.4   0%|   31.5  23%|
938.61/142.55	c (137,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
938.61/142.55	c (137,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%|
938.61/142.55	c (137,0) c | SolvingTime   |                 |  135.4     |  135.5     |  135.5     |  135.5     |  135.5     |  135.6     |  137.0     |  135.5     |
938.61/142.55	c (137,0) c | PropagationTim|                 |  119.0  88%|   96.1  71%|   99.3  73%|  118.7  88%|  111.5  82%|   88.6  65%|   81.4  59%|  119.8  88%|
938.61/142.55	c (137,0) c | AnalysisTime  |                 |   13.0  10%|   36.0  27%|   33.1  24%|   13.3  10%|   20.6  15%|   43.9  32%|   52.5  38%|   12.1   9%|
938.61/142.55	c (137,0) c | ReductionTime |                 |    1.3   1%|    1.3   1%|    1.1   1%|    1.3   1%|    1.2   1%|    1.1   1%|    1.1   1%|    1.4   1%|
938.61/142.55	c (137,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|
938.61/142.56	c (137,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%|
938.61/142.56	c (137,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%|
938.61/142.56	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.56	c (137,0) c
938.61/142.56	c (137,0) c
938.61/142.56	c (137,0) c Threads : 8
938.61/142.56	c (137,0) c Winner : 0
938.61/142.56	c (137,0) c Conflicts_0 : 775028
938.61/142.56	c (137,0) c Conflicts_1 : 794961
938.61/142.56	c (137,0) c Conflicts_2 : 765161
938.61/142.56	c (137,0) c Conflicts_3 : 777648
938.61/142.56	c (137,0) c Conflicts_4 : 778618
938.61/142.56	c (137,0) c Conflicts_5 : 751519
938.61/142.56	c (137,0) c Conflicts_6 : 750008
938.61/142.56	c (137,0) c Conflicts_7 : 788106
938.61/142.56	c (137,0) c Conflicts_total : 6181049
938.61/142.56	c (137,0) c Conflicts_winner : 775028
938.61/142.56	c (137,0) c Decisions_0 : 1479369
938.61/142.56	c (137,0) c Decisions_1 : 1509847
938.61/142.56	c (137,0) c Decisions_2 : 1469539
938.61/142.56	c (137,0) c Decisions_3 : 1486684
938.61/142.56	c (137,0) c Decisions_4 : 1503796
938.61/142.56	c (137,0) c Decisions_5 : 1436562
938.61/142.56	c (137,0) c Decisions_6 : 1435011
938.61/142.56	c (137,0) c Decisions_7 : 1506788
938.61/142.56	c (137,0) c Decisions_total : 11827596
938.61/142.56	c (137,0) c Decisions_winner : 1479369
938.61/142.56	c (137,0) c Propagations_0 : 58184273
938.61/142.56	c (137,0) c Propagations_1 : 59283226
938.61/142.56	c (137,0) c Propagations_2 : 58181516
938.61/142.56	c (137,0) c Propagations_3 : 58550549
938.61/142.56	c (137,0) c Propagations_4 : 58899760
938.61/142.56	c (137,0) c Propagations_5 : 57436155
938.61/142.56	c (137,0) c Propagations_6 : 57317476
938.61/142.56	c (137,0) c Propagations_7 : 58914131
938.61/142.56	c (137,0) c Propagations_total : 466767086
938.61/142.56	c (137,0) c Propagations_winner : 58184273
938.61/142.56	c (137,0) c ReduceDBs_0 : 24
938.61/142.56	c (137,0) c ReduceDBs_1 : 24
938.61/142.56	c (137,0) c ReduceDBs_2 : 23
938.61/142.56	c (137,0) c ReduceDBs_3 : 24
938.61/142.56	c (137,0) c ReduceDBs_4 : 24
938.61/142.56	c (137,0) c ReduceDBs_5 : 23
938.61/142.56	c (137,0) c ReduceDBs_6 : 23
938.61/142.56	c (137,0) c ReduceDBs_7 : 24
938.61/142.56	c (137,0) c ReduceDBs_total : 189
938.61/142.56	c (137,0) c ReduceDBs_winner : 24
938.61/142.56	c (137,0) c SimpDBs_0 : 11
938.61/142.56	c (137,0) c SimpDBs_1 : 8
938.61/142.56	c (137,0) c SimpDBs_2 : 10
938.61/142.56	c (137,0) c SimpDBs_3 : 10
938.61/142.56	c (137,0) c SimpDBs_4 : 12
938.61/142.56	c (137,0) c SimpDBs_5 : 11
938.61/142.56	c (137,0) c SimpDBs_6 : 8
938.61/142.56	c (137,0) c SimpDBs_7 : 11
938.61/142.56	c (137,0) c SimpDBs_total : 81
938.61/142.56	c (137,0) c SimpDBs_winner : 11
938.61/142.56	c (137,0) c Restarts_0 : 507
938.61/142.56	c (137,0) c Restarts_1 : 526
938.61/142.56	c (137,0) c Restarts_2 : 456
938.61/142.56	c (137,0) c Restarts_3 : 597
938.61/142.56	c (137,0) c Restarts_4 : 624
938.61/142.56	c (137,0) c Restarts_5 : 526
938.61/142.56	c (137,0) c Restarts_6 : 666
938.61/142.56	c (137,0) c Restarts_7 : 737
938.61/142.56	c (137,0) c Restarts_total : 4639
938.61/142.56	c (137,0) c Restarts_winner : 507
938.61/142.56	c (137,0) c ForcedImports_0 : 0
938.61/142.56	c (137,0) c ForcedImports_1 : 0
938.61/142.56	c (137,0) c ForcedImports_2 : 0
938.61/142.56	c (137,0) c ForcedImports_3 : 0
938.61/142.56	c (137,0) c ForcedImports_4 : 0
938.61/142.56	c (137,0) c ForcedImports_5 : 0
938.61/142.56	c (137,0) c ForcedImports_6 : 0
938.61/142.56	c (137,0) c ForcedImports_7 : 0
938.61/142.56	c (137,0) c ForcedImports_total : 0
938.61/142.56	c (137,0) c ForcedImports_winner : 0
938.61/142.56	c (137,0) c PropsBinClauses_0 : 120180612
938.61/142.56	c (137,0) c PropsBinClauses_1 : 124451990
938.61/142.56	c (137,0) c PropsBinClauses_2 : 124539586
938.61/142.56	c (137,0) c PropsBinClauses_3 : 123665135
938.61/142.56	c (137,0) c PropsBinClauses_4 : 122059369
938.61/142.56	c (137,0) c PropsBinClauses_5 : 122309830
938.61/142.56	c (137,0) c PropsBinClauses_6 : 122162903
938.61/142.56	c (137,0) c PropsBinClauses_7 : 121170018
938.61/142.56	c (137,0) c PropsBinClauses_total : 980539443
938.61/142.56	c (137,0) c PropsBinClauses_winner : 120180612
938.61/142.56	c (137,0) c PropsPreBlocker_0 : 4221734331
938.61/142.56	c (137,0) c PropsPreBlocker_1 : 4224312131
938.61/142.56	c (137,0) c PropsPreBlocker_2 : 4054178564
938.61/142.56	c (137,0) c PropsPreBlocker_3 : 4163754627
938.61/142.56	c (137,0) c PropsPreBlocker_4 : 4214540953
938.61/142.56	c (137,0) c PropsPreBlocker_5 : 4151437692
938.61/142.56	c (137,0) c PropsPreBlocker_6 : 4214759508
938.61/142.56	c (137,0) c PropsPreBlocker_7 : 4215313253
938.61/142.56	c (137,0) c PropsPreBlocker_total : 33460031059
938.61/142.56	c (137,0) c PropsPreBlocker_winner : 4221734331
938.61/142.56	c (137,0) c PropsNotBlocker_0 : 674528057
938.61/142.56	c (137,0) c PropsNotBlocker_1 : 679497575
938.61/142.56	c (137,0) c PropsNotBlocker_2 : 690303498
938.61/142.56	c (137,0) c PropsNotBlocker_3 : 680937624
938.61/142.56	c (137,0) c PropsNotBlocker_4 : 683744067
938.61/142.56	c (137,0) c PropsNotBlocker_5 : 676734558
938.61/142.56	c (137,0) c PropsNotBlocker_6 : 667479798
938.61/142.56	c (137,0) c PropsNotBlocker_7 : 678365625
938.61/142.56	c (137,0) c PropsNotBlocker_total : 5431590802
938.61/142.56	c (137,0) c PropsNotBlocker_winner : 674528057
938.61/142.56	c (137,0) c PropsLitFullScans_0 : 7399256949
938.61/142.56	c (137,0) c PropsLitFullScans_1 : 7405172317
938.61/142.56	c (137,0) c PropsLitFullScans_2 : 7405626385
938.61/142.56	c (137,0) c PropsLitFullScans_3 : 7405694841
938.61/142.56	c (137,0) c PropsLitFullScans_4 : 7405568896
938.61/142.56	c (137,0) c PropsLitFullScans_5 : 7399413943
938.61/142.56	c (137,0) c PropsLitFullScans_6 : 7399528305
938.61/142.56	c (137,0) c PropsLitFullScans_7 : 7405237288
938.61/142.56	c (137,0) c PropsLitFullScans_total : 59225498924
938.61/142.56	c (137,0) c PropsLitFullScans_winner : 7399256949
938.61/142.56	c (137,0) c LitScanFractions_0 : 1239497
938.61/142.56	c (137,0) c LitScanFractions_1 : 1157811
938.61/142.56	c (137,0) c LitScanFractions_2 : 1610755
938.61/142.56	c (137,0) c LitScanFractions_3 : 1689087
938.61/142.56	c (137,0) c LitScanFractions_4 : 1562700
938.61/142.56	c (137,0) c LitScanFractions_5 : 1403826
938.61/142.56	c (137,0) c LitScanFractions_6 : 1513393
938.61/142.56	c (137,0) c LitScanFractions_7 : 1189093
938.61/142.56	c (137,0) c LitScanFractions_total : 11366162
938.61/142.56	c (137,0) c LitScanFractions_winner : 1239497
938.61/142.56	c (137,0) c DecisionLevel0_0 : 525
938.61/142.56	c (137,0) c DecisionLevel0_1 : 539
938.61/142.56	c (137,0) c DecisionLevel0_2 : 474
938.61/142.56	c (137,0) c DecisionLevel0_3 : 608
938.61/142.56	c (137,0) c DecisionLevel0_4 : 632
938.61/142.56	c (137,0) c DecisionLevel0_5 : 537
938.61/142.56	c (137,0) c DecisionLevel0_6 : 675
938.61/142.56	c (137,0) c DecisionLevel0_7 : 750
938.61/142.56	c (137,0) c DecisionLevel0_total : 4740
938.61/142.56	c (137,0) c DecisionLevel0_winner : 525
938.61/142.56	c (137,0) c Periods_0 : 1233
938.61/142.56	c (137,0) c Periods_1 : 1234
938.61/142.56	c (137,0) c Periods_2 : 1234
938.61/142.56	c (137,0) c Periods_3 : 1234
938.61/142.56	c (137,0) c Periods_4 : 1234
938.61/142.56	c (137,0) c Periods_5 : 1233
938.61/142.56	c (137,0) c Periods_6 : 1233
938.61/142.56	c (137,0) c Periods_7 : 1234
938.61/142.56	c (137,0) c Periods_total : 9869
938.61/142.56	c (137,0) c Periods_winner : 1233
938.61/142.56	c (137,0) c Margin_0 : 20
938.61/142.56	c (137,0) c Margin_1 : 20
938.61/142.56	c (137,0) c Margin_2 : 20
938.61/142.56	c (137,0) c Margin_3 : 20
938.61/142.56	c (137,0) c Margin_4 : 20
938.61/142.56	c (137,0) c Margin_5 : 20
938.61/142.56	c (137,0) c Margin_6 : 20
938.61/142.56	c (137,0) c Margin_7 : 20
938.61/142.56	c (137,0) c Margin_total : 160
938.61/142.56	c (137,0) c Margin_winner : 20
938.61/142.56	c (137,0) c Exported_0 : 86167
938.61/142.56	c (137,0) c Exported_1 : 92187
938.61/142.56	c (137,0) c Exported_2 : 98008
938.61/142.56	c (137,0) c Exported_3 : 93089
938.61/142.56	c (137,0) c Exported_4 : 87926
938.61/142.56	c (137,0) c Exported_5 : 80981
938.61/142.56	c (137,0) c Exported_6 : 84478
938.61/142.56	c (137,0) c Exported_7 : 89284
938.61/142.56	c (137,0) c Exported_total : 712120
938.61/142.56	c (137,0) c Exported_winner : 86167
938.61/142.56	c (137,0) c Imported_0 : 619162
938.61/142.56	c (137,0) c Imported_1 : 611603
938.61/142.56	c (137,0) c Imported_2 : 607909
938.61/142.56	c (137,0) c Imported_3 : 605320
938.61/142.56	c (137,0) c Imported_4 : 612586
938.61/142.56	c (137,0) c Imported_5 : 618966
938.61/142.56	c (137,0) c Imported_6 : 613128
938.61/142.56	c (137,0) c Imported_7 : 614787
938.61/142.56	c (137,0) c Imported_total : 4903461
938.61/142.56	c (137,0) c Imported_winner : 619162
938.61/142.56	c (137,0) c Good_0 : 1808
938.61/142.56	c (137,0) c Good_1 : 1777
938.61/142.56	c (137,0) c Good_2 : 1782
938.61/142.56	c (137,0) c Good_3 : 1685
938.61/142.56	c (137,0) c Good_4 : 1730
938.61/142.56	c (137,0) c Good_5 : 1769
938.61/142.56	c (137,0) c Good_6 : 1721
938.61/142.56	c (137,0) c Good_7 : 1753
938.61/142.56	c (137,0) c Good_total : 14025
938.61/142.56	c (137,0) c Good_winner : 1808
938.61/142.56	c (137,0) c Purge_0 : 617354
938.61/142.56	c (137,0) c Purge_1 : 609826
938.61/142.56	c (137,0) c Purge_2 : 606127
938.61/142.56	c (137,0) c Purge_3 : 603635
938.61/142.56	c (137,0) c Purge_4 : 610856
938.61/142.56	c (137,0) c Purge_5 : 617197
938.61/142.56	c (137,0) c Purge_6 : 611407
938.61/142.56	c (137,0) c Purge_7 : 613034
938.61/142.56	c (137,0) c Purge_total : 4889436
938.61/142.56	c (137,0) c Purge_winner : 617354
938.61/142.56	c (137,0) c Promoted_0 : 49546
938.61/142.56	c (137,0) c Promoted_1 : 47357
938.61/142.56	c (137,0) c Promoted_2 : 49830
938.61/142.56	c (137,0) c Promoted_3 : 50025
938.61/142.56	c (137,0) c Promoted_4 : 50601
938.61/142.56	c (137,0) c Promoted_5 : 49913
938.61/142.56	c (137,0) c Promoted_6 : 48025
938.61/142.56	c (137,0) c Promoted_7 : 50720
938.61/142.56	c (137,0) c Promoted_total : 396017
938.61/142.56	c (137,0) c Promoted_winner : 49546
938.61/142.56	c (137,0) c Remove_Imp_0 : 474005
938.61/142.56	c (137,0) c Remove_Imp_1 : 475484
938.61/142.56	c (137,0) c Remove_Imp_2 : 458454
938.61/142.56	c (137,0) c Remove_Imp_3 : 488491
938.61/142.56	c (137,0) c Remove_Imp_4 : 483639
938.61/142.56	c (137,0) c Remove_Imp_5 : 456317
938.61/142.56	c (137,0) c Remove_Imp_6 : 471451
938.61/142.56	c (137,0) c Remove_Imp_7 : 480668
938.61/142.56	c (137,0) c Remove_Imp_total : 3788509
938.61/142.56	c (137,0) c Remove_Imp_winner : 474005
938.61/142.56	c (137,0) c Blocked_Reuse_0 : 0
938.61/142.56	c (137,0) c Blocked_Reuse_1 : 0
938.61/142.56	c (137,0) c Blocked_Reuse_2 : 0
938.61/142.56	c (137,0) c Blocked_Reuse_3 : 0
938.61/142.56	c (137,0) c Blocked_Reuse_4 : 0
938.61/142.56	c (137,0) c Blocked_Reuse_5 : 0
938.61/142.56	c (137,0) c Blocked_Reuse_6 : 0
938.61/142.56	c (137,0) c Blocked_Reuse_7 : 0
938.61/142.56	c (137,0) c Blocked_Reuse_total : 0
938.61/142.56	c (137,0) c Blocked_Reuse_winner : 0
938.61/142.56	c (137,0) c Unaries_0 : 18
938.61/142.56	c (137,0) c Unaries_1 : 13
938.61/142.56	c (137,0) c Unaries_2 : 18
938.61/142.56	c (137,0) c Unaries_3 : 11
938.61/142.56	c (137,0) c Unaries_4 : 8
938.61/142.56	c (137,0) c Unaries_5 : 11
938.61/142.56	c (137,0) c Unaries_6 : 9
938.61/142.56	c (137,0) c Unaries_7 : 13
938.61/142.56	c (137,0) c Unaries_total : 101
938.61/142.56	c (137,0) c Unaries_winner : 18
938.61/142.56	c (137,0) c Binaries_0 : 228
938.61/142.56	c (137,0) c Binaries_1 : 250
938.61/142.56	c (137,0) c Binaries_2 : 264
938.61/142.56	c (137,0) c Binaries_3 : 303
938.61/142.56	c (137,0) c Binaries_4 : 271
938.61/142.56	c (137,0) c Binaries_5 : 232
938.61/142.56	c (137,0) c Binaries_6 : 263
938.61/142.56	c (137,0) c Binaries_7 : 264
938.61/142.56	c (137,0) c Binaries_total : 2075
938.61/142.56	c (137,0) c Binaries_winner : 228
938.61/142.56	c (137,0) c Glues_0 : 938
938.61/142.56	c (137,0) c Glues_1 : 951
938.61/142.56	c (137,0) c Glues_2 : 973
938.61/142.56	c (137,0) c Glues_3 : 1074
938.61/142.56	c (137,0) c Glues_4 : 991
938.61/142.56	c (137,0) c Glues_5 : 955
938.61/142.56	c (137,0) c Glues_6 : 968
938.61/142.56	c (137,0) c Glues_7 : 1007
938.61/142.56	c (137,0) c Glues_total : 7857
938.61/142.56	c (137,0) c Glues_winner : 938
938.61/142.56	c (137,0) c RunningTime_0 : 105.244978
938.61/142.56	c (137,0) c RunningTime_1 : 121.689999
938.61/142.56	c (137,0) c RunningTime_2 : 117.655695
938.61/142.56	c (137,0) c RunningTime_3 : 102.874597
938.61/142.56	c (137,0) c RunningTime_4 : 111.349195
938.61/142.56	c (137,0) c RunningTime_5 : 127.067141
938.61/142.56	c (137,0) c RunningTime_6 : 136.284139
938.61/142.56	c (137,0) c RunningTime_7 : 103.566067
938.61/142.56	c (137,0) c RunningTime_total : 925.731811
938.61/142.56	c (137,0) c RunningTime_winner : 105.244978
938.61/142.56	c (137,0) c WaitingTime_0 : 29.816080
938.61/142.56	c (137,0) c WaitingTime_1 : 13.457015
938.61/142.56	c (137,0) c WaitingTime_2 : 17.483244
938.61/142.56	c (137,0) c WaitingTime_3 : 32.221388
938.61/142.56	c (137,0) c WaitingTime_4 : 23.764075
938.61/142.56	c (137,0) c WaitingTime_5 : 8.225135
938.61/142.56	c (137,0) c WaitingTime_6 : 0.403849
938.61/142.56	c (137,0) c WaitingTime_7 : 31.536328
938.61/142.56	c (137,0) c WaitingTime_total : 156.907113
938.61/142.56	c (137,0) c WaitingTime_winner : 29.816080
938.61/142.56	c (137,0) c ExchangingTime_0 : 0.345230
938.61/142.56	c (137,0) c ExchangingTime_1 : 0.315981
938.61/142.56	c (137,0) c ExchangingTime_2 : 0.325405
938.61/142.56	c (137,0) c ExchangingTime_3 : 0.352697
938.61/142.56	c (137,0) c ExchangingTime_4 : 0.328246
938.61/142.56	c (137,0) c ExchangingTime_5 : 0.308298
938.61/142.56	c (137,0) c ExchangingTime_6 : 0.331522
938.61/142.56	c (137,0) c ExchangingTime_7 : 0.347816
938.61/142.56	c (137,0) c ExchangingTime_total : 2.655196
938.61/142.56	c (137,0) c ExchangingTime_winner : 0.345230
938.61/142.56	c (137,0) c PeriodProcTime_0 : 0.011772
938.61/142.56	c (137,0) c PeriodProcTime_1 : 0.010534
938.61/142.56	c (137,0) c PeriodProcTime_2 : 0.011443
938.61/142.56	c (137,0) c PeriodProcTime_3 : 0.011960
938.61/142.56	c (137,0) c PeriodProcTime_4 : 0.011064
938.61/142.56	c (137,0) c PeriodProcTime_5 : 0.012959
938.61/142.56	c (137,0) c PeriodProcTime_6 : 0.017026
938.61/142.56	c (137,0) c PeriodProcTime_7 : 0.011988
938.61/142.56	c (137,0) c PeriodProcTime_total : 0.098746
938.61/142.56	c (137,0) c PeriodProcTime_winner : 0.011772
938.61/142.56	c (137,0) c SolvingTime_0 : 135.418060
938.61/142.56	c (137,0) c SolvingTime_1 : 135.473529
938.61/142.56	c (137,0) c SolvingTime_2 : 135.475788
938.61/142.56	c (137,0) c SolvingTime_3 : 135.460641
938.61/142.56	c (137,0) c SolvingTime_4 : 135.452579
938.61/142.56	c (137,0) c SolvingTime_5 : 135.613533
938.61/142.56	c (137,0) c SolvingTime_6 : 137.036536
938.61/142.56	c (137,0) c SolvingTime_7 : 135.462200
938.61/142.56	c (137,0) c SolvingTime_total : 1085.392866
938.61/142.56	c (137,0) c SolvingTime_winner : 135.418060
938.61/142.56	c (137,0) c PropagationTime_0 : 118.957510
938.61/142.56	c (137,0) c PropagationTime_1 : 96.143324
938.61/142.56	c (137,0) c PropagationTime_2 : 99.261496
938.61/142.56	c (137,0) c PropagationTime_3 : 118.696834
938.61/142.56	c (137,0) c PropagationTime_4 : 111.516402
938.61/142.56	c (137,0) c PropagationTime_5 : 88.575992
938.61/142.56	c (137,0) c PropagationTime_6 : 81.441063
938.61/142.56	c (137,0) c PropagationTime_7 : 119.774639
938.61/142.56	c (137,0) c PropagationTime_total : 834.367261
938.61/142.56	c (137,0) c PropagationTime_winner : 118.957510
938.61/142.56	c (137,0) c AnalysisTime_0 : 13.035788
938.61/142.56	c (137,0) c AnalysisTime_1 : 35.962573
938.61/142.56	c (137,0) c AnalysisTime_2 : 33.099205
938.61/142.56	c (137,0) c AnalysisTime_3 : 13.281521
938.61/142.56	c (137,0) c AnalysisTime_4 : 20.589642
938.61/142.56	c (137,0) c AnalysisTime_5 : 43.878357
938.61/142.56	c (137,0) c AnalysisTime_6 : 52.544563
938.61/142.56	c (137,0) c AnalysisTime_7 : 12.098197
938.61/142.56	c (137,0) c AnalysisTime_total : 224.489847
938.61/142.56	c (137,0) c AnalysisTime_winner : 13.035788
938.61/142.56	c (137,0) c ReductionTime_0 : 1.326227
938.61/142.56	c (137,0) c ReductionTime_1 : 1.286979
938.61/142.56	c (137,0) c ReductionTime_2 : 1.083199
938.61/142.56	c (137,0) c ReductionTime_3 : 1.314576
938.61/142.56	c (137,0) c ReductionTime_4 : 1.240320
938.61/142.56	c (137,0) c ReductionTime_5 : 1.145735
938.61/142.56	c (137,0) c ReductionTime_6 : 1.091100
938.61/142.56	c (137,0) c ReductionTime_7 : 1.419253
938.61/142.56	c (137,0) c ReductionTime_total : 9.907389
938.61/142.56	c (137,0) c ReductionTime_winner : 1.326227
938.61/142.56	c (137,0) c SimplifyTime_0 : 0.089088
938.61/142.56	c (137,0) c SimplifyTime_1 : 0.098255
938.61/142.56	c (137,0) c SimplifyTime_2 : 0.049709
938.61/142.56	c (137,0) c SimplifyTime_3 : 0.143886
938.61/142.56	c (137,0) c SimplifyTime_4 : 0.087240
938.61/142.56	c (137,0) c SimplifyTime_5 : 0.079679
938.61/142.56	c (137,0) c SimplifyTime_6 : 0.026355
938.61/142.56	c (137,0) c SimplifyTime_7 : 0.085778
938.61/142.56	c (137,0) c SimplifyTime_total : 0.659989
938.61/142.56	c (137,0) c SimplifyTime_winner : 0.089088
938.61/142.56	c (137,0) c UsedRateTime_0 : 0.000000
938.61/142.56	c (137,0) c UsedRateTime_1 : 0.000000
938.61/142.56	c (137,0) c UsedRateTime_2 : 0.000000
938.61/142.56	c (137,0) c UsedRateTime_3 : 0.000000
938.61/142.56	c (137,0) c UsedRateTime_4 : 0.000000
938.61/142.56	c (137,0) c UsedRateTime_5 : 0.000000
938.61/142.56	c (137,0) c UsedRateTime_6 : 0.000000
938.61/142.56	c (137,0) c UsedRateTime_7 : 0.000000
938.61/142.56	c (137,0) c UsedRateTime_total : 0.000000
938.61/142.57	c (137,0) c UsedRateTime_winner : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_0 : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_1 : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_2 : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_3 : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_4 : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_5 : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_6 : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_7 : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_total : 0.000000
938.61/142.57	c (137,0) c OverlapRateTime_winner : 0.000000
938.61/142.57	c (137,0) c
938.61/142.57	c (137,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
938.61/142.57	c (137,0) c
938.61/142.57	c (137,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.57	c (137,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
938.61/142.57	c (137,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.57	c (137,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
938.61/142.57	c (137,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
938.61/142.57	c (137,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
938.61/142.57	c (137,0) c | Initial random_seed   | 2145371359 |  250064238 |  788797375 |  598775280 | 1099213163 |   99748497 | 1738580459 |  636266718 |
938.61/142.57	c (137,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
938.61/142.57	c (137,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
938.61/142.57	c (137,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
938.61/142.57	c (137,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
938.61/142.57	c (137,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
938.61/142.57	c (137,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
938.61/142.57	c (137,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
938.61/142.57	c (137,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
938.61/142.57	c (137,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
938.61/142.57	c (137,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
938.61/142.57	c (137,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
938.61/142.57	c (137,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.61/142.57	c (137,0) 
938.61/142.57	c (137,0) s UNSATISFIABLE
938.61/142.58	c (137,0) SatSolver.solve End
938.61/142.58	c (137,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
938.61/142.58	c (137,0) Show results Begin
938.61/142.58	s UNSATISFIABLE
938.61/142.58	c (137,0) Show results End
938.61/142.58	c (137,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
938.61/142.58	c (137,0) 137,137,STOP-AFTER(ALL)
938.61/142.58	c END-Prog: Tue Sep 24 18:38:27 CEST 2019

Verifier Data


Watcher Data 

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

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

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

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

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

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

solver pid=7340, runsolver pid=7337

[startup+0.100136 s]*
/proc/loadavg: 6.09 6.97 6.94 2/211 7362
/proc/meminfo: memFree=25460096/32770624 swapFree=67002552/67108860
[pid=7340] ppid=7337 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7340/stat : 7340 (scop.sh) S 7337 7340 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510461657 115843072 349 33554432000 4194304 5098028 140736195305280 140736195302536 140420614025852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8634368 140736195310373 140736195310700 140736195310700 140736195313613 0
/proc/7340/statm: 28282 349 296 221 0 87 0
[pid=7343] ppid=7340 vsize=27314120 memory=107100 CPUtime=0.1 cores=0-7
/proc/7343/stat : 7343 (java) S 7340 7340 5615 0 -1 1077944320 6391 0 0 0 8 2 0 0 20 0 20 0 510461657 27969658880 26775 33554432000 4194304 4196468 140727171943760 140727171926304 139674699714295 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
/proc/7343/statm: 6828530 26775 2771 1 0 6790935 0
[pid=7343/tid=7344] ppid=7340 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/7343/task/7344/stat : 7344 (java) R 7340 7340 5615 0 -1 4202560 4496 0 0 0 7 2 0 0 20 0 20 0 510461658 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674671532672 139674699736221 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7345] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7345/stat : 7345 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674703956240 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7346] ppid=7340 vsize=27314120 memory=15677688746149528 CPUtime=0 cores=0-7
/proc/7343/task/7346/stat : 7346 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674487351696 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7347] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7347/stat : 7347 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674486299152 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7348] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7348/stat : 7348 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674485246608 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7349] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7349/stat : 7349 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674119035664 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7350] ppid=7340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7343/task/7350/stat : 7350 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674117983120 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7351] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7351/stat : 7351 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674116930576 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7352] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7352/stat : 7352 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 26840 33554432000 4194304 4196468 140727171943760 139674115878032 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7353] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7353/stat : 7353 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 26840 33554432000 4194304 4196468 140727171943760 139673086154736 139674699725442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7354] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7354/stat : 7354 (java) S 7340 7340 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 26840 33554432000 4194304 4196468 140727171943760 139672672002976 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7355] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7355/stat : 7355 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 26840 33554432000 4194304 4196468 140727171943760 139672403567600 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7356] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7356/stat : 7356 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 26840 33554432000 4194304 4196468 140727171943760 139672029059280 139674699732891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7357] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7357/stat : 7357 (java) S 7340 7340 5615 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 26840 33554432000 4194304 4196468 140727171943760 139673085102576 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7358] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7358/stat : 7358 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 26840 33554432000 4194304 4196468 140727171943760 139673084050032 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7359] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7359/stat : 7359 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 26840 33554432000 4194304 4196468 140727171943760 139673082997488 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7360] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7360/stat : 7360 (java) S 7340 7340 5615 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 26840 33554432000 4194304 4196468 140727171943760 139673081944944 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7361] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7361/stat : 7361 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 26840 33554432000 4194304 4196468 140727171943760 139671531153632 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7362] ppid=7340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7343/task/7362/stat : 7362 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 26840 33554432000 4194304 4196468 140727171943760 139673080891824 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108496 KiB

[startup+0.210196 s]*
/proc/loadavg: 6.09 6.97 6.94 3/211 7362
/proc/meminfo: memFree=25439792/32770624 swapFree=67002552/67108860
[pid=7340] ppid=7337 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7340/stat : 7340 (scop.sh) S 7337 7340 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510461657 115843072 349 33554432000 4194304 5098028 140736195305280 140736195302536 140420614025852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8634368 140736195310373 140736195310700 140736195310700 140736195313613 0
/proc/7340/statm: 28282 349 296 221 0 87 0
[pid=7343] ppid=7340 vsize=27314120 memory=126480 CPUtime=0.24 cores=0-7
/proc/7343/stat : 7343 (java) S 7340 7340 5615 0 -1 1077944320 12020 0 0 0 20 4 0 0 20 0 20 0 510461657 27969658880 31620 33554432000 4194304 4196468 140727171943760 140727171926304 139674699714295 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
/proc/7343/statm: 6828530 31620 2941 1 0 6790935 0
[pid=7343/tid=7344] ppid=7340 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/7343/task/7344/stat : 7344 (java) R 7340 7340 5615 0 -1 4202560 9743 0 0 0 16 3 0 0 20 0 20 0 510461658 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674671537872 139674681277855 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7345] ppid=7340 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/7343/task/7345/stat : 7345 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674703956240 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7346] ppid=7340 vsize=27314120 memory=140269967713328 CPUtime=0 cores=0-7
/proc/7343/task/7346/stat : 7346 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674487351696 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7347] ppid=7340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7343/task/7347/stat : 7347 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674486299152 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7348] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7348/stat : 7348 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674485246608 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7349] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7349/stat : 7349 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674119035664 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7350] ppid=7340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7343/task/7350/stat : 7350 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674117983120 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7351] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7351/stat : 7351 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674116930576 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7352] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7352/stat : 7352 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 31620 33554432000 4194304 4196468 140727171943760 139674115878032 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7353] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7353/stat : 7353 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 31620 33554432000 4194304 4196468 140727171943760 139673086154736 139674699725442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7354] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7354/stat : 7354 (java) S 7340 7340 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 31620 33554432000 4194304 4196468 140727171943760 139672672002976 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7355] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7355/stat : 7355 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 31620 33554432000 4194304 4196468 140727171943760 139672403567600 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7356] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7356/stat : 7356 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 31620 33554432000 4194304 4196468 140727171943760 139672029059280 139674699732891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7357] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7357/stat : 7357 (java) S 7340 7340 5615 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 31620 33554432000 4194304 4196468 140727171943760 139673085102576 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7358] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7358/stat : 7358 (java) S 7340 7340 5615 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 31620 33554432000 4194304 4196468 140727171943760 139673084050032 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7359] ppid=7340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7343/task/7359/stat : 7359 (java) S 7340 7340 5615 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 31620 33554432000 4194304 4196468 140727171943760 139673082997488 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7360] ppid=7340 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7343/task/7360/stat : 7360 (java) S 7340 7340 5615 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 510461665 27969658880 31620 33554432000 4194304 4196468 140727171943760 139673081944944 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7361] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7361/stat : 7361 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 31620 33554432000 4194304 4196468 140727171943760 139671531153632 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7362] ppid=7340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7343/task/7362/stat : 7362 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 31620 33554432000 4194304 4196468 140727171943760 139673080891824 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127876 KiB

[startup+0.309381 s]*
/proc/loadavg: 6.09 6.97 6.94 2/211 7362
/proc/meminfo: memFree=25437300/32770624 swapFree=67002552/67108860
[pid=7340] ppid=7337 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7340/stat : 7340 (scop.sh) S 7337 7340 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510461657 115843072 349 33554432000 4194304 5098028 140736195305280 140736195302536 140420614025852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8634368 140736195310373 140736195310700 140736195310700 140736195313613 0
/proc/7340/statm: 28282 349 296 221 0 87 0
[pid=7343] ppid=7340 vsize=27314120 memory=129824 CPUtime=0.41 cores=0-7
/proc/7343/stat : 7343 (java) S 7340 7340 5615 0 -1 1077944320 12364 0 0 0 37 4 0 0 20 0 20 0 510461657 27969658880 32456 33554432000 4194304 4196468 140727171943760 140727171926304 139674699714295 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
/proc/7343/statm: 6828530 32456 2973 1 0 6790935 0
[pid=7343/tid=7344] ppid=7340 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/7343/task/7344/stat : 7344 (java) R 7340 7340 5615 0 -1 4202560 9924 0 0 0 26 3 0 0 20 0 20 0 510461658 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674671508400 139674699726230 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7345] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7345/stat : 7345 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674703956240 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7346] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7346/stat : 7346 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674487351696 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7347] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7347/stat : 7347 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674486299152 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7348] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7348/stat : 7348 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674485246608 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7349] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7349/stat : 7349 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674119035664 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7350] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7350/stat : 7350 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674117983120 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7351] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7351/stat : 7351 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674116930576 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7352] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7352/stat : 7352 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27969658880 32456 33554432000 4194304 4196468 140727171943760 139674115878032 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7353] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7353/stat : 7353 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 32456 33554432000 4194304 4196468 140727171943760 139673086154736 139674699725442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7354] ppid=7340 vsize=27314120 memory=280539613568384 CPUtime=0 cores=0-7
/proc/7343/task/7354/stat : 7354 (java) S 7340 7340 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 32456 33554432000 4194304 4196468 140727171943760 139672672002976 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7355] ppid=7340 vsize=27314120 memory=280539613572992 CPUtime=0 cores=0-7
/proc/7343/task/7355/stat : 7355 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461662 27969658880 32456 33554432000 4194304 4196468 140727171943760 139672403567600 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7356] ppid=7340 vsize=27314120 memory=280539613577600 CPUtime=0 cores=0-7
/proc/7343/task/7356/stat : 7356 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 32456 33554432000 4194304 4196468 140727171943760 139672029059280 139674699732891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7357] ppid=7340 vsize=27314120 memory=280539613582208 CPUtime=0.01 cores=0-7
/proc/7343/task/7357/stat : 7357 (java) R 7340 7340 5615 0 -1 4202560 389 0 0 0 1 0 0 0 20 0 20 0 510461665 27969658880 32456 33554432000 4194304 4196468 140727171943760 139673085102576 139674699726230 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7358] ppid=7340 vsize=27314120 memory=280539613586816 CPUtime=0 cores=0-7
/proc/7343/task/7358/stat : 7358 (java) S 7340 7340 5615 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 32456 33554432000 4194304 4196468 140727171943760 139673084050032 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7359] ppid=7340 vsize=27314120 memory=280539613591424 CPUtime=0.01 cores=0-7
/proc/7343/task/7359/stat : 7359 (java) S 7340 7340 5615 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 20 0 510461665 27969658880 32456 33554432000 4194304 4196468 140727171943760 139673082997488 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7360] ppid=7340 vsize=27314120 memory=280539613596032 CPUtime=0.07 cores=0-7
/proc/7343/task/7360/stat : 7360 (java) S 7340 7340 5615 0 -1 1077944384 471 0 0 0 7 0 0 0 20 0 20 0 510461665 27969658880 32456 33554432000 4194304 4196468 140727171943760 139673081944944 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7361] ppid=7340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7361/stat : 7361 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 32456 33554432000 4194304 4196468 140727171943760 139671531153632 139674699724501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7362] ppid=7340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7343/task/7362/stat : 7362 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461665 27969658880 32456 33554432000 4194304 4196468 140727171943760 139673080891824 139674699725442 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131220 KiB

[startup+0.700878 s]
/proc/loadavg: 6.09 6.97 6.94 2/211 7362
/proc/meminfo: memFree=25416464/32770624 swapFree=67002552/67108860
[pid=7340] ppid=7337 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7340/stat : 7340 (scop.sh) S 7337 7340 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510461657 115843072 349 33554432000 4194304 5098028 140736195305280 140736195302536 140420614025852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8634368 140736195310373 140736195310700 140736195310700 140736195313613 0
/proc/7340/statm: 28282 349 296 221 0 87 0
[pid=7343] ppid=7340 vsize=27320392 memory=167008 CPUtime=0.98 cores=0-7
/proc/7343/stat : 7343 (java) S 7340 7340 5615 0 -1 1077944320 19859 0 0 0 91 7 0 0 20 0 20 0 510461657 27976081408 41752 33554432000 4194304 4196468 140727171943760 140727171926304 139674699714295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
/proc/7343/statm: 6830098 41752 3180 1 0 6791447 0
[pid=7343/tid=7344] ppid=7340 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/7343/task/7344/stat : 7344 (java) R 7340 7340 5615 0 -1 4202560 16842 0 0 0 62 5 0 0 20 0 20 0 510461658 27976081408 41752 33554432000 4194304 4196468 140727171943760 139674671551632 139674699726230 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7345] ppid=7340 vsize=27320392 memory=140269806986112 CPUtime=0 cores=0-7
/proc/7343/task/7345/stat : 7345 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27976081408 41752 33554432000 4194304 4196468 140727171943760 139674703956240 139674699724501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7346] ppid=7340 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7343/task/7346/stat : 7346 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510461660 27976081408 41752 33554432000 4194304 4196468 140727171943760 139674487351696 139674699724501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0
[pid=7343/tid=7347] ppid=7340 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/7343/task/7347/stat : 7347 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510461660 27976081408 41752 33554432000 4194304 4196468 140727171943760 139674486299152 139674699724501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727171945196 140727171945622 140727171945622 140727171948495 0

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

[pid=7363/tid=7373] ppid=7340 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/7363/task/7373/stat : 7373 (java) S 7340 7340 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510462128 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689133619696 139690040183426 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7374] ppid=7340 vsize=8414124 memory=615616 CPUtime=0 cores=0-7
/proc/7363/task/7374/stat : 7374 (java) S 7340 7340 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510462129 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688711021984 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7375] ppid=7340 vsize=8414124 memory=-6237260532469557610 CPUtime=0 cores=0-7
/proc/7363/task/7375/stat : 7375 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462129 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688442586608 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7376] ppid=7340 vsize=8414124 memory=-4059589565078923626 CPUtime=0 cores=0-7
/proc/7363/task/7376/stat : 7376 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688068078288 139690040190875 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7377] ppid=7340 vsize=8414124 memory=-7595718148000617571 CPUtime=0.07 cores=0-7
/proc/7363/task/7377/stat : 7377 (java) S 7340 7340 5615 0 -1 1077944384 622 0 0 0 7 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689132566512 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7378] ppid=7340 vsize=8414124 memory=7814418672631703147 CPUtime=0.06 cores=0-7
/proc/7363/task/7378/stat : 7378 (java) S 7340 7340 5615 0 -1 1077944384 205 0 0 0 6 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689131513968 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7379] ppid=7340 vsize=8414124 memory=7740124685044834919 CPUtime=0.07 cores=0-7
/proc/7363/task/7379/stat : 7379 (java) S 7340 7340 5615 0 -1 1077944384 370 0 0 0 7 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689130461424 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7380] ppid=7340 vsize=8414124 memory=7686721470284208282 CPUtime=0.22 cores=0-7
/proc/7363/task/7380/stat : 7380 (java) S 7340 7340 5615 0 -1 1077944384 780 0 0 0 22 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689129408880 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7381] ppid=7340 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/7363/task/7381/stat : 7381 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510462132 8616062976 30367 33554432000 4194304 4196468 140736531597136 139687570172640 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7382] ppid=7340 vsize=8414124 memory=1398722017469774279 CPUtime=0.12 cores=0-7
/proc/7363/task/7382/stat : 7382 (java) S 7340 7340 5615 0 -1 1077944384 11 0 0 0 6 6 0 0 20 0 24 0 510462132 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689128356784 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7384] ppid=7340 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7363/task/7384/stat : 7384 (java) S 7340 7340 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510462199 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689120323264 139690040196889 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7386] ppid=7340 vsize=8414124 memory=-1161699032756030039 CPUtime=0 cores=0-7
/proc/7363/task/7386/stat : 7386 (java) S 7340 7340 5615 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510462200 8616062976 30367 33554432000 4194304 4196468 140736531597136 139686899072272 139690040194205 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7387] ppid=7340 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/7363/task/7387/stat : 7387 (java) S 7340 7340 5615 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510462200 8616062976 30367 33554432000 4194304 4196468 140736531597136 139687167507856 139690040194205 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7394] ppid=7340 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/7363/task/7394/stat : 7394 (java) S 7340 7340 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510462202 8616062976 30367 33554432000 4194304 4196468 140736531597136 139686630644912 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
Current children cumulated CPU time: 938.12 s
Current children cumulated vsize: 9347560 KiB
Current children cumulated memory: 768740 KiB

[startup+142.401 s]
/proc/loadavg: 6.36 6.81 6.88 2/217 7404
/proc/meminfo: memFree=24802188/32770624 swapFree=67002552/67108860
[pid=7340] ppid=7337 vsize=113128 memory=1476 CPUtime=12.17 cores=0-7
/proc/7340/stat : 7340 (scop.sh) S 7337 7340 5615 0 -1 4202496 582 31394 0 0 0 0 1188 29 20 0 1 0 510461657 115843072 369 33554432000 4194304 5098028 140736195305280 140736195302024 140420614025852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8634368 140736195310373 140736195310700 140736195310700 140736195313613 0
/proc/7340/statm: 28282 369 311 221 0 87 0
[pid=7363] ppid=7340 vsize=8414124 memory=121468 CPUtime=1.32 cores=0-7
/proc/7363/stat : 7363 (java) S 7340 7340 5615 0 -1 1077944320 20368 0 0 0 125 7 0 0 20 0 24 0 510462125 8616062976 30367 33554432000 4194304 4196468 140736531597136 140736531579680 139690040172279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
/proc/7363/statm: 2103531 30367 3203 1 0 2064875 0
[pid=7383] ppid=7363 vsize=820308 memory=645796 CPUtime=925.02 cores=0-7
/proc/7383/stat : 7383 (manyglucose-4.1) S 7363 7340 5615 0 -1 1077944320 1130678 0 0 0 92302 200 0 0 20 0 2 0 510462199 839995392 161449 33554432000 4194304 4454172 140736659726704 140736659725088 139887423667959 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 8974336 140736659731306 140736659731504 140736659731504 140736659734458 0
/proc/7383/statm: 205077 161449 419 64 0 200745 0
[pid=7383/tid=7395] ppid=7363 vsize=820308 memory=1476 CPUtime=136.43 cores=0-7
/proc/7383/task/7395/stat : 7395 (manyglucose-4.1) R 7363 7340 5615 0 -1 4202560 151265 0 0 0 13615 28 0 0 20 0 2 0 510462202 839995392 161449 33554432000 4194304 4454172 140736659726704 139887017716872 4333329 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 8974336 140736659731306 140736659731504 140736659731504 140736659734458 0
[pid=7363/tid=7364] ppid=7340 vsize=8414124 memory=121468 CPUtime=0.77 cores=0-7
/proc/7363/task/7364/stat : 7364 (java) S 7340 7340 5615 0 -1 1077944384 16982 0 0 0 72 5 0 0 20 0 24 0 510462126 8616062976 30367 33554432000 4194304 4196468 140736531597136 139690012012448 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7365] ppid=7340 vsize=8414124 memory=7686721470284208282 CPUtime=0 cores=0-7
/proc/7363/task/7365/stat : 7365 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139690044414736 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7366] ppid=7340 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/7363/task/7366/stat : 7366 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689852976016 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7367] ppid=7340 vsize=8414124 memory=16099269136353912 CPUtime=0 cores=0-7
/proc/7363/task/7367/stat : 7367 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689524714512 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7368] ppid=7340 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/7363/task/7368/stat : 7368 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689523661968 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7369] ppid=7340 vsize=8414124 memory=3588 CPUtime=0 cores=0-7
/proc/7363/task/7369/stat : 7369 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689522608400 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7370] ppid=7340 vsize=8414124 memory=63368 CPUtime=0 cores=0-7
/proc/7363/task/7370/stat : 7370 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689521555856 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7371] ppid=7340 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7363/task/7371/stat : 7371 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689520503312 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7372] ppid=7340 vsize=8414124 memory=1940 CPUtime=0 cores=0-7
/proc/7363/task/7372/stat : 7372 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689519450768 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7373] ppid=7340 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/7363/task/7373/stat : 7373 (java) S 7340 7340 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510462128 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689133619696 139690040183426 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7374] ppid=7340 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7363/task/7374/stat : 7374 (java) S 7340 7340 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510462129 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688711021984 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7375] ppid=7340 vsize=8414124 memory=121468 CPUtime=0 cores=0-7
/proc/7363/task/7375/stat : 7375 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462129 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688442586608 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7376] ppid=7340 vsize=8414124 memory=645796 CPUtime=0 cores=0-7
/proc/7363/task/7376/stat : 7376 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688068078288 139690040190875 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7377] ppid=7340 vsize=8414124 memory=121468 CPUtime=0.07 cores=0-7
/proc/7363/task/7377/stat : 7377 (java) S 7340 7340 5615 0 -1 1077944384 622 0 0 0 7 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689132566512 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7378] ppid=7340 vsize=8414124 memory=643756 CPUtime=0.06 cores=0-7
/proc/7363/task/7378/stat : 7378 (java) S 7340 7340 5615 0 -1 1077944384 205 0 0 0 6 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689131513968 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7379] ppid=7340 vsize=8414124 memory=1736 CPUtime=0.07 cores=0-7
/proc/7363/task/7379/stat : 7379 (java) S 7340 7340 5615 0 -1 1077944384 370 0 0 0 7 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689130461424 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7380] ppid=7340 vsize=8414124 memory=1398722017469774279 CPUtime=0.22 cores=0-7
/proc/7363/task/7380/stat : 7380 (java) S 7340 7340 5615 0 -1 1077944384 780 0 0 0 22 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689129408880 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7381] ppid=7340 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/7363/task/7381/stat : 7381 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510462132 8616062976 30367 33554432000 4194304 4196468 140736531597136 139687570172640 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7382] ppid=7340 vsize=8414124 memory=111632 CPUtime=0.12 cores=0-7
/proc/7363/task/7382/stat : 7382 (java) S 7340 7340 5615 0 -1 1077944384 11 0 0 0 6 6 0 0 20 0 24 0 510462132 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689128356784 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7384] ppid=7340 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/7363/task/7384/stat : 7384 (java) S 7340 7340 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510462199 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689120323264 139690040196889 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7386] ppid=7340 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/7363/task/7386/stat : 7386 (java) S 7340 7340 5615 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510462200 8616062976 30367 33554432000 4194304 4196468 140736531597136 139686899072272 139690040194205 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7387] ppid=7340 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/7363/task/7387/stat : 7387 (java) S 7340 7340 5615 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510462200 8616062976 30367 33554432000 4194304 4196468 140736531597136 139687167507856 139690040194205 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7394] ppid=7340 vsize=8414124 memory=4472 CPUtime=0 cores=0-7
/proc/7363/task/7394/stat : 7394 (java) S 7340 7340 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510462202 8616062976 30367 33554432000 4194304 4196468 140736531597136 139686630644912 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
Current children cumulated CPU time: 938.51 s
Current children cumulated vsize: 9347560 KiB
Current children cumulated memory: 768740 KiB

[startup+142.501 s]
/proc/loadavg: 6.36 6.81 6.88 2/217 7404
/proc/meminfo: memFree=24802188/32770624 swapFree=67002552/67108860
[pid=7340] ppid=7337 vsize=113128 memory=1476 CPUtime=12.17 cores=0-7
/proc/7340/stat : 7340 (scop.sh) S 7337 7340 5615 0 -1 4202496 582 31394 0 0 0 0 1188 29 20 0 1 0 510461657 115843072 369 33554432000 4194304 5098028 140736195305280 140736195302024 140420614025852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8634368 140736195310373 140736195310700 140736195310700 140736195313613 0
/proc/7340/statm: 28282 369 311 221 0 87 0
[pid=7363] ppid=7340 vsize=8414124 memory=121468 CPUtime=1.32 cores=0-7
/proc/7363/stat : 7363 (java) S 7340 7340 5615 0 -1 1077944320 20368 0 0 0 125 7 0 0 20 0 24 0 510462125 8616062976 30367 33554432000 4194304 4196468 140736531597136 140736531579680 139690040172279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
/proc/7363/statm: 2103531 30367 3203 1 0 2064875 0
[pid=7383] ppid=7363 vsize=820308 memory=645796 CPUtime=925.12 cores=0-7
/proc/7383/stat : 7383 (manyglucose-4.1) S 7363 7340 5615 0 -1 1077944320 1130678 0 0 0 92312 200 0 0 20 0 2 0 510462199 839995392 161449 33554432000 4194304 4454172 140736659726704 140736659725088 139887423667959 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 8974336 140736659731306 140736659731504 140736659731504 140736659734458 0
/proc/7383/statm: 205077 161449 419 64 0 200745 0
[pid=7383/tid=7395] ppid=7363 vsize=820308 memory=1476 CPUtime=136.53 cores=0-7
/proc/7383/task/7395/stat : 7395 (manyglucose-4.1) R 7363 7340 5615 0 -1 4202560 151265 0 0 0 13625 28 0 0 20 0 2 0 510462202 839995392 161449 33554432000 4194304 4454172 140736659726704 139887017716872 4333329 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 8974336 140736659731306 140736659731504 140736659731504 140736659734458 0
[pid=7363/tid=7364] ppid=7340 vsize=8414124 memory=121468 CPUtime=0.77 cores=0-7
/proc/7363/task/7364/stat : 7364 (java) S 7340 7340 5615 0 -1 1077944384 16982 0 0 0 72 5 0 0 20 0 24 0 510462126 8616062976 30367 33554432000 4194304 4196468 140736531597136 139690012012448 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7365] ppid=7340 vsize=8414124 memory=121468 CPUtime=0 cores=0-7
/proc/7363/task/7365/stat : 7365 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139690044414736 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7366] ppid=7340 vsize=8414124 memory=121468 CPUtime=0 cores=0-7
/proc/7363/task/7366/stat : 7366 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689852976016 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7367] ppid=7340 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7363/task/7367/stat : 7367 (java) S 7340 7340 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689524714512 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7368] ppid=7340 vsize=8414124 memory=609444 CPUtime=0 cores=0-7
/proc/7363/task/7368/stat : 7368 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689523661968 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7369] ppid=7340 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/7363/task/7369/stat : 7369 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689522608400 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7370] ppid=7340 vsize=8414124 memory=3592 CPUtime=0 cores=0-7
/proc/7363/task/7370/stat : 7370 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689521555856 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7371] ppid=7340 vsize=8414124 memory=280539614505376 CPUtime=0 cores=0-7
/proc/7363/task/7371/stat : 7371 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689520503312 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7372] ppid=7340 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/7363/task/7372/stat : 7372 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510462127 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689519450768 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7373] ppid=7340 vsize=8414124 memory=121468 CPUtime=0 cores=0-7
/proc/7363/task/7373/stat : 7373 (java) S 7340 7340 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510462128 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689133619696 139690040183426 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7374] ppid=7340 vsize=8414124 memory=643712 CPUtime=0 cores=0-7
/proc/7363/task/7374/stat : 7374 (java) S 7340 7340 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510462129 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688711021984 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7375] ppid=7340 vsize=8414124 memory=611516 CPUtime=0 cores=0-7
/proc/7363/task/7375/stat : 7375 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462129 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688442586608 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7376] ppid=7340 vsize=8414124 memory=9126525107 CPUtime=0 cores=0-7
/proc/7363/task/7376/stat : 7376 (java) S 7340 7340 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139688068078288 139690040190875 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7377] ppid=7340 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/7363/task/7377/stat : 7377 (java) S 7340 7340 5615 0 -1 1077944384 622 0 0 0 7 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689132566512 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7378] ppid=7340 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/7363/task/7378/stat : 7378 (java) S 7340 7340 5615 0 -1 1077944384 205 0 0 0 6 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689131513968 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7379] ppid=7340 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/7363/task/7379/stat : 7379 (java) S 7340 7340 5615 0 -1 1077944384 370 0 0 0 7 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689130461424 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7380] ppid=7340 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/7363/task/7380/stat : 7380 (java) S 7340 7340 5615 0 -1 1077944384 780 0 0 0 22 0 0 0 20 0 24 0 510462131 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689129408880 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7381] ppid=7340 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7363/task/7381/stat : 7381 (java) S 7340 7340 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510462132 8616062976 30367 33554432000 4194304 4196468 140736531597136 139687570172640 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7382] ppid=7340 vsize=8414124 memory=1476 CPUtime=0.12 cores=0-7
/proc/7363/task/7382/stat : 7382 (java) S 7340 7340 5615 0 -1 1077944384 11 0 0 0 6 6 0 0 20 0 24 0 510462132 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689128356784 139690040183426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7384] ppid=7340 vsize=8414124 memory=3588 CPUtime=0 cores=0-7
/proc/7363/task/7384/stat : 7384 (java) S 7340 7340 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510462199 8616062976 30367 33554432000 4194304 4196468 140736531597136 139689120323264 139690040196889 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7386] ppid=7340 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7363/task/7386/stat : 7386 (java) S 7340 7340 5615 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510462200 8616062976 30367 33554432000 4194304 4196468 140736531597136 139686899072272 139690040194205 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7387] ppid=7340 vsize=8414124 memory=121464 CPUtime=0 cores=0-7
/proc/7363/task/7387/stat : 7387 (java) S 7340 7340 5615 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510462200 8616062976 30367 33554432000 4194304 4196468 140736531597136 139687167507856 139690040194205 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
[pid=7363/tid=7394] ppid=7340 vsize=8414124 memory=576908 CPUtime=0 cores=0-7
/proc/7363/task/7394/stat : 7394 (java) S 7340 7340 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510462202 8616062976 30367 33554432000 4194304 4196468 140736531597136 139686630644912 139690040182485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140736531604472 140736531604630 140736531604630 140736531607503 0
Current children cumulated CPU time: 938.61 s
Current children cumulated vsize: 9347560 KiB
Current children cumulated memory: 768740 KiB

Child status: 0
Real time (s): 142.593
CPU time (s): 938.791
CPU user time (s): 936.38
CPU system time (s): 2.41101
CPU usage (%): 658.369
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1051908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 936.38
system time used= 2.41101
maximum resident set size= 1055572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1183261
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19628
involuntary context switches= 8279


# summary of solver processes directly reported to runsolver:
#   pid: 7340
#   total CPU time (s): 938.791
#   total CPU user time (s): 936.38
#   total CPU system time (s): 2.41101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3879 second user time and 1.99871 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 18:36:04
IDJOB=4405307
IDBENCH=134581
IDSOLVER=2867
FILE ID=node148/4405307-1569343001
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22084 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-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-4405307-1569343001/watcher-4405307-1569343001 -o /tmp/evaluation-result-4405307-1569343001/solver-4405307-1569343001 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405307-1569343001.xml

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

MD5SUM BENCH= a5169531bc56f5bae607e8bf56d35270
RANDOM SEED=1229534081

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25555472 kB
MemAvailable:   31854260 kB
Buffers:           52100 kB
Cached:          6518356 kB
SwapCached:         3352 kB
Active:          4352172 kB
Inactive:        2223752 kB
Active(anon):       3196 kB
Inactive(anon):    57876 kB
Active(file):    4348976 kB
Inactive(file):  2165876 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       67002552 kB
Dirty:             20612 kB
Writeback:             0 kB
AnonPages:        164392 kB
Mapped:            56132 kB
Shmem:             47060 kB
Slab:             228456 kB
SReclaimable:     199544 kB
SUnreclaim:        28912 kB
KernelStack:        3840 kB
PageTables:         4752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

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