Trace number 4405647

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 hybrid+ManyGlucose (2019-09-22)UNSAT 937.691 135.039

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-2_X2.xml
MD5SUMbca347db5d1c552995f700e5a754db73
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 benchmark165.879
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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11434-serial-file.bin HOME/instance-4405647-1569342978.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 18:35:38 CEST 2019
0.65/0.56	c PID: 11437
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.05/1.11	c (0,0) Parsing End
2.05/1.12	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.05/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.12	c (0,0) Constraint Name Generate Begin
2.05/1.13	c (0,0) Ctr:HOME/instance-4405647-1569342978.xml,ExtensionConflict:ExtensionSupport:Var
2.05/1.13	c (0,0) Constraint Name Generate End
2.05/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.13	c (0,0) CSP to CSPinCNF Begin
3.16/1.62	c (1,1) translated 127 (10%) constraints
3.59/1.73	c (1,1) translated 253 (20%) constraints
4.00/1.80	c (1,1) translated 379 (30%) constraints
4.00/1.87	c (1,1) translated 505 (40%) constraints
4.42/1.92	c (1,1) translated 631 (50%) constraints
4.42/1.97	c (1,1) translated 757 (60%) constraints
4.86/2.10	c (1,1) translated 883 (70%) constraints
5.81/2.33	c (1,1) translated 1009 (80%) constraints
6.06/2.55	c (2,1) translated 1135 (90%) constraints
6.67/2.85	c (2,2) translated 1261 (100%) constraints
6.67/2.86	c (2,2) ===========================================
6.67/2.88	c (2,2) Hybrid: #OE=793, #LE=0
6.67/2.88	c (2,2) Hybrid
6.67/2.88	c (2,2) ===========================================
7.07/2.94	c (2,2) translated 1883 (10%) constraints
7.07/3.00	c (2,2) translated 3765 (20%) constraints
7.52/3.05	c (2,2) translated 5647 (30%) constraints
7.92/3.11	c (2,2) translated 7529 (40%) constraints
7.92/3.17	c (2,2) translated 9411 (50%) constraints
8.29/3.23	c (2,2) translated 11294 (60%) constraints
8.29/3.28	c (2,2) translated 13176 (70%) constraints
8.68/3.33	c (2,2) translated 15058 (80%) constraints
8.68/3.37	c (2,2) translated 16940 (90%) constraints
9.06/3.41	c (2,2) translated 18822 (100%) constraints
9.06/3.41	c (2,2) CSP to CSPinCNF End
9.06/3.41	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
9.06/3.41	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.06/3.41	c (2,2) CSPinCNF Propagation Begin
10.15/3.75	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.15/3.75	c (3,3) CSPinCNF Propagation End
10.15/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.15/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.15/3.76	c (3,3) Hybrid: #OE=793, #LE=0
10.15/3.76	c (3,3) Simplify CSPinCNF Begin
10.39/3.82	c (3,3) Simplify CSPinCNF End
10.39/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.39/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.39/3.82	c (3,3) Calculate Precise Domain Begin
10.39/3.82	c (3,3) 0 values are removed by re-calculation
10.39/3.82	c (3,3) Calculate Precise Domain End
10.39/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.39/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.39/3.82	c (3,3) CSPinCNF to SatSolver Begin
10.72/3.96	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
11.05/4.02	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.05/4.07	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.46/4.11	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.46/4.15	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.46/4.18	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.46/4.20	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.80/4.21	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.80/4.23	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.80/4.24	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.80/4.24	c (3,3) CSPinCNF to SatSolver End
11.80/4.24	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.80/4.24	c (3,3) 2482 bool, 15697 clause
11.80/4.24	c (3,3) Export Begin
11.93/4.34	c (3,3) Export to HOME/scop-11434-serial-file.bin
11.93/4.34	c (3,3) Export End
11.93/4.34	c (3,3) Export File Size: 0.02 MB
11.93/4.34	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.93/4.35	c END-Prog: Tue Sep 24 18:35:42 CEST 2019
11.93/4.37	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11434-serial-file.bin
12.07/4.83	c (0,0) Read Serial File Begin
12.07/4.83	c (0,0) HOME/scop-11434-serial-file.bin
13.02/5.30	c (0,0) Read Serial File End
13.02/5.32	
13.02/5.32	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.02/5.32	(Solving Process)
13.02/5.32	
13.02/5.34	c BEGIN-Prog: Tue Sep 24 18:35:43 CEST 2019
13.02/5.34	c PID: 11457
13.02/5.34	c IP: 172.20.3.151
13.02/5.34	c HOST: node151.alineos.net
13.02/5.34	c (0,0) SatSolver.solve Begin
13.02/5.34	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405647-1569342978.xml-scop-11437.cnf
13.02/5.37	c (0,0) c
13.02/5.37	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.02/5.37	c (0,0) c
13.02/5.37	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.02/5.37	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.02/5.37	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.02/5.37	c (0,0) c |                                                                                                       |
13.02/5.37	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.02/5.37	c (0,0) c |  Number of variables:          2480                                                                   |
13.02/5.37	c (0,0) c |  Number of clauses:           15697                                                                   |
13.02/5.37	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.02/5.37	c (0,0) c |                                                                                                       |
13.02/5.38	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.02/5.38	c (0,0) c |                                                                                                       |
13.02/5.38	c (0,0) c |  Generating clones                                                                                    |
13.02/5.39	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.02/5.39	c (0,0) c ========================================================================================================|
13.02/5.39	c (0,0) c
13.02/5.39	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.02/5.39	c (0,0) c
13.02/5.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.02/5.39	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.02/5.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.02/5.39	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.02/5.39	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.02/5.39	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.02/5.39	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.02/5.39	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.02/5.39	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.02/5.39	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.02/5.39	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.02/5.39	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.02/5.39	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.02/5.39	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.02/5.39	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.02/5.39	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.02/5.39	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.02/5.39	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.02/5.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
231.70/34.67	c (29,0) c
231.70/34.67	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
231.70/34.67	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
231.70/34.67	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
231.70/34.67	c (29,0) c |  0 |    343 |     557743 |     302765 |     9408 |    71379 |    48093 |   306219 |    16593 |      305 |  20 |  0.847 |
231.70/34.67	c (29,0) c |  1 |    266 |     536512 |     287369 |     8754 |    55987 |    44119 |   311746 |    12262 |      313 |  20 |  0.848 |
231.70/34.67	c (29,0) c |  2 |    399 |     504088 |     287028 |     9354 |    55638 |    42182 |   303440 |    15503 |      293 |  20 |  0.847 |
231.70/34.67	c (29,0) c |  3 |    297 |     545934 |     293982 |     8762 |    62592 |    45907 |   309866 |    13118 |      313 |  20 |  0.847 |
231.70/34.67	c (29,0) c |  4 |    410 |     585572 |     315221 |     9471 |    48032 |    48699 |   287191 |    16043 |      313 |  20 |  0.847 |
231.70/34.67	c (29,0) c |  5 |    377 |     567805 |     309290 |     9473 |    42108 |    46332 |   312019 |    16348 |      310 |  20 |  0.847 |
231.70/34.67	c (29,0) c |  6 |    315 |     546365 |     297065 |     9398 |    65678 |    48119 |   307189 |    16559 |      311 |  20 |  0.847 |
231.70/34.67	c (29,0) c |  7 |    515 |     571651 |     311426 |     9555 |    44236 |    45244 |   307528 |    16657 |      309 |  20 |  0.847 |
231.70/34.67	c (29,0) c 
231.70/34.67	c (29,0) c synthesis     2404146 conflicts   180565876 propagations    11014 conflicts/sec   827243 propagations/sec
231.70/34.67	c (29,0) c real: 29.2982 s, cpu: 218.274 s, memory: 631.08 Mb
447.31/64.67	c (59,0) c
447.31/64.67	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
447.31/64.67	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
447.31/64.67	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
447.31/64.67	c (59,0) c |  0 |    400 |     911108 |     484760 |     9469 |    48382 |    67469 |   429695 |    28434 |      585 |  20 |  0.847 |
447.31/64.67	c (59,0) c |  1 |    391 |     868450 |     460172 |     9296 |    69979 |    60335 |   438330 |    26986 |      592 |  20 |  0.847 |
447.31/64.67	c (59,0) c |  2 |    476 |     847089 |     472714 |     9415 |    82529 |    62867 |   421183 |    26625 |      592 |  20 |  0.848 |
447.31/64.67	c (59,0) c |  3 |    445 |     883011 |     469199 |     9334 |    79011 |    61618 |   438372 |    30613 |      592 |  20 |  0.847 |
447.31/64.67	c (59,0) c |  4 |    529 |     920153 |     488593 |     9500 |    52205 |    65341 |   427968 |    28914 |      592 |  20 |  0.848 |
447.31/64.67	c (59,0) c |  5 |    475 |     873658 |     471404 |     9513 |    81221 |    63003 |   427161 |    27142 |      572 |  20 |  0.848 |
447.31/64.67	c (59,0) c |  6 |    445 |     893162 |     476022 |     9488 |    85831 |    65043 |   433425 |    29966 |      592 |  20 |  0.848 |
447.31/64.67	c (59,0) c |  7 |    633 |     919557 |     491417 |     9583 |    55032 |    61228 |   438796 |    29021 |      591 |  20 |  0.847 |
447.31/64.67	c (59,0) c 
447.31/64.67	c (59,0) c synthesis     3814283 conflicts   283812489 propagations     8799 conflicts/sec   654678 propagations/sec
447.31/64.67	c (59,0) c real: 59.3043 s, cpu: 433.515 s, memory: 696.01 Mb
664.79/94.67	c (89,0) c
664.79/94.67	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
664.79/94.67	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
664.79/94.67	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
664.79/94.67	c (89,0) c |  0 |    454 |    1223692 |     642882 |     9490 |   106300 |    83245 |   527515 |    39092 |      883 |  20 |  0.848 |
664.79/94.67	c (89,0) c |  1 |    541 |    1183578 |     617250 |     9358 |    80659 |    76667 |   539735 |    39409 |      887 |  20 |  0.848 |
664.79/94.67	c (89,0) c |  2 |    517 |    1131093 |     618191 |     9442 |    81600 |    75338 |   532966 |    38736 |      870 |  20 |  0.848 |
664.79/94.67	c (89,0) c |  3 |    586 |    1181683 |     620532 |     9365 |    83940 |    75476 |   532933 |    41928 |      887 |  20 |  0.848 |
664.79/94.67	c (89,0) c |  4 |    645 |    1226701 |     641811 |     9512 |   105227 |    81133 |   528425 |    40034 |      887 |  20 |  0.848 |
664.79/94.67	c (89,0) c |  5 |    551 |    1201043 |     637321 |     9536 |   100736 |    77810 |   525706 |    39446 |      887 |  20 |  0.848 |
664.79/94.67	c (89,0) c |  6 |    573 |    1170230 |     618476 |     9514 |    81886 |    75830 |   532454 |    40334 |      867 |  20 |  0.848 |
664.79/94.67	c (89,0) c |  7 |    704 |    1196016 |     631161 |     9596 |    94574 |    75946 |   532806 |    41067 |      867 |  20 |  0.847 |
664.79/94.67	c (89,0) c 
664.79/94.67	c (89,0) c synthesis     5027624 conflicts   374127911 propagations     7727 conflicts/sec   575010 propagations/sec
664.79/94.67	c (89,0) c real: 89.3033 s, cpu: 650.646 s, memory: 696.01 Mb
867.63/124.67	c (119,0) c
867.63/124.67	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
867.63/124.67	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
867.63/124.67	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
867.63/124.67	c (119,0) c |  0 |    509 |    1460140 |     759394 |     9500 |   108394 |    95180 |   592347 |    48486 |     1132 |  20 |  0.927 |
867.63/124.67	c (119,0) c |  1 |    600 |    1408330 |     729488 |     9379 |    79951 |    86867 |   605953 |    50185 |     1135 |  20 |  0.927 |
867.63/124.67	c (119,0) c |  2 |    554 |    1365514 |     740008 |     9455 |    86869 |    85393 |   605830 |    48439 |     1135 |  20 |  0.929 |
867.63/124.67	c (119,0) c |  3 |    653 |    1411603 |     733828 |     9386 |    85778 |    84610 |   609719 |    50785 |     1135 |  20 |  0.927 |
867.63/124.67	c (119,0) c |  4 |    721 |    1446395 |     752460 |     9521 |   102589 |    90490 |   602779 |    48811 |     1135 |  20 |  0.929 |
867.63/124.67	c (119,0) c |  5 |    620 |    1428554 |     750372 |     9548 |   100287 |    86395 |   604945 |    47369 |     1134 |  20 |  0.928 |
867.63/124.67	c (119,0) c |  6 |    638 |    1395288 |     731766 |     9524 |    82484 |    86638 |   603244 |    49205 |     1115 |  20 |  0.927 |
867.63/124.67	c (119,0) c |  7 |    751 |    1441517 |     751751 |     9610 |   102435 |    83810 |   604167 |    51169 |     1134 |  20 |  0.927 |
867.63/124.67	c (119,0) c 
867.63/124.67	c (119,0) c synthesis     5949067 conflicts   444335673 propagations     6971 conflicts/sec   520694 propagations/sec
867.63/124.67	c (119,0) c real: 119.298 s, cpu: 853.352 s, memory: 725.65 Mb
937.47/135.00	c (130,0) c
937.47/135.00	c (130,0) c real time : 129.628 s
937.47/135.00	c (130,0) c cpu time  : 922.736 s
937.47/135.00	c (130,0) c
937.47/135.00	c (130,0) c
937.47/135.00	c (130,0) c
937.47/135.00	c (130,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
937.47/135.00	c (130,0) c
937.47/135.00	c (130,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
937.47/135.00	c (130,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
937.47/135.00	c (130,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
937.47/135.00	c (130,0) c | Conflicts     |         6186485 |     793220 |     755777 |     765377 |     759773 |     784051 |     780071 |     765555 |     782661 |
937.47/135.00	c (130,0) c | Decisions     |        11824728 |    1526646 |    1460334 |    1411817 |    1462842 |    1509828 |    1487684 |    1462287 |    1503290 |
937.47/135.00	c (130,0) c | Propagations  |       463146494 |   59284930 |   56962414 |   57410444 |   57004242 |   58267768 |   58156318 |   57719188 |   58341190 |
937.47/135.00	c (130,0) c | ReduceDBs     |             188 |         24 |         23 |         23 |         23 |         24 |         24 |         23 |         24 |
937.47/135.00	c (130,0) c | SimpDBs       |              89 |         11 |         11 |          9 |         12 |         11 |         11 |         11 |         13 |
937.47/135.00	c (130,0) c | Restarts      |            5148 |        517 |        629 |        558 |        664 |        743 |        634 |        644 |        759 |
937.47/135.00	c (130,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
937.47/135.00	c (130,0) c | PropBinClauses|       979750425 |  124076007 |  121713429 |  125335909 |  120819674 |  120456978 |  121759389 |  123469171 |  122119868 |
937.47/135.00	c (130,0) c | PropPreBlocker|     32990142392 | 4143364813 | 4109629826 | 4014956612 | 4183673058 | 4118881035 | 4136527864 | 4148409722 | 4134699462 |
937.47/135.00	c (130,0) c | PropNotBlocker|      5412883640 |  668434961 |  672009347 |  704966230 |  662130483 |  677526585 |  677665874 |  669855972 |  680294188 |
937.47/135.00	c (130,0) c | LitFullScans  |     58236932820 | 7280006829 | 7275019480 | 7279034249 | 7285291795 | 7285368910 | 7279370109 | 7273622233 | 7279219215 |
937.47/135.00	c (130,0) c | LitScanFracts |        11716501 |    1997999 |    1339261 |    1026794 |    1799761 |    1362541 |    1366072 |    1617381 |    1206692 |
937.47/135.00	c (130,0) c | DecisionLevel0|            5244 |        529 |        645 |        569 |        676 |        756 |        646 |        655 |        768 |
937.47/135.00	c (130,0) c | Periods       |            9703 |       1213 |       1212 |       1213 |       1213 |       1214 |       1213 |       1212 |       1213 |
937.47/135.00	c (130,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
937.47/135.00	c (130,0) c | Avg_Trail     |                 |        633 |        629 |        626 |        630 |        636 |        636 |        630 |        635 |
937.47/135.00	c (130,0) c | Avg_DL        |                 |         22 |         20 |         22 |         21 |         22 |         22 |         21 |         22 |
937.47/135.00	c (130,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
937.47/135.00	c (130,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
937.47/135.00	c (130,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
937.47/135.00	c (130,0) c | Exported      |          720847 |      98982 |      89116 |      87626 |      86946 |      93371 |      88827 |      89601 |      86378 |
937.47/135.00	c (130,0) c | Imported      |         4985705 |     616235 |     625922 |     615390 |     628391 |     622401 |     626564 |     623860 |     626942 |
937.47/135.00	c (130,0) c | Good          |           14227 |       1783 |       1797 |       1744 |       1823 |       1760 |       1806 |       1788 |       1726 |
937.47/135.00	c (130,0) c | Purge         |         4971478 |     614452 |     624125 |     613646 |     626568 |     620641 |     624758 |     622072 |     625216 |
937.47/135.00	c (130,0) c | Promoted      |          417320 |      51089 |      52879 |      51443 |      53702 |      51493 |      50069 |      52740 |      53905 |
937.47/135.00	c (130,0) c | Remove_Imp    |         3882794 |     481673 |     481073 |     482698 |     476767 |     494705 |     496023 |     472271 |     497584 |
937.47/135.00	c (130,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
937.47/135.00	c (130,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
937.47/135.00	c (130,0) c | Unaries       |                 |         12 |         16 |         11 |         12 |         13 |         12 |         11 |          9 |
937.47/135.00	c (130,0) c | Binaries      |                 |        274 |        254 |        241 |        233 |        299 |        255 |        252 |        318 |
937.47/135.00	c (130,0) c | Glues         |                 |       1030 |        921 |        977 |        916 |       1109 |       1033 |       1010 |       1169 |
937.47/135.00	c (130,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
937.47/135.00	c (130,0) c | Orig_Seen     |            87 % |       9501 |       9380 |       9458 |       9389 |       9527 |       9549 |       9526 |       9614 |
937.47/135.00	c (130,0) c | Diff Orig seen|                 |        121 |      X     |         78 |          9 |        147 |        169 |        146 |        234 |
937.47/135.00	c (130,0) c | Hamming       |            10 % |        290 |      X     |        255 |        211 |        288 |        294 |        268 |        259 |
937.47/135.00	c (130,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
937.47/135.00	c (130,0) c | RunningTime   |                 |  116.3  91%|  110.5  86%|  126.8  99%|   98.0  77%|  102.3  80%|  119.0  93%|  125.6  97%|  125.0  98%|
937.47/135.00	c (130,0) c | WaitingTime   |                 |   11.6   9%|   17.7  14%|    1.4   1%|   29.7  23%|   25.4  20%|    8.7   7%|    3.6   3%|    2.7   2%|
937.47/135.00	c (130,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
937.47/135.00	c (130,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%|
937.47/135.00	c (130,0) c | SolvingTime   |                 |  128.2     |  128.5     |  128.4     |  128.0     |  128.0     |  128.1     |  129.5     |  128.1     |
937.47/135.00	c (130,0) c | PropagationTim|                 |   93.6  73%|  106.9  83%|   86.5  67%|  114.9  90%|  111.8  87%|   87.7  68%|   89.4  69%|   86.4  67%|
937.47/135.00	c (130,0) c | AnalysisTime  |                 |   31.3  24%|   18.2  14%|   38.7  30%|    9.7   8%|   12.6  10%|   37.1  29%|   36.8  28%|   38.3  30%|
937.47/135.00	c (130,0) c | ReductionTime |                 |    1.2   1%|    1.3   1%|    1.2   1%|    1.2   1%|    1.4   1%|    1.2   1%|    1.3   1%|    1.3   1%|
937.47/135.00	c (130,0) c | SimplifyTime  |                 |    0.2   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|
937.47/135.00	c (130,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%|
937.47/135.00	c (130,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%|
937.47/135.00	c (130,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
937.47/135.00	c (130,0) c
937.47/135.00	c (130,0) c
937.47/135.00	c (130,0) c Threads : 8
937.47/135.00	c (130,0) c Winner : 1
937.47/135.00	c (130,0) c Conflicts_0 : 793220
937.47/135.00	c (130,0) c Conflicts_1 : 755777
937.47/135.00	c (130,0) c Conflicts_2 : 765377
937.47/135.00	c (130,0) c Conflicts_3 : 759773
937.47/135.00	c (130,0) c Conflicts_4 : 784051
937.47/135.00	c (130,0) c Conflicts_5 : 780071
937.47/135.00	c (130,0) c Conflicts_6 : 765555
937.47/135.00	c (130,0) c Conflicts_7 : 782661
937.47/135.00	c (130,0) c Conflicts_total : 6186485
937.47/135.00	c (130,0) c Conflicts_winner : 755777
937.47/135.00	c (130,0) c Decisions_0 : 1526646
937.47/135.00	c (130,0) c Decisions_1 : 1460334
937.47/135.00	c (130,0) c Decisions_2 : 1411817
937.47/135.00	c (130,0) c Decisions_3 : 1462842
937.47/135.00	c (130,0) c Decisions_4 : 1509828
937.47/135.00	c (130,0) c Decisions_5 : 1487684
937.47/135.00	c (130,0) c Decisions_6 : 1462287
937.47/135.00	c (130,0) c Decisions_7 : 1503290
937.47/135.00	c (130,0) c Decisions_total : 11824728
937.47/135.00	c (130,0) c Decisions_winner : 1460334
937.47/135.00	c (130,0) c Propagations_0 : 59284930
937.47/135.00	c (130,0) c Propagations_1 : 56962414
937.47/135.00	c (130,0) c Propagations_2 : 57410444
937.47/135.00	c (130,0) c Propagations_3 : 57004242
937.47/135.00	c (130,0) c Propagations_4 : 58267768
937.47/135.00	c (130,0) c Propagations_5 : 58156318
937.47/135.00	c (130,0) c Propagations_6 : 57719188
937.47/135.00	c (130,0) c Propagations_7 : 58341190
937.47/135.00	c (130,0) c Propagations_total : 463146494
937.47/135.00	c (130,0) c Propagations_winner : 56962414
937.47/135.00	c (130,0) c ReduceDBs_0 : 24
937.47/135.00	c (130,0) c ReduceDBs_1 : 23
937.47/135.00	c (130,0) c ReduceDBs_2 : 23
937.47/135.00	c (130,0) c ReduceDBs_3 : 23
937.47/135.00	c (130,0) c ReduceDBs_4 : 24
937.47/135.00	c (130,0) c ReduceDBs_5 : 24
937.47/135.00	c (130,0) c ReduceDBs_6 : 23
937.47/135.00	c (130,0) c ReduceDBs_7 : 24
937.47/135.00	c (130,0) c ReduceDBs_total : 188
937.47/135.00	c (130,0) c ReduceDBs_winner : 23
937.47/135.00	c (130,0) c SimpDBs_0 : 11
937.47/135.00	c (130,0) c SimpDBs_1 : 11
937.47/135.00	c (130,0) c SimpDBs_2 : 9
937.47/135.00	c (130,0) c SimpDBs_3 : 12
937.47/135.00	c (130,0) c SimpDBs_4 : 11
937.47/135.00	c (130,0) c SimpDBs_5 : 11
937.47/135.00	c (130,0) c SimpDBs_6 : 11
937.47/135.00	c (130,0) c SimpDBs_7 : 13
937.47/135.00	c (130,0) c SimpDBs_total : 89
937.47/135.00	c (130,0) c SimpDBs_winner : 11
937.47/135.00	c (130,0) c Restarts_0 : 517
937.47/135.00	c (130,0) c Restarts_1 : 629
937.47/135.00	c (130,0) c Restarts_2 : 558
937.47/135.00	c (130,0) c Restarts_3 : 664
937.47/135.00	c (130,0) c Restarts_4 : 743
937.47/135.00	c (130,0) c Restarts_5 : 634
937.47/135.00	c (130,0) c Restarts_6 : 644
937.47/135.00	c (130,0) c Restarts_7 : 759
937.47/135.00	c (130,0) c Restarts_total : 5148
937.47/135.00	c (130,0) c Restarts_winner : 629
937.47/135.00	c (130,0) c ForcedImports_0 : 0
937.47/135.00	c (130,0) c ForcedImports_1 : 0
937.47/135.00	c (130,0) c ForcedImports_2 : 0
937.47/135.00	c (130,0) c ForcedImports_3 : 0
937.47/135.00	c (130,0) c ForcedImports_4 : 0
937.47/135.00	c (130,0) c ForcedImports_5 : 0
937.47/135.00	c (130,0) c ForcedImports_6 : 0
937.47/135.00	c (130,0) c ForcedImports_7 : 0
937.47/135.00	c (130,0) c ForcedImports_total : 0
937.47/135.00	c (130,0) c ForcedImports_winner : 0
937.47/135.00	c (130,0) c PropsBinClauses_0 : 124076007
937.47/135.00	c (130,0) c PropsBinClauses_1 : 121713429
937.47/135.00	c (130,0) c PropsBinClauses_2 : 125335909
937.47/135.00	c (130,0) c PropsBinClauses_3 : 120819674
937.47/135.00	c (130,0) c PropsBinClauses_4 : 120456978
937.47/135.00	c (130,0) c PropsBinClauses_5 : 121759389
937.47/135.00	c (130,0) c PropsBinClauses_6 : 123469171
937.47/135.00	c (130,0) c PropsBinClauses_7 : 122119868
937.47/135.00	c (130,0) c PropsBinClauses_total : 979750425
937.47/135.00	c (130,0) c PropsBinClauses_winner : 121713429
937.47/135.00	c (130,0) c PropsPreBlocker_0 : 4143364813
937.47/135.00	c (130,0) c PropsPreBlocker_1 : 4109629826
937.47/135.00	c (130,0) c PropsPreBlocker_2 : 4014956612
937.47/135.00	c (130,0) c PropsPreBlocker_3 : 4183673058
937.47/135.00	c (130,0) c PropsPreBlocker_4 : 4118881035
937.47/135.00	c (130,0) c PropsPreBlocker_5 : 4136527864
937.47/135.00	c (130,0) c PropsPreBlocker_6 : 4148409722
937.47/135.00	c (130,0) c PropsPreBlocker_7 : 4134699462
937.47/135.00	c (130,0) c PropsPreBlocker_total : 32990142392
937.47/135.00	c (130,0) c PropsPreBlocker_winner : 4109629826
937.47/135.00	c (130,0) c PropsNotBlocker_0 : 668434961
937.47/135.00	c (130,0) c PropsNotBlocker_1 : 672009347
937.47/135.00	c (130,0) c PropsNotBlocker_2 : 704966230
937.47/135.00	c (130,0) c PropsNotBlocker_3 : 662130483
937.47/135.00	c (130,0) c PropsNotBlocker_4 : 677526585
937.47/135.00	c (130,0) c PropsNotBlocker_5 : 677665874
937.47/135.00	c (130,0) c PropsNotBlocker_6 : 669855972
937.47/135.00	c (130,0) c PropsNotBlocker_7 : 680294188
937.47/135.00	c (130,0) c PropsNotBlocker_total : 5412883640
937.47/135.00	c (130,0) c PropsNotBlocker_winner : 672009347
937.47/135.00	c (130,0) c PropsLitFullScans_0 : 7280006829
937.47/135.00	c (130,0) c PropsLitFullScans_1 : 7275019480
937.47/135.00	c (130,0) c PropsLitFullScans_2 : 7279034249
937.47/135.00	c (130,0) c PropsLitFullScans_3 : 7285291795
937.47/135.00	c (130,0) c PropsLitFullScans_4 : 7285368910
937.47/135.00	c (130,0) c PropsLitFullScans_5 : 7279370109
937.47/135.00	c (130,0) c PropsLitFullScans_6 : 7273622233
937.47/135.00	c (130,0) c PropsLitFullScans_7 : 7279219215
937.47/135.00	c (130,0) c PropsLitFullScans_total : 58236932820
937.47/135.00	c (130,0) c PropsLitFullScans_winner : 7275019480
937.47/135.00	c (130,0) c LitScanFractions_0 : 1997999
937.47/135.00	c (130,0) c LitScanFractions_1 : 1339261
937.47/135.00	c (130,0) c LitScanFractions_2 : 1026794
937.47/135.00	c (130,0) c LitScanFractions_3 : 1799761
937.47/135.00	c (130,0) c LitScanFractions_4 : 1362541
937.47/135.00	c (130,0) c LitScanFractions_5 : 1366072
937.47/135.00	c (130,0) c LitScanFractions_6 : 1617381
937.47/135.00	c (130,0) c LitScanFractions_7 : 1206692
937.47/135.00	c (130,0) c LitScanFractions_total : 11716501
937.47/135.00	c (130,0) c LitScanFractions_winner : 1339261
937.47/135.00	c (130,0) c DecisionLevel0_0 : 529
937.47/135.00	c (130,0) c DecisionLevel0_1 : 645
937.47/135.00	c (130,0) c DecisionLevel0_2 : 569
937.47/135.00	c (130,0) c DecisionLevel0_3 : 676
937.47/135.00	c (130,0) c DecisionLevel0_4 : 756
937.47/135.00	c (130,0) c DecisionLevel0_5 : 646
937.47/135.00	c (130,0) c DecisionLevel0_6 : 655
937.47/135.00	c (130,0) c DecisionLevel0_7 : 768
937.47/135.00	c (130,0) c DecisionLevel0_total : 5244
937.47/135.00	c (130,0) c DecisionLevel0_winner : 645
937.47/135.00	c (130,0) c Periods_0 : 1213
937.47/135.00	c (130,0) c Periods_1 : 1212
937.47/135.00	c (130,0) c Periods_2 : 1213
937.47/135.00	c (130,0) c Periods_3 : 1213
937.47/135.00	c (130,0) c Periods_4 : 1214
937.47/135.00	c (130,0) c Periods_5 : 1213
937.47/135.00	c (130,0) c Periods_6 : 1212
937.47/135.00	c (130,0) c Periods_7 : 1213
937.47/135.00	c (130,0) c Periods_total : 9703
937.47/135.00	c (130,0) c Periods_winner : 1212
937.47/135.00	c (130,0) c Margin_0 : 20
937.47/135.00	c (130,0) c Margin_1 : 20
937.47/135.00	c (130,0) c Margin_2 : 20
937.47/135.00	c (130,0) c Margin_3 : 20
937.47/135.00	c (130,0) c Margin_4 : 20
937.47/135.00	c (130,0) c Margin_5 : 20
937.47/135.00	c (130,0) c Margin_6 : 20
937.47/135.00	c (130,0) c Margin_7 : 20
937.47/135.00	c (130,0) c Margin_total : 160
937.47/135.00	c (130,0) c Margin_winner : 20
937.47/135.00	c (130,0) c Exported_0 : 98982
937.47/135.00	c (130,0) c Exported_1 : 89116
937.47/135.00	c (130,0) c Exported_2 : 87626
937.47/135.00	c (130,0) c Exported_3 : 86946
937.47/135.00	c (130,0) c Exported_4 : 93371
937.47/135.00	c (130,0) c Exported_5 : 88827
937.47/135.00	c (130,0) c Exported_6 : 89601
937.47/135.00	c (130,0) c Exported_7 : 86378
937.47/135.00	c (130,0) c Exported_total : 720847
937.47/135.00	c (130,0) c Exported_winner : 89116
937.47/135.00	c (130,0) c Imported_0 : 616235
937.47/135.00	c (130,0) c Imported_1 : 625922
937.47/135.00	c (130,0) c Imported_2 : 615390
937.47/135.00	c (130,0) c Imported_3 : 628391
937.47/135.00	c (130,0) c Imported_4 : 622401
937.47/135.00	c (130,0) c Imported_5 : 626564
937.47/135.00	c (130,0) c Imported_6 : 623860
937.47/135.00	c (130,0) c Imported_7 : 626942
937.47/135.00	c (130,0) c Imported_total : 4985705
937.47/135.00	c (130,0) c Imported_winner : 625922
937.47/135.00	c (130,0) c Good_0 : 1783
937.47/135.00	c (130,0) c Good_1 : 1797
937.47/135.00	c (130,0) c Good_2 : 1744
937.47/135.00	c (130,0) c Good_3 : 1823
937.47/135.00	c (130,0) c Good_4 : 1760
937.47/135.00	c (130,0) c Good_5 : 1806
937.47/135.00	c (130,0) c Good_6 : 1788
937.47/135.00	c (130,0) c Good_7 : 1726
937.47/135.00	c (130,0) c Good_total : 14227
937.47/135.00	c (130,0) c Good_winner : 1797
937.47/135.00	c (130,0) c Purge_0 : 614452
937.47/135.00	c (130,0) c Purge_1 : 624125
937.47/135.00	c (130,0) c Purge_2 : 613646
937.47/135.00	c (130,0) c Purge_3 : 626568
937.47/135.00	c (130,0) c Purge_4 : 620641
937.47/135.00	c (130,0) c Purge_5 : 624758
937.47/135.00	c (130,0) c Purge_6 : 622072
937.47/135.00	c (130,0) c Purge_7 : 625216
937.47/135.00	c (130,0) c Purge_total : 4971478
937.47/135.00	c (130,0) c Purge_winner : 624125
937.47/135.00	c (130,0) c Promoted_0 : 51089
937.47/135.00	c (130,0) c Promoted_1 : 52879
937.47/135.00	c (130,0) c Promoted_2 : 51443
937.47/135.00	c (130,0) c Promoted_3 : 53702
937.47/135.00	c (130,0) c Promoted_4 : 51493
937.47/135.00	c (130,0) c Promoted_5 : 50069
937.47/135.00	c (130,0) c Promoted_6 : 52740
937.47/135.00	c (130,0) c Promoted_7 : 53905
937.47/135.00	c (130,0) c Promoted_total : 417320
937.47/135.00	c (130,0) c Promoted_winner : 52879
937.47/135.00	c (130,0) c Remove_Imp_0 : 481673
937.47/135.00	c (130,0) c Remove_Imp_1 : 481073
937.47/135.00	c (130,0) c Remove_Imp_2 : 482698
937.47/135.00	c (130,0) c Remove_Imp_3 : 476767
937.47/135.00	c (130,0) c Remove_Imp_4 : 494705
937.47/135.00	c (130,0) c Remove_Imp_5 : 496023
937.47/135.00	c (130,0) c Remove_Imp_6 : 472271
937.47/135.00	c (130,0) c Remove_Imp_7 : 497584
937.47/135.00	c (130,0) c Remove_Imp_total : 3882794
937.47/135.00	c (130,0) c Remove_Imp_winner : 481073
937.47/135.01	c (130,0) c Blocked_Reuse_0 : 0
937.47/135.01	c (130,0) c Blocked_Reuse_1 : 0
937.47/135.01	c (130,0) c Blocked_Reuse_2 : 0
937.47/135.01	c (130,0) c Blocked_Reuse_3 : 0
937.47/135.01	c (130,0) c Blocked_Reuse_4 : 0
937.47/135.01	c (130,0) c Blocked_Reuse_5 : 0
937.47/135.01	c (130,0) c Blocked_Reuse_6 : 0
937.47/135.01	c (130,0) c Blocked_Reuse_7 : 0
937.47/135.01	c (130,0) c Blocked_Reuse_total : 0
937.47/135.01	c (130,0) c Blocked_Reuse_winner : 0
937.47/135.01	c (130,0) c Unaries_0 : 12
937.47/135.01	c (130,0) c Unaries_1 : 16
937.47/135.01	c (130,0) c Unaries_2 : 11
937.47/135.01	c (130,0) c Unaries_3 : 12
937.47/135.01	c (130,0) c Unaries_4 : 13
937.47/135.01	c (130,0) c Unaries_5 : 12
937.47/135.01	c (130,0) c Unaries_6 : 11
937.47/135.01	c (130,0) c Unaries_7 : 9
937.47/135.01	c (130,0) c Unaries_total : 96
937.47/135.01	c (130,0) c Unaries_winner : 16
937.47/135.01	c (130,0) c Binaries_0 : 274
937.47/135.01	c (130,0) c Binaries_1 : 254
937.47/135.01	c (130,0) c Binaries_2 : 241
937.47/135.01	c (130,0) c Binaries_3 : 233
937.47/135.01	c (130,0) c Binaries_4 : 299
937.47/135.01	c (130,0) c Binaries_5 : 255
937.47/135.01	c (130,0) c Binaries_6 : 252
937.47/135.01	c (130,0) c Binaries_7 : 318
937.47/135.01	c (130,0) c Binaries_total : 2126
937.47/135.01	c (130,0) c Binaries_winner : 254
937.47/135.01	c (130,0) c Glues_0 : 1030
937.47/135.01	c (130,0) c Glues_1 : 921
937.47/135.01	c (130,0) c Glues_2 : 977
937.47/135.01	c (130,0) c Glues_3 : 916
937.47/135.01	c (130,0) c Glues_4 : 1109
937.47/135.01	c (130,0) c Glues_5 : 1033
937.47/135.01	c (130,0) c Glues_6 : 1010
937.47/135.01	c (130,0) c Glues_7 : 1169
937.47/135.01	c (130,0) c Glues_total : 8165
937.47/135.01	c (130,0) c Glues_winner : 921
937.47/135.01	c (130,0) c RunningTime_0 : 116.303316
937.47/135.01	c (130,0) c RunningTime_1 : 110.463500
937.47/135.01	c (130,0) c RunningTime_2 : 126.757099
937.47/135.01	c (130,0) c RunningTime_3 : 97.964441
937.47/135.01	c (130,0) c RunningTime_4 : 102.344041
937.47/135.01	c (130,0) c RunningTime_5 : 119.025297
937.47/135.01	c (130,0) c RunningTime_6 : 125.592057
937.47/135.01	c (130,0) c RunningTime_7 : 125.009207
937.47/135.01	c (130,0) c RunningTime_total : 923.458958
937.47/135.01	c (130,0) c RunningTime_winner : 110.463500
937.47/135.01	c (130,0) c WaitingTime_0 : 11.621649
937.47/135.01	c (130,0) c WaitingTime_1 : 17.692365
937.47/135.01	c (130,0) c WaitingTime_2 : 1.364544
937.47/135.01	c (130,0) c WaitingTime_3 : 29.699896
937.47/135.01	c (130,0) c WaitingTime_4 : 25.361208
937.47/135.01	c (130,0) c WaitingTime_5 : 8.710225
937.47/135.01	c (130,0) c WaitingTime_6 : 3.583058
937.47/135.01	c (130,0) c WaitingTime_7 : 2.749135
937.47/135.01	c (130,0) c WaitingTime_total : 100.782079
937.47/135.01	c (130,0) c WaitingTime_winner : 17.692365
937.47/135.01	c (130,0) c ExchangingTime_0 : 0.295127
937.47/135.01	c (130,0) c ExchangingTime_1 : 0.357544
937.47/135.01	c (130,0) c ExchangingTime_2 : 0.312556
937.47/135.01	c (130,0) c ExchangingTime_3 : 0.354194
937.47/135.01	c (130,0) c ExchangingTime_4 : 0.331840
937.47/135.01	c (130,0) c ExchangingTime_5 : 0.343878
937.47/135.01	c (130,0) c ExchangingTime_6 : 0.342446
13.44/135.01	c (130,0) c ExchangingTime_7 : 0.331594
13.44/135.01	c (130,0) c ExchangingTime_total : 2.669179
13.44/135.01	c (130,0) c ExchangingTime_winner : 0.357544
13.44/135.01	c (130,0) c PeriodProcTime_0 : 0.010753
13.44/135.01	c (130,0) c PeriodProcTime_1 : 0.011426
13.44/135.01	c (130,0) c PeriodProcTime_2 : 0.012440
13.44/135.01	c (130,0) c PeriodProcTime_3 : 0.010928
13.44/135.01	c (130,0) c PeriodProcTime_4 : 0.010575
13.44/135.01	c (130,0) c PeriodProcTime_5 : 0.012288
13.44/135.01	c (130,0) c PeriodProcTime_6 : 0.013635
13.44/135.01	c (130,0) c PeriodProcTime_7 : 0.011962
13.44/135.01	c (130,0) c PeriodProcTime_total : 0.094007
13.44/135.01	c (130,0) c PeriodProcTime_winner : 0.011426
13.44/135.01	c (130,0) c SolvingTime_0 : 128.230845
13.44/135.01	c (130,0) c SolvingTime_1 : 128.524835
13.44/135.01	c (130,0) c SolvingTime_2 : 128.446639
13.44/135.01	c (130,0) c SolvingTime_3 : 128.029459
13.44/135.01	c (130,0) c SolvingTime_4 : 128.047663
13.44/135.01	c (130,0) c SolvingTime_5 : 128.091688
13.44/135.01	c (130,0) c SolvingTime_6 : 129.531196
13.44/135.01	c (130,0) c SolvingTime_7 : 128.101899
13.44/135.01	c (130,0) c SolvingTime_total : 1027.004223
13.44/135.01	c (130,0) c SolvingTime_winner : 128.524835
13.44/135.01	c (130,0) c PropagationTime_0 : 93.604592
13.44/135.01	c (130,0) c PropagationTime_1 : 106.888666
13.44/135.01	c (130,0) c PropagationTime_2 : 86.519575
13.44/135.01	c (130,0) c PropagationTime_3 : 114.922034
13.44/135.01	c (130,0) c PropagationTime_4 : 111.782193
13.44/135.01	c (130,0) c PropagationTime_5 : 87.721168
13.44/135.01	c (130,0) c PropagationTime_6 : 89.419579
13.44/135.01	c (130,0) c PropagationTime_7 : 86.403762
13.44/135.01	c (130,0) c PropagationTime_total : 777.261568
13.44/135.01	c (130,0) c PropagationTime_winner : 106.888666
13.44/135.01	c (130,0) c AnalysisTime_0 : 31.261043
13.44/135.01	c (130,0) c AnalysisTime_1 : 18.177725
13.44/135.01	c (130,0) c AnalysisTime_2 : 38.715451
13.44/135.01	c (130,0) c AnalysisTime_3 : 9.724215
13.44/135.01	c (130,0) c AnalysisTime_4 : 12.621799
13.44/135.01	c (130,0) c AnalysisTime_5 : 37.113397
13.44/135.01	c (130,0) c AnalysisTime_6 : 36.781491
13.44/135.01	c (130,0) c AnalysisTime_7 : 38.287934
13.44/135.01	c (130,0) c AnalysisTime_total : 222.683055
13.44/135.01	c (130,0) c AnalysisTime_winner : 18.177725
13.44/135.01	c (130,0) c ReductionTime_0 : 1.236533
13.44/135.01	c (130,0) c ReductionTime_1 : 1.314866
13.44/135.01	c (130,0) c ReductionTime_2 : 1.167276
13.44/135.01	c (130,0) c ReductionTime_3 : 1.190819
13.44/135.01	c (130,0) c ReductionTime_4 : 1.410636
13.44/135.01	c (130,0) c ReductionTime_5 : 1.187343
13.44/135.01	c (130,0) c ReductionTime_6 : 1.253456
13.44/135.01	c (130,0) c ReductionTime_7 : 1.325537
13.44/135.01	c (130,0) c ReductionTime_total : 10.086467
13.44/135.01	c (130,0) c ReductionTime_winner : 1.314866
13.44/135.01	c (130,0) c SimplifyTime_0 : 0.155099
13.44/135.01	c (130,0) c SimplifyTime_1 : 0.053124
13.44/135.01	c (130,0) c SimplifyTime_2 : 0.038725
13.44/135.01	c (130,0) c SimplifyTime_3 : 0.138560
13.44/135.01	c (130,0) c SimplifyTime_4 : 0.187136
13.44/135.01	c (130,0) c SimplifyTime_5 : 0.107516
13.44/135.01	c (130,0) c SimplifyTime_6 : 0.064044
13.44/135.01	c (130,0) c SimplifyTime_7 : 0.061081
13.44/135.01	c (130,0) c SimplifyTime_total : 0.805284
13.44/135.01	c (130,0) c SimplifyTime_winner : 0.053124
13.44/135.01	c (130,0) c UsedRateTime_0 : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_1 : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_2 : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_3 : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_4 : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_5 : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_6 : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_7 : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_total : 0.000000
13.44/135.01	c (130,0) c UsedRateTime_winner : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_0 : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_1 : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_2 : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_3 : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_4 : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_5 : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_6 : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_7 : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_total : 0.000000
13.44/135.01	c (130,0) c OverlapRateTime_winner : 0.000000
13.44/135.01	c (130,0) c
13.44/135.01	c (130,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.44/135.01	c (130,0) c
13.44/135.01	c (130,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.44/135.01	c (130,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.44/135.01	c (130,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.44/135.01	c (130,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.44/135.01	c (130,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
13.44/135.01	c (130,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.44/135.01	c (130,0) c | Initial random_seed   | 2051313396 | 1363246240 | 1430108503 | 1627347667 | 1755805444 | 1969104216 | 1328914127 |  280977039 |
13.44/135.01	c (130,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.44/135.01	c (130,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.44/135.01	c (130,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.44/135.01	c (130,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.44/135.01	c (130,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.44/135.01	c (130,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.44/135.01	c (130,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.44/135.01	c (130,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.44/135.01	c (130,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.44/135.01	c (130,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.44/135.01	c (130,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.44/135.01	c (130,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.44/135.01	c (130,0) 
13.44/135.01	c (130,0) s UNSATISFIABLE
13.44/135.02	c (130,0) SatSolver.solve End
13.44/135.02	c (130,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.44/135.02	c (130,0) Show results Begin
13.44/135.02	s UNSATISFIABLE
13.44/135.02	c (130,0) Show results End
13.44/135.02	c (130,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.44/135.02	c (130,0) 130,130,STOP-AFTER(ALL)
13.44/135.03	c END-Prog: Tue Sep 24 18:37:53 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 (12747 MiB free)
  memory of node 1: 16384 MiB (10071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405647-1569342978/watcher-4405647-1569342978 -o /tmp/evaluation-result-4405647-1569342978/solver-4405647-1569342978 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405647-1569342978.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=11434, runsolver pid=11431

[startup+0.100138 s]*
/proc/loadavg: 0.89 1.59 4.04 3/211 11456
/proc/meminfo: memFree=23276308/32770624 swapFree=66956496/67108860
[pid=11434] ppid=11431 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11434/stat : 11434 (scop.sh) S 11431 11434 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510569148 115843072 349 33554432000 4194304 5098028 140733877611152 140733877608408 139870837183100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34643968 140733877613348 140733877613676 140733877613676 140733877616589 0
/proc/11434/statm: 28282 349 296 221 0 87 0
[pid=11437] ppid=11434 vsize=27314120 memory=104080 CPUtime=0.11 cores=0-7
/proc/11437/stat : 11437 (java) S 11434 11434 8819 0 -1 1077944320 6628 0 0 0 9 2 0 0 20 0 20 0 510569148 27969658880 26020 33554432000 4194304 4196468 140734704450000 140734704432544 139865483923191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
/proc/11437/statm: 6828530 26020 2801 1 0 6790935 0
[pid=11437/tid=11438] ppid=11434 vsize=27314120 memory=7968444923817926810 CPUtime=0.09 cores=0-7
/proc/11437/task/11438/stat : 11438 (java) R 11434 11434 8819 0 -1 4202560 4709 0 0 0 7 2 0 0 20 0 20 0 510569148 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865455736704 139865467966821 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11439] ppid=11434 vsize=27314120 memory=732369883972754405 CPUtime=0 cores=0-7
/proc/11437/task/11439/stat : 11439 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865488165392 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11440] ppid=11434 vsize=27314120 memory=139745635300992 CPUtime=0 cores=0-7
/proc/11437/task/11440/stat : 11440 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865302321808 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11441] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11441/stat : 11441 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865301268752 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11442] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11442/stat : 11442 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865300216208 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11443] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11443/stat : 11443 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865299164176 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11444] ppid=11434 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11437/task/11444/stat : 11444 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865298111632 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11445] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11445/stat : 11445 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865297058576 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11446] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11446/stat : 11446 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 26020 33554432000 4194304 4196468 140734704450000 139865296006032 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11447] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11447/stat : 11447 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569152 27969658880 26020 33554432000 4194304 4196468 140734704450000 139863871121648 139865483934338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11448] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11448/stat : 11448 (java) S 11434 11434 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510569153 27969658880 26020 33554432000 4194304 4196468 140734704450000 139863261176992 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11449] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11449/stat : 11449 (java) S 11434 11434 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510569153 27969658880 26020 33554432000 4194304 4196468 140734704450000 139863126954736 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11450] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11450/stat : 11450 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569155 27969658880 26020 33554432000 4194304 4196468 140734704450000 139862752450512 139865483941787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11451] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11451/stat : 11451 (java) S 11434 11434 8819 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 20 0 510569155 27969658880 26020 33554432000 4194304 4196468 140734704450000 139863870069488 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11452] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11452/stat : 11452 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569155 27969658880 26532 33554432000 4194304 4196468 140734704450000 139863869016944 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11453] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11453/stat : 11453 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 26532 33554432000 4194304 4196468 140734704450000 139863867963888 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11454] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11454/stat : 11454 (java) S 11434 11434 8819 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 26532 33554432000 4194304 4196468 140734704450000 139863866911344 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11455] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11455/stat : 11455 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 26532 33554432000 4194304 4196468 140734704450000 139862254545376 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11456] ppid=11434 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11437/task/11456/stat : 11456 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 26532 33554432000 4194304 4196468 140734704450000 139863798049456 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105476 KiB

[startup+0.210254 s]*
/proc/loadavg: 0.89 1.59 4.04 3/211 11456
/proc/meminfo: memFree=23252752/32770624 swapFree=66956496/67108860
[pid=11434] ppid=11431 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11434/stat : 11434 (scop.sh) S 11431 11434 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510569148 115843072 349 33554432000 4194304 5098028 140733877611152 140733877608408 139870837183100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34643968 140733877613348 140733877613676 140733877613676 140733877616589 0
/proc/11434/statm: 28282 349 296 221 0 87 0
[pid=11437] ppid=11434 vsize=27314120 memory=123400 CPUtime=0.24 cores=0-7
/proc/11437/stat : 11437 (java) S 11434 11434 8819 0 -1 1077944320 12256 0 0 0 20 4 0 0 20 0 20 0 510569148 27969658880 30850 33554432000 4194304 4196468 140734704450000 140734704432544 139865483923191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
/proc/11437/statm: 6828530 30850 2945 1 0 6790935 0
[pid=11437/tid=11438] ppid=11434 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/11437/task/11438/stat : 11438 (java) R 11434 11434 8819 0 -1 4202560 9926 0 0 0 16 3 0 0 20 0 20 0 510569148 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865455722576 139865465486743 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11439] ppid=11434 vsize=27314120 memory=732369883972754405 CPUtime=0 cores=0-7
/proc/11437/task/11439/stat : 11439 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865488165392 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11440] ppid=11434 vsize=27314120 memory=139745635300992 CPUtime=0 cores=0-7
/proc/11437/task/11440/stat : 11440 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865302321808 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11441] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11441/stat : 11441 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865301268752 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11442] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11442/stat : 11442 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865300216208 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11443] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11443/stat : 11443 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865299164176 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11444] ppid=11434 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11437/task/11444/stat : 11444 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865298111632 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11445] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11445/stat : 11445 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865297058576 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11446] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11446/stat : 11446 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 30850 33554432000 4194304 4196468 140734704450000 139865296006032 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11447] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11447/stat : 11447 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569152 27969658880 30850 33554432000 4194304 4196468 140734704450000 139863871121648 139865483934338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11448] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11448/stat : 11448 (java) S 11434 11434 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510569153 27969658880 30850 33554432000 4194304 4196468 140734704450000 139863261176992 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11449] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11449/stat : 11449 (java) S 11434 11434 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510569153 27969658880 30850 33554432000 4194304 4196468 140734704450000 139863126954736 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11450] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11450/stat : 11450 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569155 27969658880 30850 33554432000 4194304 4196468 140734704450000 139862752450512 139865483941787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11451] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11451/stat : 11451 (java) S 11434 11434 8819 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 20 0 510569155 27969658880 30850 33554432000 4194304 4196468 140734704450000 139863870069488 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11452] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11452/stat : 11452 (java) S 11434 11434 8819 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 510569155 27969658880 30850 33554432000 4194304 4196468 140734704450000 139863869016944 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11453] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11453/stat : 11453 (java) S 11434 11434 8819 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 30850 33554432000 4194304 4196468 140734704450000 139863867963888 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11454] ppid=11434 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/11437/task/11454/stat : 11454 (java) S 11434 11434 8819 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 510569156 27969658880 30850 33554432000 4194304 4196468 140734704450000 139863866911344 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11455] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11455/stat : 11455 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 30850 33554432000 4194304 4196468 140734704450000 139862254545376 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11456] ppid=11434 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11437/task/11456/stat : 11456 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 30850 33554432000 4194304 4196468 140734704450000 139863798049456 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124796 KiB

[startup+0.309755 s]*
/proc/loadavg: 0.89 1.59 4.04 2/211 11456
/proc/meminfo: memFree=23250344/32770624 swapFree=66956496/67108860
[pid=11434] ppid=11431 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11434/stat : 11434 (scop.sh) S 11431 11434 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510569148 115843072 349 33554432000 4194304 5098028 140733877611152 140733877608408 139870837183100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34643968 140733877613348 140733877613676 140733877613676 140733877616589 0
/proc/11434/statm: 28282 349 296 221 0 87 0
[pid=11437] ppid=11434 vsize=27314120 memory=127708 CPUtime=0.42 cores=0-7
/proc/11437/stat : 11437 (java) S 11434 11434 8819 0 -1 1077944320 12828 0 0 0 38 4 0 0 20 0 20 0 510569148 27969658880 31927 33554432000 4194304 4196468 140734704450000 140734704432544 139865483923191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
/proc/11437/statm: 6828530 31927 3039 1 0 6790935 0
[pid=11437/tid=11438] ppid=11434 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11437/task/11438/stat : 11438 (java) R 11434 11434 8819 0 -1 4202560 10292 0 0 0 26 3 0 0 20 0 20 0 510569148 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865455717296 139865469088736 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11439] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11439/stat : 11439 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865488165392 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11440] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11440/stat : 11440 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865302321808 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11441] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11441/stat : 11441 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865301268752 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11442] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11442/stat : 11442 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865300216208 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11443] ppid=11434 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/11437/task/11443/stat : 11443 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865299164176 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11444] ppid=11434 vsize=27314120 memory=139745485222831 CPUtime=0 cores=0-7
/proc/11437/task/11444/stat : 11444 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865298111632 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11445] ppid=11434 vsize=27314120 memory=139745485225136 CPUtime=0 cores=0-7
/proc/11437/task/11445/stat : 11445 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865297058576 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11446] ppid=11434 vsize=27314120 memory=139745485227440 CPUtime=0 cores=0-7
/proc/11437/task/11446/stat : 11446 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27969658880 31927 33554432000 4194304 4196468 140734704450000 139865296006032 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11447] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11447/stat : 11447 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569152 27969658880 31927 33554432000 4194304 4196468 140734704450000 139863871121648 139865483934338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11448] ppid=11434 vsize=27314120 memory=279490970461840 CPUtime=0 cores=0-7
/proc/11437/task/11448/stat : 11448 (java) S 11434 11434 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510569153 27969658880 31927 33554432000 4194304 4196468 140734704450000 139863261176992 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11449] ppid=11434 vsize=27314120 memory=279490970468752 CPUtime=0 cores=0-7
/proc/11437/task/11449/stat : 11449 (java) S 11434 11434 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510569153 27969658880 31927 33554432000 4194304 4196468 140734704450000 139863126954736 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11450] ppid=11434 vsize=27314120 memory=279490970410032 CPUtime=0 cores=0-7
/proc/11437/task/11450/stat : 11450 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569155 27969658880 31927 33554432000 4194304 4196468 140734704450000 139862752450512 139865483941787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11451] ppid=11434 vsize=27314120 memory=279490970482576 CPUtime=0.02 cores=0-7
/proc/11437/task/11451/stat : 11451 (java) R 11434 11434 8819 0 -1 4202560 429 0 0 0 2 0 0 0 20 0 20 0 510569155 27969658880 31927 33554432000 4194304 4196468 140734704450000 139863870069488 139865463179784 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11452] ppid=11434 vsize=27314120 memory=279490970489488 CPUtime=0.01 cores=0-7
/proc/11437/task/11452/stat : 11452 (java) S 11434 11434 8819 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 510569155 27969658880 31927 33554432000 4194304 4196468 140734704450000 139863869016944 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11453] ppid=11434 vsize=27314120 memory=279490970487184 CPUtime=0.01 cores=0-7
/proc/11437/task/11453/stat : 11453 (java) S 11434 11434 8819 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 510569156 27969658880 31927 33554432000 4194304 4196468 140734704450000 139863867963888 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11454] ppid=11434 vsize=27314120 memory=279490970503344 CPUtime=0.07 cores=0-7
/proc/11437/task/11454/stat : 11454 (java) S 11434 11434 8819 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 20 0 510569156 27969658880 31927 33554432000 4194304 4196468 140734704450000 139863866911344 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11455] ppid=11434 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11437/task/11455/stat : 11455 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 31927 33554432000 4194304 4196468 140734704450000 139862254545376 139865483933397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11456] ppid=11434 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11437/task/11456/stat : 11456 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569156 27969658880 31927 33554432000 4194304 4196468 140734704450000 139863798049456 139865483934338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129104 KiB

[startup+0.700948 s]
/proc/loadavg: 0.89 1.59 4.04 2/211 11456
/proc/meminfo: memFree=23228764/32770624 swapFree=66956496/67108860
[pid=11434] ppid=11431 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11434/stat : 11434 (scop.sh) S 11431 11434 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510569148 115843072 349 33554432000 4194304 5098028 140733877611152 140733877608408 139870837183100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34643968 140733877613348 140733877613676 140733877613676 140733877616589 0
/proc/11434/statm: 28282 349 296 221 0 87 0
[pid=11437] ppid=11434 vsize=27320392 memory=163696 CPUtime=1 cores=0-7
/proc/11437/stat : 11437 (java) S 11434 11434 8819 0 -1 1077944320 20543 0 0 0 93 7 0 0 20 0 20 0 510569148 27976081408 40924 33554432000 4194304 4196468 140734704450000 140734704432544 139865483923191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
/proc/11437/statm: 6830098 40924 3192 1 0 6791447 0
[pid=11437/tid=11438] ppid=11434 vsize=27320392 memory=279490970798272 CPUtime=0.68 cores=0-7
/proc/11437/task/11438/stat : 11438 (java) R 11434 11434 8819 0 -1 4202560 17351 0 0 0 62 6 0 0 20 0 20 0 510569148 27976081408 40924 33554432000 4194304 4196468 140734704450000 139865455760400 139864955783201 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11439] ppid=11434 vsize=27320392 memory=1560 CPUtime=0 cores=0-7
/proc/11437/task/11439/stat : 11439 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27976081408 40924 33554432000 4194304 4196468 140734704450000 139865488165392 139865483933397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11440] ppid=11434 vsize=27320392 memory=976 CPUtime=0 cores=0-7
/proc/11437/task/11440/stat : 11440 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510569151 27976081408 40924 33554432000 4194304 4196468 140734704450000 139865302321808 139865483933397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0
[pid=11437/tid=11441] ppid=11434 vsize=27320392 memory=772 CPUtime=0 cores=0-7
/proc/11437/task/11441/stat : 11441 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510569151 27976081408 40924 33554432000 4194304 4196468 140734704450000 139865301268752 139865483933397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35807232 140734704456426 140734704456854 140734704456854 140734704459727 0

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

/proc/11457/task/11464/stat : 11464 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055176170128 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11465] ppid=11434 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/11457/task/11465/stat : 11465 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055175117072 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11466] ppid=11434 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/11457/task/11466/stat : 11466 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055174064528 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11467] ppid=11434 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/11457/task/11467/stat : 11467 (java) S 11434 11434 8819 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510569588 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054520388336 140055695428226 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11468] ppid=11434 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/11457/task/11468/stat : 11468 (java) S 11434 11434 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510569589 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054320113312 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11469] ppid=11434 vsize=8414124 memory=21992 CPUtime=0 cores=0-7
/proc/11457/task/11469/stat : 11469 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569589 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054051677424 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11470] ppid=11434 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/11457/task/11470/stat : 11470 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140053677169104 140055695435675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11471] ppid=11434 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/11457/task/11471/stat : 11471 (java) S 11434 11434 8819 0 -1 1077944384 733 0 0 0 8 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054519335152 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11472] ppid=11434 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/11457/task/11472/stat : 11472 (java) S 11434 11434 8819 0 -1 1077944384 236 0 0 0 6 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054518282608 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11473] ppid=11434 vsize=8414124 memory=590019935676233005 CPUtime=0.05 cores=0-7
/proc/11457/task/11473/stat : 11473 (java) S 11434 11434 8819 0 -1 1077944384 283 0 0 0 5 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054517229552 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11474] ppid=11434 vsize=8414124 memory=6944656592455097440 CPUtime=0.22 cores=0-7
/proc/11457/task/11474/stat : 11474 (java) S 11434 11434 8819 0 -1 1077944384 1031 0 0 0 22 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054516177008 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11475] ppid=11434 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/11457/task/11475/stat : 11475 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140053179263968 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11476] ppid=11434 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/11457/task/11476/stat : 11476 (java) S 11434 11434 8819 0 -1 1077944384 10 0 0 0 0 9 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054515125424 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11478] ppid=11434 vsize=8414124 memory=120808 CPUtime=0 cores=0-7
/proc/11457/task/11478/stat : 11478 (java) S 11434 11434 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510569685 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054507091392 140055695441689 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11480] ppid=11434 vsize=8414124 memory=580496 CPUtime=0 cores=0-7
/proc/11457/task/11480/stat : 11480 (java) S 11434 11434 8819 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510569685 8616062976 30202 33554432000 4194304 4196468 140720994997552 140052508163600 140055695439005 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11481] ppid=11434 vsize=8414124 memory=-8671793694086820242 CPUtime=0 cores=0-7
/proc/11457/task/11481/stat : 11481 (java) S 11434 11434 8819 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510569685 8616062976 30202 33554432000 4194304 4196468 140720994997552 140052776599184 140055695439005 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11490] ppid=11434 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/11457/task/11490/stat : 11490 (java) S 11434 11434 8819 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510569687 8616062976 30202 33554432000 4194304 4196468 140720994997552 140052239735728 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
Current children cumulated CPU time: 936.97 s
Current children cumulated vsize: 9253920 KiB
Current children cumulated memory: 718280 KiB

[startup+134.801 s]
/proc/loadavg: 6.73 3.57 4.44 2/217 11498
/proc/meminfo: memFree=22661892/32770624 swapFree=66956496/67108860
[pid=11434] ppid=11431 vsize=113128 memory=1476 CPUtime=12.07 cores=0-7
/proc/11434/stat : 11434 (scop.sh) S 11431 11434 8819 0 -1 4202496 583 32371 0 0 0 0 1178 29 20 0 1 0 510569148 115843072 369 33554432000 4194304 5098028 140733877611152 140733877607896 139870837183100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34643968 140733877613348 140733877613676 140733877613676 140733877616589 0
/proc/11434/statm: 28282 369 311 221 0 87 0
[pid=11457] ppid=11434 vsize=8414124 memory=120808 CPUtime=1.34 cores=0-7
/proc/11457/stat : 11457 (java) S 11434 11434 8819 0 -1 1077944320 21732 0 0 0 126 8 0 0 20 0 24 0 510569585 8616062976 30202 33554432000 4194304 4196468 140720994997552 140720994980096 140055695417079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
/proc/11457/statm: 2103531 30202 3208 1 0 2064875 0
[pid=11477] ppid=11457 vsize=726668 memory=595996 CPUtime=923.96 cores=0-7
/proc/11477/stat : 11477 (manyglucose-4.1) S 11457 11434 8819 0 -1 1077944320 737495 0 0 0 92253 143 0 0 20 0 2 0 510569685 744108032 148999 33554432000 4194304 4454172 140734058198240 140734058196624 139651051171575 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 35897344 140734058206057 140734058206256 140734058206256 140734058209210 0
/proc/11477/statm: 181667 148999 419 64 0 177335 0
[pid=11477/tid=11488] ppid=11457 vsize=726668 memory=595952 CPUtime=125.66 cores=0-7
/proc/11477/task/11488/stat : 11488 (manyglucose-4.1) R 11457 11434 8819 0 -1 4202560 100981 0 0 0 12548 18 0 0 20 0 2 0 510569687 744108032 148999 33554432000 4194304 4454172 140734058198240 139650985597960 4350367 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 35897344 140734058206057 140734058206256 140734058206256 140734058209210 0
[pid=11457/tid=11458] ppid=11434 vsize=8414124 memory=111632 CPUtime=0.78 cores=0-7
/proc/11457/task/11458/stat : 11458 (java) S 11434 11434 8819 0 -1 1077944384 18041 0 0 0 73 5 0 0 20 0 24 0 510569586 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055667257248 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11459] ppid=11434 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/11457/task/11459/stat : 11459 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055699659792 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11460] ppid=11434 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/11457/task/11460/stat : 11460 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055180381328 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11461] ppid=11434 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/11457/task/11461/stat : 11461 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055179328272 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11462] ppid=11434 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/11457/task/11462/stat : 11462 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055178275728 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11463] ppid=11434 vsize=8414124 memory=4864 CPUtime=0 cores=0-7
/proc/11457/task/11463/stat : 11463 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055177222672 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11464] ppid=11434 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/11457/task/11464/stat : 11464 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055176170128 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11465] ppid=11434 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/11457/task/11465/stat : 11465 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055175117072 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11466] ppid=11434 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/11457/task/11466/stat : 11466 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30202 33554432000 4194304 4196468 140720994997552 140055174064528 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11467] ppid=11434 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/11457/task/11467/stat : 11467 (java) S 11434 11434 8819 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510569588 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054520388336 140055695428226 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11468] ppid=11434 vsize=8414124 memory=2532 CPUtime=0 cores=0-7
/proc/11457/task/11468/stat : 11468 (java) S 11434 11434 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510569589 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054320113312 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11469] ppid=11434 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/11457/task/11469/stat : 11469 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569589 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054051677424 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11470] ppid=11434 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/11457/task/11470/stat : 11470 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140053677169104 140055695435675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11471] ppid=11434 vsize=8414124 memory=1772 CPUtime=0.08 cores=0-7
/proc/11457/task/11471/stat : 11471 (java) S 11434 11434 8819 0 -1 1077944384 733 0 0 0 8 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054519335152 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11472] ppid=11434 vsize=8414124 memory=111632 CPUtime=0.06 cores=0-7
/proc/11457/task/11472/stat : 11472 (java) S 11434 11434 8819 0 -1 1077944384 236 0 0 0 6 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054518282608 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11473] ppid=11434 vsize=8414124 memory=804 CPUtime=0.05 cores=0-7
/proc/11457/task/11473/stat : 11473 (java) S 11434 11434 8819 0 -1 1077944384 283 0 0 0 5 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054517229552 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11474] ppid=11434 vsize=8414124 memory=1724 CPUtime=0.22 cores=0-7
/proc/11457/task/11474/stat : 11474 (java) S 11434 11434 8819 0 -1 1077944384 1031 0 0 0 22 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054516177008 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11475] ppid=11434 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/11457/task/11475/stat : 11475 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140053179263968 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11476] ppid=11434 vsize=8414124 memory=920 CPUtime=0.09 cores=0-7
/proc/11457/task/11476/stat : 11476 (java) S 11434 11434 8819 0 -1 1077944384 10 0 0 0 0 9 0 0 20 0 24 0 510569592 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054515125424 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11478] ppid=11434 vsize=8414124 memory=4864 CPUtime=0 cores=0-7
/proc/11457/task/11478/stat : 11478 (java) S 11434 11434 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510569685 8616062976 30202 33554432000 4194304 4196468 140720994997552 140054507091392 140055695441689 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11480] ppid=11434 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/11457/task/11480/stat : 11480 (java) S 11434 11434 8819 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510569685 8616062976 30202 33554432000 4194304 4196468 140720994997552 140052508163600 140055695439005 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11481] ppid=11434 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/11457/task/11481/stat : 11481 (java) S 11434 11434 8819 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510569685 8616062976 30202 33554432000 4194304 4196468 140720994997552 140052776599184 140055695439005 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11490] ppid=11434 vsize=8414124 memory=3448 CPUtime=0 cores=0-7
/proc/11457/task/11490/stat : 11490 (java) S 11434 11434 8819 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510569687 8616062976 30202 33554432000 4194304 4196468 140720994997552 140052239735728 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
Current children cumulated CPU time: 937.37 s
Current children cumulated vsize: 9253920 KiB
Current children cumulated memory: 718280 KiB

[startup+135.001 s]*
/proc/loadavg: 6.27 3.52 4.42 5/216 11498
/proc/meminfo: memFree=22661864/32770624 swapFree=66956496/67108860
[pid=11434] ppid=11431 vsize=113128 memory=1476 CPUtime=12.07 cores=0-7
/proc/11434/stat : 11434 (scop.sh) S 11431 11434 8819 0 -1 4202496 583 32371 0 0 0 0 1178 29 20 0 1 0 510569148 115843072 369 33554432000 4194304 5098028 140733877611152 140733877607896 139870837183100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34643968 140733877613348 140733877613676 140733877613676 140733877616589 0
/proc/11434/statm: 28282 369 311 221 0 87 0
[pid=11457] ppid=11434 vsize=8414124 memory=120944 CPUtime=1.37 cores=0-7
/proc/11457/stat : 11457 (java) S 11434 11434 8819 0 -1 1077944320 21762 0 0 0 129 8 0 0 20 0 24 0 510569585 8616062976 30236 33554432000 4194304 4196468 140720994997552 140720994980096 140055695417079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
/proc/11457/statm: 2103531 30236 3208 1 0 2064875 0
[pid=11457/tid=11458] ppid=11434 vsize=8414124 memory=6791534058613427641 CPUtime=0.78 cores=0-7
/proc/11457/task/11458/stat : 11458 (java) S 11434 11434 8819 0 -1 1077944384 18041 0 0 0 73 5 0 0 20 0 24 0 510569586 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055667257248 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11459] ppid=11434 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/11457/task/11459/stat : 11459 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055699659792 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11460] ppid=11434 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/11457/task/11460/stat : 11460 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055180381328 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11461] ppid=11434 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/11457/task/11461/stat : 11461 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055179328272 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11462] ppid=11434 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/11457/task/11462/stat : 11462 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055178275728 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11463] ppid=11434 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/11457/task/11463/stat : 11463 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055177222672 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11464] ppid=11434 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11457/task/11464/stat : 11464 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055176170128 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11465] ppid=11434 vsize=8414124 memory=120808 CPUtime=0 cores=0-7
/proc/11457/task/11465/stat : 11465 (java) S 11434 11434 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055175117072 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11466] ppid=11434 vsize=8414124 memory=593900 CPUtime=0 cores=0-7
/proc/11457/task/11466/stat : 11466 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569587 8616062976 30236 33554432000 4194304 4196468 140720994997552 140055174064528 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11467] ppid=11434 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/11457/task/11467/stat : 11467 (java) S 11434 11434 8819 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510569588 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054520388336 140055695428226 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11468] ppid=11434 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/11457/task/11468/stat : 11468 (java) S 11434 11434 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510569589 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054320113312 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11469] ppid=11434 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/11457/task/11469/stat : 11469 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569589 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054051677424 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11470] ppid=11434 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/11457/task/11470/stat : 11470 (java) S 11434 11434 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510569592 8616062976 30236 33554432000 4194304 4196468 140720994997552 140053677169104 140055695435675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11471] ppid=11434 vsize=8414124 memory=-8671793694086820242 CPUtime=0.08 cores=0-7
/proc/11457/task/11471/stat : 11471 (java) S 11434 11434 8819 0 -1 1077944384 736 0 0 0 8 0 0 0 20 0 24 0 510569592 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054519335152 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11472] ppid=11434 vsize=8414124 memory=51904 CPUtime=0.06 cores=0-7
/proc/11457/task/11472/stat : 11472 (java) S 11434 11434 8819 0 -1 1077944384 237 0 0 0 6 0 0 0 20 0 24 0 510569592 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054518282608 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11473] ppid=11434 vsize=8414124 memory=984 CPUtime=0.05 cores=0-7
/proc/11457/task/11473/stat : 11473 (java) S 11434 11434 8819 0 -1 1077944384 283 0 0 0 5 0 0 0 20 0 24 0 510569592 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054517229552 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11474] ppid=11434 vsize=8414124 memory=2032 CPUtime=0.23 cores=0-7
/proc/11457/task/11474/stat : 11474 (java) R 11434 11434 8819 0 -1 4202560 1058 0 0 0 23 0 0 0 20 0 24 0 510569592 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054516177008 140055688513915 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11475] ppid=11434 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/11457/task/11475/stat : 11475 (java) S 11434 11434 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510569592 8616062976 30236 33554432000 4194304 4196468 140720994997552 140053179263968 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11476] ppid=11434 vsize=8414124 memory=-7003737579269690708 CPUtime=0.09 cores=0-7
/proc/11457/task/11476/stat : 11476 (java) S 11434 11434 8819 0 -1 1077944384 10 0 0 0 0 9 0 0 20 0 24 0 510569592 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054515125424 140055695428226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11478] ppid=11434 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/11457/task/11478/stat : 11478 (java) S 11434 11434 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510569685 8616062976 30236 33554432000 4194304 4196468 140720994997552 140054507091392 140055695441689 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11480] ppid=11434 vsize=8414124 memory=1328 CPUtime=0.01 cores=0-7
/proc/11457/task/11480/stat : 11480 (java) R 11434 11434 8819 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 510569685 8616062976 30236 33554432000 4194304 4196468 140720994997552 140052508169760 140055695438909 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11481] ppid=11434 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/11457/task/11481/stat : 11481 (java) S 11434 11434 8819 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510569685 8616062976 30236 33554432000 4194304 4196468 140720994997552 140052776599184 140055695439005 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
[pid=11457/tid=11490] ppid=11434 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/11457/task/11490/stat : 11490 (java) S 11434 11434 8819 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510569687 8616062976 30236 33554432000 4194304 4196468 140720994997552 140052239735728 140055695427285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140720995001335 140720995001494 140720995001494 140720995004367 0
Current children cumulated CPU time: 13.44 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122420 KiB

Child status: 0
Real time (s): 135.039
CPU time (s): 937.691
CPU user time (s): 935.845
CPU system time (s): 1.84674
CPU usage (%): 694.388
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1066028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 935.845
system time used= 1.84674
maximum resident set size= 1070084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 792402
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18176
involuntary context switches= 8379


# summary of solver processes directly reported to runsolver:
#   pid: 11434
#   total CPU time (s): 937.691
#   total CPU user time (s): 935.845
#   total CPU system time (s): 1.84674

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32517 second user time and 1.87885 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 18:35:38
IDJOB=4405647
IDBENCH=134577
IDSOLVER=2868
FILE ID=node151/4405647-1569342978
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-2_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid 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-4405647-1569342978/watcher-4405647-1569342978 -o /tmp/evaluation-result-4405647-1569342978/solver-4405647-1569342978 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405647-1569342978.xml

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

MD5SUM BENCH= bca347db5d1c552995f700e5a754db73
RANDOM SEED=499698120

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23366256 kB
MemAvailable:   31796132 kB
Buffers:           92540 kB
Cached:          8496864 kB
SwapCached:        50744 kB
Active:          2731148 kB
Inactive:        5915892 kB
Active(anon):       5148 kB
Inactive(anon):   106476 kB
Active(file):    2726000 kB
Inactive(file):  5809416 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956496 kB
Dirty:             20588 kB
Writeback:             0 kB
AnonPages:        184316 kB
Mapped:            55040 kB
Shmem:             45960 kB
Slab:             351700 kB
SReclaimable:     322920 kB
SUnreclaim:        28780 kB
KernelStack:        3824 kB
PageTables:         5712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-24 18:37:53