Trace number 4405597

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 922.212 129.281

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-8_X2.xml
MD5SUM5c0d10b65067a89bbe36375c556425e1
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark166.47
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-31535-serial-file.bin HOME/instance-4405597-1569343161.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:37:41 CEST 2019
0.66/0.56	c PID: 31538
0.66/0.56	c IP: 172.20.3.105
0.66/0.56	c HOST: node105.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.02/1.12	c (0,0) Parsing End
2.02/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.02/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.13	c (0,0) Constraint Name Generate Begin
2.02/1.14	c (0,0) Ctr:HOME/instance-4405597-1569343161.xml,ExtensionConflict:ExtensionSupport:Var
2.02/1.14	c (0,0) Constraint Name Generate End
2.02/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.14	c (0,0) CSP to CSPinCNF Begin
3.13/1.63	c (1,1) translated 127 (10%) constraints
3.56/1.74	c (1,1) translated 253 (20%) constraints
3.97/1.81	c (1,1) translated 379 (30%) constraints
3.97/1.88	c (1,1) translated 505 (40%) constraints
4.39/1.94	c (1,1) translated 631 (50%) constraints
4.39/1.99	c (1,1) translated 757 (60%) constraints
5.20/2.12	c (1,1) translated 883 (70%) constraints
5.78/2.36	c (1,1) translated 1009 (80%) constraints
6.02/2.58	c (2,2) translated 1135 (90%) constraints
6.57/2.89	c (2,2) translated 1261 (100%) constraints
6.57/2.89	c (2,2) ===========================================
6.93/2.91	c (2,2) Hybrid: #OE=793, #LE=0
6.93/2.91	c (2,2) Hybrid
6.93/2.91	c (2,2) ===========================================
6.93/2.98	c (2,2) translated 1883 (10%) constraints
7.38/3.04	c (2,2) translated 3765 (20%) constraints
7.38/3.09	c (2,2) translated 5647 (30%) constraints
7.77/3.15	c (2,2) translated 7529 (40%) constraints
8.13/3.20	c (2,2) translated 9411 (50%) constraints
8.13/3.25	c (2,2) translated 11294 (60%) constraints
8.53/3.30	c (2,2) translated 13176 (70%) constraints
8.53/3.34	c (2,2) translated 15058 (80%) constraints
8.53/3.37	c (2,2) translated 16940 (90%) constraints
8.85/3.41	c (2,2) translated 18822 (100%) constraints
8.85/3.41	c (2,2) CSP to CSPinCNF End
8.85/3.41	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.85/3.41	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.85/3.41	c (2,2) CSPinCNF Propagation Begin
9.85/3.75	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.85/3.75	c (3,3) CSPinCNF Propagation End
9.85/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.85/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.85/3.76	c (3,3) Hybrid: #OE=793, #LE=0
9.85/3.76	c (3,3) Simplify CSPinCNF Begin
10.07/3.82	c (3,3) Simplify CSPinCNF End
10.07/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.07/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.07/3.82	c (3,3) Calculate Precise Domain Begin
10.07/3.82	c (3,3) 0 values are removed by re-calculation
10.07/3.82	c (3,3) Calculate Precise Domain End
10.07/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.07/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.07/3.82	c (3,3) CSPinCNF to SatSolver Begin
10.39/3.97	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.72/4.03	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.72/4.08	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.13/4.13	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.13/4.16	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.13/4.19	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.48/4.21	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.48/4.22	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.48/4.23	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.48/4.25	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.48/4.25	c (3,3) CSPinCNF to SatSolver End
11.48/4.25	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.48/4.25	c (3,3) 2482 bool, 15697 clause
11.48/4.25	c (3,3) Export Begin
11.64/4.35	c (3,3) Export to HOME/scop-31535-serial-file.bin
11.64/4.35	c (3,3) Export End
11.64/4.35	c (3,3) Export File Size: 0.02 MB
11.64/4.35	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.64/4.35	c END-Prog: Tue Sep 24 17:37:45 CEST 2019
11.64/4.38	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-31535-serial-file.bin
11.77/4.84	c (0,0) Read Serial File Begin
11.77/4.84	c (0,0) HOME/scop-31535-serial-file.bin
12.58/5.07	c (0,0) Read Serial File End
12.58/5.08	
12.58/5.08	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.58/5.08	(Solving Process)
12.58/5.08	
12.77/5.11	c BEGIN-Prog: Tue Sep 24 17:37:46 CEST 2019
12.77/5.11	c PID: 31558
12.77/5.11	c IP: 172.20.3.105
12.77/5.11	c HOST: node105.alineos.net
12.77/5.11	c (0,0) SatSolver.solve Begin
12.77/5.11	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405597-1569343161.xml-scop-31538.cnf
12.77/5.14	c (0,0) c
12.77/5.14	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
12.77/5.14	c (0,0) c
12.77/5.14	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.77/5.14	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.77/5.14	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.77/5.14	c (0,0) c |                                                                                                       |
12.77/5.14	c (0,0) c |  Number of variables:          2480                                                                   |
12.77/5.14	c (0,0) c |  Number of clauses:           15697                                                                   |
12.77/5.14	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.77/5.14	c (0,0) c |                                                                                                       |
12.77/5.14	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.77/5.15	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.77/5.15	c (0,0) c |                                                                                                       |
12.77/5.15	c (0,0) c |  Generating clones                                                                                    |
12.77/5.15	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.77/5.15	c (0,0) c ========================================================================================================|
12.77/5.15	c (0,0) c
12.77/5.16	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.77/5.16	c (0,0) c
12.77/5.16	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.77/5.16	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.77/5.16	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.77/5.16	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.77/5.16	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.77/5.16	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.77/5.16	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.77/5.16	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.77/5.16	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.77/5.16	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.77/5.16	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.77/5.16	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.77/5.16	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.77/5.16	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.77/5.16	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.77/5.16	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.77/5.16	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.77/5.16	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.77/5.16	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.96/34.99	c (30,0) c
241.96/34.99	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
241.96/34.99	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
241.96/34.99	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
241.96/34.99	c (30,0) c |  0 |    366 |     545633 |     297021 |     9239 |    65640 |    44212 |   294196 |    17405 |      302 |  20 |  0.847 |
241.96/34.99	c (30,0) c |  1 |    385 |     562239 |     306870 |     9425 |    39689 |    46003 |   290625 |    19190 |      314 |  20 |  0.847 |
241.96/34.99	c (30,0) c |  2 |    355 |     557807 |     297292 |     9351 |    65904 |    44323 |   293784 |    16861 |      313 |  20 |  0.848 |
241.96/34.99	c (30,0) c |  3 |    408 |     554748 |     298560 |     9370 |    67177 |    44881 |   287220 |    14733 |      305 |  20 |  0.848 |
241.96/34.99	c (30,0) c |  4 |    292 |     537289 |     296361 |     9180 |    64966 |    42444 |   301474 |    12578 |      310 |  20 |  0.847 |
241.96/34.99	c (30,0) c |  5 |    333 |     506190 |     270272 |     9228 |    38888 |    40258 |   293840 |    14656 |      294 |  20 |  0.847 |
241.96/34.99	c (30,0) c |  6 |    464 |     594702 |     318483 |     9383 |    51299 |    45966 |   299525 |    17214 |      312 |  20 |  0.847 |
241.96/34.99	c (30,0) c |  7 |    368 |     573458 |     311549 |     9554 |    44359 |    47737 |   281690 |    18216 |      313 |  20 |  0.848 |
241.96/34.99	c (30,0) c 
241.96/34.99	c (30,0) c synthesis     2396409 conflicts   178397394 propagations    10458 conflicts/sec   778539 propagations/sec
241.96/34.99	c (30,0) c real: 29.8584 s, cpu: 229.144 s, memory: 629.53 Mb
455.73/64.99	c (60,0) c
455.73/64.99	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
455.73/64.99	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
455.73/64.99	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
455.73/64.99	c (60,0) c |  0 |    405 |     884041 |     469308 |     9285 |    79122 |    60501 |   419441 |    28131 |      575 |  20 |  0.848 |
455.73/64.99	c (60,0) c |  1 |    472 |     878917 |     468893 |     9454 |    78705 |    65905 |   423177 |    30574 |      578 |  20 |  0.847 |
455.73/64.99	c (60,0) c |  2 |    411 |     876970 |     460693 |     9454 |    70513 |    60544 |   421702 |    29144 |      574 |  20 |  0.848 |
455.73/64.99	c (60,0) c |  3 |    463 |     854184 |     456093 |     9430 |    65902 |    61365 |   418938 |    26801 |      561 |  20 |  0.848 |
455.73/64.99	c (60,0) c |  4 |    397 |     853818 |     460263 |     9328 |    70082 |    59724 |   426013 |    26751 |      572 |  20 |  0.847 |
455.73/64.99	c (60,0) c |  5 |    422 |     839209 |     445436 |     9355 |    55255 |    60923 |   427459 |    27648 |      579 |  20 |  0.848 |
455.73/64.99	c (60,0) c |  6 |    555 |     915709 |     481879 |     9413 |    91690 |    64305 |   423304 |    29975 |      575 |  20 |  0.848 |
455.73/64.99	c (60,0) c |  7 |    385 |     881993 |     470438 |     9573 |    80251 |    62235 |   422637 |    28407 |      580 |  20 |  0.848 |
455.73/64.99	c (60,0) c 
455.73/64.99	c (60,0) c synthesis     3713003 conflicts   274154538 propagations     8389 conflicts/sec   619411 propagations/sec
455.73/64.99	c (60,0) c real: 59.8584 s, cpu: 442.605 s, memory: 693.58 Mb
668.61/93.99	c (89,0) c
668.61/93.99	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
668.61/93.99	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
668.61/93.99	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
668.61/93.99	c (89,0) c |  0 |    458 |    1146259 |     599071 |     9305 |    62485 |    73654 |   496830 |    37877 |      823 |  20 |  0.848 |
668.61/93.99	c (89,0) c |  1 |    543 |    1144532 |     599783 |     9480 |    63190 |    78323 |   495347 |    40168 |      823 |  20 |  0.847 |
668.61/93.99	c (89,0) c |  2 |    469 |    1152269 |     597322 |     9491 |    60743 |    73963 |   503835 |    38776 |      824 |  20 |  0.848 |
668.61/93.99	c (89,0) c |  3 |    500 |    1107487 |     582718 |     9453 |    97525 |    70417 |   501981 |    36660 |      804 |  20 |  0.847 |
668.61/93.99	c (89,0) c |  4 |    497 |    1116571 |     591000 |     9358 |    54412 |    73398 |   502177 |    37572 |      824 |  20 |  0.848 |
668.61/93.99	c (89,0) c |  5 |    472 |    1093534 |     575043 |     9384 |    89856 |    72163 |   499306 |    37294 |      823 |  20 |  0.847 |
668.61/93.99	c (89,0) c |  6 |    627 |    1183376 |     614262 |     9439 |    77674 |    75296 |   503308 |    39086 |      821 |  20 |  0.847 |
668.61/93.99	c (89,0) c |  7 |    429 |    1145573 |     598736 |     9583 |    62150 |    70266 |   508970 |    39026 |      823 |  20 |  0.847 |
668.61/93.99	c (89,0) c 
668.61/93.99	c (89,0) c synthesis     4757935 conflicts   351357778 propagations     7260 conflicts/sec   536123 propagations/sec
668.61/93.99	c (89,0) c real: 88.8584 s, cpu: 655.368 s, memory: 723.21 Mb
883.60/122.99	c (118,0) c
883.60/122.99	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
883.60/122.99	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
883.60/122.99	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
883.60/122.99	c (118,0) c |  0 |    487 |    1369529 |     710191 |     9322 |    53777 |    83267 |   573204 |    47382 |     1068 |  20 |  1.331 |
883.60/122.99	c (118,0) c |  1 |    589 |    1363334 |     706152 |     9494 |    53540 |    85587 |   573313 |    49217 |     1068 |  20 |  1.492 |
883.60/122.99	c (118,0) c |  2 |    515 |    1354028 |     700599 |     9503 |   107001 |    84526 |   569869 |    47454 |     1068 |  20 |  1.009 |
883.60/122.99	c (118,0) c |  3 |    526 |    1333272 |     694953 |     9461 |   103162 |    78539 |   571450 |    45786 |     1048 |  20 |  1.089 |
883.60/122.99	c (118,0) c |  4 |    523 |    1334962 |     698412 |     9369 |    94530 |    82142 |   574936 |    46232 |     1060 |  20 |  1.371 |
883.60/122.99	c (118,0) c |  5 |    502 |    1302704 |     680321 |     9402 |    88982 |    82872 |   568776 |    45813 |     1060 |  20 |  0.969 |
883.60/122.99	c (118,0) c |  6 |    678 |    1394205 |     717202 |     9456 |    68953 |    84123 |   563782 |    47456 |     1052 |  20 |  0.968 |
883.60/122.99	c (118,0) c |  7 |    467 |    1352059 |     701889 |     9597 |   108209 |    81007 |   577434 |    48296 |     1065 |  20 |  1.371 |
883.60/122.99	c (118,0) c 
883.60/122.99	c (118,0) c synthesis     5609719 conflicts   415941421 propagations     6446 conflicts/sec   477966 propagations/sec
883.60/122.99	c (118,0) c real: 117.858 s, cpu: 870.232 s, memory: 723.21 Mb
922.04/129.24	c (124,0) c
922.04/129.24	c (124,0) c real time : 124.102 s
922.04/129.24	c (124,0) c cpu time  : 907.99 s
922.04/129.24	c (124,0) c
922.04/129.24	c (124,0) c
922.04/129.24	c (124,0) c
922.04/129.24	c (124,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
922.04/129.24	c (124,0) c
922.04/129.24	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.24	c (124,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
922.04/129.24	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.24	c (124,0) c | Conflicts     |         5750377 |     727029 |     721841 |     715371 |     716405 |     717081 |     696136 |     736448 |     720066 |
922.04/129.24	c (124,0) c | Decisions     |        11092438 |    1404692 |    1394897 |    1385768 |    1376864 |    1373695 |    1334624 |    1433096 |    1388802 |
922.04/129.24	c (124,0) c | Propagations  |       426918465 |   53829263 |   53370969 |   53207630 |   53179690 |   53182093 |   52403944 |   54339638 |   53405238 |
922.04/129.24	c (124,0) c | ReduceDBs     |             183 |         23 |         23 |         23 |         23 |         23 |         22 |         23 |         23 |
922.04/129.24	c (124,0) c | SimpDBs       |              80 |         11 |          9 |         10 |         10 |         11 |          7 |         10 |         12 |
922.04/129.24	c (124,0) c | Restarts      |            4311 |        489 |        591 |        518 |        531 |        526 |        502 |        685 |        469 |
922.04/129.24	c (124,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
922.04/129.24	c (124,0) c | PropBinClauses|       897903580 |  112569136 |  111377803 |  112229502 |  113018959 |  112075960 |  112703705 |  112551007 |  111377508 |
922.04/129.24	c (124,0) c | PropPreBlocker|     29879304158 | 3731253295 | 3743953572 | 3737216701 | 3701526309 | 3796702828 | 3684413936 | 3781591281 | 3702646236 |
922.04/129.24	c (124,0) c | PropNotBlocker|      4921648527 |  612178016 |  617318639 |  617141170 |  618573259 |  602375461 |  628129731 |  603424549 |  622507702 |
922.04/129.24	c (124,0) c | LitFullScans  |     52933659904 | 6624963993 | 6619050084 | 6618093566 | 6613105193 | 6613621693 | 6613019941 | 6612792462 | 6619012972 |
922.04/129.24	c (124,0) c | LitScanFracts |         8304977 |     919333 |    1045239 |     905909 |    1096383 |    1616506 |     960316 |     768911 |     992380 |
922.04/129.24	c (124,0) c | DecisionLevel0|            4438 |        506 |        607 |        540 |        545 |        542 |        516 |        700 |        482 |
922.04/129.24	c (124,0) c | Periods       |            8820 |       1104 |       1103 |       1102 |       1102 |       1102 |       1102 |       1102 |       1103 |
922.04/129.24	c (124,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
922.04/129.24	c (124,0) c | Avg_Trail     |                 |        634 |        636 |        629 |        626 |        632 |        630 |        636 |        627 |
922.04/129.24	c (124,0) c | Avg_DL        |                 |         22 |         22 |         21 |         21 |         21 |         21 |         22 |         22 |
922.04/129.24	c (124,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
922.04/129.24	c (124,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
922.04/129.24	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.24	c (124,0) c | Exported      |          675300 |      84333 |      87298 |      85883 |      80290 |      84012 |      84417 |      86049 |      83018 |
922.04/129.24	c (124,0) c | Imported      |         4671242 |     584023 |     581592 |     582851 |     587525 |     584634 |     583326 |     581932 |     585359 |
922.04/129.24	c (124,0) c | Good          |           14028 |       1749 |       1761 |       1749 |       1752 |       1799 |       1761 |       1708 |       1749 |
922.04/129.24	c (124,0) c | Purge         |         4657214 |     582274 |     579831 |     581102 |     585773 |     582835 |     581565 |     580224 |     583610 |
922.04/129.24	c (124,0) c | Promoted      |          388371 |      48585 |      50150 |      48525 |      47717 |      47556 |      47248 |      49144 |      49446 |
922.04/129.24	c (124,0) c | Remove_Imp    |         3659949 |     465080 |     459529 |     457062 |     459869 |     465261 |     442988 |     447943 |     462217 |
922.04/129.24	c (124,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
922.04/129.24	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.24	c (124,0) c | Unaries       |                 |         17 |         16 |         22 |         14 |         16 |         14 |         15 |         13 |
922.04/129.24	c (124,0) c | Binaries      |                 |        278 |        257 |        283 |        255 |        217 |        250 |        307 |        273 |
922.04/129.24	c (124,0) c | Glues         |                 |       1022 |       1021 |       1043 |       1011 |        910 |       1049 |       1091 |        943 |
922.04/129.24	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.24	c (124,0) c | Orig_Seen     |            87 % |       9325 |       9494 |       9505 |       9461 |       9371 |       9404 |       9457 |       9597 |
922.04/129.24	c (124,0) c | Diff Orig seen|                 | -      180 | -       11 |      X     | -       44 | -      134 | -      101 | -       48 |         92 |
922.04/129.24	c (124,0) c | Hamming       |            12 % |        295 |        331 |      X     |        323 |        308 |        324 |        277 |        296 |
922.04/129.24	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.24	c (124,0) c | RunningTime   |                 |  107.8  88%|  103.2  84%|  111.1  91%|  122.8  99%|  118.0  95%|  120.5  98%|  118.1  95%|  107.5  88%|
922.04/129.24	c (124,0) c | WaitingTime   |                 |   14.2  12%|   18.8  15%|   10.8   9%|    0.9   1%|    5.4   4%|    2.0   2%|    5.4   4%|   14.5  12%|
922.04/129.24	c (124,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
922.04/129.24	c (124,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%|
922.04/129.24	c (124,0) c | SolvingTime   |                 |  122.3     |  122.3     |  122.3     |  124.0     |  123.8     |  122.9     |  123.8     |  122.4     |
922.04/129.24	c (124,0) c | PropagationTim|                 |   95.2  78%|   95.1  78%|   85.5  70%|   81.8  66%|   83.4  67%|   83.5  68%|   85.8  69%|   93.7  77%|
922.04/129.24	c (124,0) c | AnalysisTime  |                 |   24.0  20%|   24.1  20%|   33.7  28%|   38.9  31%|   37.2  30%|   36.3  30%|   34.8  28%|   25.4  21%|
922.04/129.24	c (124,0) c | ReductionTime |                 |    1.2   1%|    1.3   1%|    1.1   1%|    1.3   1%|    1.2   1%|    1.1   1%|    1.3   1%|    1.2   1%|
922.04/129.24	c (124,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.2   0%|
922.04/129.24	c (124,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%|
922.04/129.24	c (124,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%|
922.04/129.24	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.24	c (124,0) c
922.04/129.24	c (124,0) c
922.04/129.24	c (124,0) c Threads : 8
922.04/129.24	c (124,0) c Winner : 2
922.04/129.24	c (124,0) c Conflicts_0 : 727029
922.04/129.24	c (124,0) c Conflicts_1 : 721841
922.04/129.24	c (124,0) c Conflicts_2 : 715371
922.04/129.24	c (124,0) c Conflicts_3 : 716405
922.04/129.24	c (124,0) c Conflicts_4 : 717081
922.04/129.24	c (124,0) c Conflicts_5 : 696136
922.04/129.24	c (124,0) c Conflicts_6 : 736448
922.04/129.24	c (124,0) c Conflicts_7 : 720066
922.04/129.24	c (124,0) c Conflicts_total : 5750377
922.04/129.24	c (124,0) c Conflicts_winner : 715371
922.04/129.24	c (124,0) c Decisions_0 : 1404692
922.04/129.24	c (124,0) c Decisions_1 : 1394897
922.04/129.24	c (124,0) c Decisions_2 : 1385768
922.04/129.24	c (124,0) c Decisions_3 : 1376864
922.04/129.24	c (124,0) c Decisions_4 : 1373695
922.04/129.24	c (124,0) c Decisions_5 : 1334624
922.04/129.24	c (124,0) c Decisions_6 : 1433096
922.04/129.24	c (124,0) c Decisions_7 : 1388802
922.04/129.24	c (124,0) c Decisions_total : 11092438
922.04/129.24	c (124,0) c Decisions_winner : 1385768
922.04/129.24	c (124,0) c Propagations_0 : 53829263
922.04/129.24	c (124,0) c Propagations_1 : 53370969
922.04/129.24	c (124,0) c Propagations_2 : 53207630
922.04/129.24	c (124,0) c Propagations_3 : 53179690
922.04/129.24	c (124,0) c Propagations_4 : 53182093
922.04/129.24	c (124,0) c Propagations_5 : 52403944
922.04/129.24	c (124,0) c Propagations_6 : 54339638
922.04/129.24	c (124,0) c Propagations_7 : 53405238
922.04/129.24	c (124,0) c Propagations_total : 426918465
922.04/129.24	c (124,0) c Propagations_winner : 53207630
922.04/129.24	c (124,0) c ReduceDBs_0 : 23
922.04/129.24	c (124,0) c ReduceDBs_1 : 23
922.04/129.24	c (124,0) c ReduceDBs_2 : 23
922.04/129.24	c (124,0) c ReduceDBs_3 : 23
922.04/129.24	c (124,0) c ReduceDBs_4 : 23
922.04/129.24	c (124,0) c ReduceDBs_5 : 22
922.04/129.24	c (124,0) c ReduceDBs_6 : 23
922.04/129.24	c (124,0) c ReduceDBs_7 : 23
922.04/129.24	c (124,0) c ReduceDBs_total : 183
922.04/129.24	c (124,0) c ReduceDBs_winner : 23
922.04/129.24	c (124,0) c SimpDBs_0 : 11
922.04/129.24	c (124,0) c SimpDBs_1 : 9
922.04/129.24	c (124,0) c SimpDBs_2 : 10
922.04/129.24	c (124,0) c SimpDBs_3 : 10
922.04/129.24	c (124,0) c SimpDBs_4 : 11
922.04/129.24	c (124,0) c SimpDBs_5 : 7
922.04/129.24	c (124,0) c SimpDBs_6 : 10
922.04/129.24	c (124,0) c SimpDBs_7 : 12
922.04/129.24	c (124,0) c SimpDBs_total : 80
922.04/129.24	c (124,0) c SimpDBs_winner : 10
922.04/129.24	c (124,0) c Restarts_0 : 489
922.04/129.24	c (124,0) c Restarts_1 : 591
922.04/129.24	c (124,0) c Restarts_2 : 518
922.04/129.24	c (124,0) c Restarts_3 : 531
922.04/129.24	c (124,0) c Restarts_4 : 526
922.04/129.24	c (124,0) c Restarts_5 : 502
922.04/129.24	c (124,0) c Restarts_6 : 685
922.04/129.24	c (124,0) c Restarts_7 : 469
922.04/129.24	c (124,0) c Restarts_total : 4311
922.04/129.24	c (124,0) c Restarts_winner : 518
922.04/129.24	c (124,0) c ForcedImports_0 : 0
922.04/129.24	c (124,0) c ForcedImports_1 : 0
922.04/129.24	c (124,0) c ForcedImports_2 : 0
922.04/129.24	c (124,0) c ForcedImports_3 : 0
922.04/129.24	c (124,0) c ForcedImports_4 : 0
922.04/129.24	c (124,0) c ForcedImports_5 : 0
922.04/129.24	c (124,0) c ForcedImports_6 : 0
922.04/129.24	c (124,0) c ForcedImports_7 : 0
922.04/129.24	c (124,0) c ForcedImports_total : 0
922.04/129.24	c (124,0) c ForcedImports_winner : 0
922.04/129.24	c (124,0) c PropsBinClauses_0 : 112569136
922.04/129.24	c (124,0) c PropsBinClauses_1 : 111377803
922.04/129.24	c (124,0) c PropsBinClauses_2 : 112229502
922.04/129.24	c (124,0) c PropsBinClauses_3 : 113018959
922.04/129.24	c (124,0) c PropsBinClauses_4 : 112075960
922.04/129.24	c (124,0) c PropsBinClauses_5 : 112703705
922.04/129.24	c (124,0) c PropsBinClauses_6 : 112551007
922.04/129.24	c (124,0) c PropsBinClauses_7 : 111377508
922.04/129.24	c (124,0) c PropsBinClauses_total : 897903580
922.04/129.24	c (124,0) c PropsBinClauses_winner : 112229502
922.04/129.24	c (124,0) c PropsPreBlocker_0 : 3731253295
922.04/129.24	c (124,0) c PropsPreBlocker_1 : 3743953572
922.04/129.24	c (124,0) c PropsPreBlocker_2 : 3737216701
922.04/129.24	c (124,0) c PropsPreBlocker_3 : 3701526309
922.04/129.24	c (124,0) c PropsPreBlocker_4 : 3796702828
922.04/129.24	c (124,0) c PropsPreBlocker_5 : 3684413936
922.04/129.24	c (124,0) c PropsPreBlocker_6 : 3781591281
922.04/129.24	c (124,0) c PropsPreBlocker_7 : 3702646236
922.04/129.24	c (124,0) c PropsPreBlocker_total : 29879304158
922.04/129.24	c (124,0) c PropsPreBlocker_winner : 3737216701
922.04/129.24	c (124,0) c PropsNotBlocker_0 : 612178016
922.04/129.24	c (124,0) c PropsNotBlocker_1 : 617318639
922.04/129.24	c (124,0) c PropsNotBlocker_2 : 617141170
922.04/129.24	c (124,0) c PropsNotBlocker_3 : 618573259
922.04/129.24	c (124,0) c PropsNotBlocker_4 : 602375461
922.04/129.24	c (124,0) c PropsNotBlocker_5 : 628129731
922.04/129.24	c (124,0) c PropsNotBlocker_6 : 603424549
922.04/129.24	c (124,0) c PropsNotBlocker_7 : 622507702
922.04/129.24	c (124,0) c PropsNotBlocker_total : 4921648527
922.04/129.24	c (124,0) c PropsNotBlocker_winner : 617141170
922.04/129.24	c (124,0) c PropsLitFullScans_0 : 6624963993
922.04/129.24	c (124,0) c PropsLitFullScans_1 : 6619050084
922.04/129.24	c (124,0) c PropsLitFullScans_2 : 6618093566
922.04/129.24	c (124,0) c PropsLitFullScans_3 : 6613105193
922.04/129.24	c (124,0) c PropsLitFullScans_4 : 6613621693
922.04/129.24	c (124,0) c PropsLitFullScans_5 : 6613019941
922.04/129.24	c (124,0) c PropsLitFullScans_6 : 6612792462
922.04/129.24	c (124,0) c PropsLitFullScans_7 : 6619012972
922.04/129.24	c (124,0) c PropsLitFullScans_total : 52933659904
922.04/129.24	c (124,0) c PropsLitFullScans_winner : 6618093566
922.04/129.24	c (124,0) c LitScanFractions_0 : 919333
922.04/129.24	c (124,0) c LitScanFractions_1 : 1045239
922.04/129.24	c (124,0) c LitScanFractions_2 : 905909
922.04/129.24	c (124,0) c LitScanFractions_3 : 1096383
922.04/129.24	c (124,0) c LitScanFractions_4 : 1616506
922.04/129.24	c (124,0) c LitScanFractions_5 : 960316
922.04/129.24	c (124,0) c LitScanFractions_6 : 768911
922.04/129.24	c (124,0) c LitScanFractions_7 : 992380
922.04/129.24	c (124,0) c LitScanFractions_total : 8304977
922.04/129.24	c (124,0) c LitScanFractions_winner : 905909
922.04/129.24	c (124,0) c DecisionLevel0_0 : 506
922.04/129.24	c (124,0) c DecisionLevel0_1 : 607
922.04/129.24	c (124,0) c DecisionLevel0_2 : 540
922.04/129.24	c (124,0) c DecisionLevel0_3 : 545
922.04/129.24	c (124,0) c DecisionLevel0_4 : 542
922.04/129.24	c (124,0) c DecisionLevel0_5 : 516
922.04/129.24	c (124,0) c DecisionLevel0_6 : 700
922.04/129.24	c (124,0) c DecisionLevel0_7 : 482
922.04/129.24	c (124,0) c DecisionLevel0_total : 4438
922.04/129.24	c (124,0) c DecisionLevel0_winner : 540
922.04/129.24	c (124,0) c Periods_0 : 1104
922.04/129.24	c (124,0) c Periods_1 : 1103
922.04/129.24	c (124,0) c Periods_2 : 1102
922.04/129.24	c (124,0) c Periods_3 : 1102
922.04/129.24	c (124,0) c Periods_4 : 1102
922.04/129.24	c (124,0) c Periods_5 : 1102
922.04/129.24	c (124,0) c Periods_6 : 1102
922.04/129.24	c (124,0) c Periods_7 : 1103
922.04/129.24	c (124,0) c Periods_total : 8820
922.04/129.24	c (124,0) c Periods_winner : 1102
922.04/129.24	c (124,0) c Margin_0 : 20
922.04/129.24	c (124,0) c Margin_1 : 20
922.04/129.24	c (124,0) c Margin_2 : 20
922.04/129.24	c (124,0) c Margin_3 : 20
922.04/129.24	c (124,0) c Margin_4 : 20
922.04/129.24	c (124,0) c Margin_5 : 20
922.04/129.24	c (124,0) c Margin_6 : 20
922.04/129.24	c (124,0) c Margin_7 : 20
922.04/129.24	c (124,0) c Margin_total : 160
922.04/129.24	c (124,0) c Margin_winner : 20
922.04/129.24	c (124,0) c Exported_0 : 84333
922.04/129.24	c (124,0) c Exported_1 : 87298
922.04/129.24	c (124,0) c Exported_2 : 85883
922.04/129.24	c (124,0) c Exported_3 : 80290
922.04/129.24	c (124,0) c Exported_4 : 84012
922.04/129.24	c (124,0) c Exported_5 : 84417
922.04/129.24	c (124,0) c Exported_6 : 86049
922.04/129.24	c (124,0) c Exported_7 : 83018
922.04/129.24	c (124,0) c Exported_total : 675300
922.04/129.24	c (124,0) c Exported_winner : 85883
922.04/129.24	c (124,0) c Imported_0 : 584023
922.04/129.24	c (124,0) c Imported_1 : 581592
922.04/129.24	c (124,0) c Imported_2 : 582851
922.04/129.24	c (124,0) c Imported_3 : 587525
922.04/129.24	c (124,0) c Imported_4 : 584634
922.04/129.24	c (124,0) c Imported_5 : 583326
922.04/129.24	c (124,0) c Imported_6 : 581932
922.04/129.24	c (124,0) c Imported_7 : 585359
922.04/129.24	c (124,0) c Imported_total : 4671242
922.04/129.24	c (124,0) c Imported_winner : 582851
922.04/129.24	c (124,0) c Good_0 : 1749
922.04/129.24	c (124,0) c Good_1 : 1761
922.04/129.24	c (124,0) c Good_2 : 1749
922.04/129.24	c (124,0) c Good_3 : 1752
922.04/129.24	c (124,0) c Good_4 : 1799
922.04/129.24	c (124,0) c Good_5 : 1761
922.04/129.24	c (124,0) c Good_6 : 1708
922.04/129.24	c (124,0) c Good_7 : 1749
922.04/129.24	c (124,0) c Good_total : 14028
922.04/129.24	c (124,0) c Good_winner : 1749
922.04/129.24	c (124,0) c Purge_0 : 582274
922.04/129.24	c (124,0) c Purge_1 : 579831
922.04/129.24	c (124,0) c Purge_2 : 581102
922.04/129.24	c (124,0) c Purge_3 : 585773
922.04/129.24	c (124,0) c Purge_4 : 582835
922.04/129.24	c (124,0) c Purge_5 : 581565
922.04/129.24	c (124,0) c Purge_6 : 580224
922.04/129.24	c (124,0) c Purge_7 : 583610
922.04/129.24	c (124,0) c Purge_total : 4657214
922.04/129.24	c (124,0) c Purge_winner : 581102
922.04/129.24	c (124,0) c Promoted_0 : 48585
922.04/129.24	c (124,0) c Promoted_1 : 50150
922.04/129.24	c (124,0) c Promoted_2 : 48525
922.04/129.24	c (124,0) c Promoted_3 : 47717
922.04/129.24	c (124,0) c Promoted_4 : 47556
922.04/129.24	c (124,0) c Promoted_5 : 47248
922.04/129.24	c (124,0) c Promoted_6 : 49144
922.04/129.24	c (124,0) c Promoted_7 : 49446
922.04/129.24	c (124,0) c Promoted_total : 388371
922.04/129.24	c (124,0) c Promoted_winner : 48525
922.04/129.24	c (124,0) c Remove_Imp_0 : 465080
922.04/129.24	c (124,0) c Remove_Imp_1 : 459529
922.04/129.24	c (124,0) c Remove_Imp_2 : 457062
922.04/129.24	c (124,0) c Remove_Imp_3 : 459869
922.04/129.24	c (124,0) c Remove_Imp_4 : 465261
922.04/129.24	c (124,0) c Remove_Imp_5 : 442988
922.04/129.24	c (124,0) c Remove_Imp_6 : 447943
922.04/129.24	c (124,0) c Remove_Imp_7 : 462217
922.04/129.24	c (124,0) c Remove_Imp_total : 3659949
922.04/129.24	c (124,0) c Remove_Imp_winner : 457062
922.04/129.24	c (124,0) c Blocked_Reuse_0 : 0
922.04/129.24	c (124,0) c Blocked_Reuse_1 : 0
922.04/129.24	c (124,0) c Blocked_Reuse_2 : 0
922.04/129.24	c (124,0) c Blocked_Reuse_3 : 0
922.04/129.24	c (124,0) c Blocked_Reuse_4 : 0
922.04/129.24	c (124,0) c Blocked_Reuse_5 : 0
922.04/129.24	c (124,0) c Blocked_Reuse_6 : 0
922.04/129.24	c (124,0) c Blocked_Reuse_7 : 0
922.04/129.24	c (124,0) c Blocked_Reuse_total : 0
922.04/129.24	c (124,0) c Blocked_Reuse_winner : 0
922.04/129.24	c (124,0) c Unaries_0 : 17
922.04/129.24	c (124,0) c Unaries_1 : 16
922.04/129.24	c (124,0) c Unaries_2 : 22
922.04/129.24	c (124,0) c Unaries_3 : 14
922.04/129.24	c (124,0) c Unaries_4 : 16
922.04/129.24	c (124,0) c Unaries_5 : 14
922.04/129.24	c (124,0) c Unaries_6 : 15
922.04/129.24	c (124,0) c Unaries_7 : 13
922.04/129.24	c (124,0) c Unaries_total : 127
922.04/129.24	c (124,0) c Unaries_winner : 22
922.04/129.24	c (124,0) c Binaries_0 : 278
922.04/129.24	c (124,0) c Binaries_1 : 257
922.04/129.24	c (124,0) c Binaries_2 : 283
922.04/129.24	c (124,0) c Binaries_3 : 255
922.04/129.25	c (124,0) c Binaries_4 : 217
922.04/129.25	c (124,0) c Binaries_5 : 250
922.04/129.25	c (124,0) c Binaries_6 : 307
922.04/129.25	c (124,0) c Binaries_7 : 273
922.04/129.25	c (124,0) c Binaries_total : 2120
922.04/129.25	c (124,0) c Binaries_winner : 283
922.04/129.25	c (124,0) c Glues_0 : 1022
922.04/129.25	c (124,0) c Glues_1 : 1021
922.04/129.25	c (124,0) c Glues_2 : 1043
922.04/129.25	c (124,0) c Glues_3 : 1011
922.04/129.25	c (124,0) c Glues_4 : 910
922.04/129.25	c (124,0) c Glues_5 : 1049
922.04/129.25	c (124,0) c Glues_6 : 1091
922.04/129.25	c (124,0) c Glues_7 : 943
922.04/129.25	c (124,0) c Glues_total : 8090
922.04/129.25	c (124,0) c Glues_winner : 1043
922.04/129.25	c (124,0) c RunningTime_0 : 107.845406
922.04/129.25	c (124,0) c RunningTime_1 : 103.179311
922.04/129.25	c (124,0) c RunningTime_2 : 111.094858
922.04/129.25	c (124,0) c RunningTime_3 : 122.777260
922.04/129.25	c (124,0) c RunningTime_4 : 118.049041
922.04/129.25	c (124,0) c RunningTime_5 : 120.511965
922.04/129.25	c (124,0) c RunningTime_6 : 118.116857
922.04/129.25	c (124,0) c RunningTime_7 : 107.544304
922.04/129.25	c (124,0) c RunningTime_total : 909.119001
922.04/129.25	c (124,0) c RunningTime_winner : 111.094858
922.04/129.25	c (124,0) c WaitingTime_0 : 14.180807
922.04/129.25	c (124,0) c WaitingTime_1 : 18.780960
922.04/129.25	c (124,0) c WaitingTime_2 : 10.827227
922.04/129.25	c (124,0) c WaitingTime_3 : 0.917885
922.04/129.25	c (124,0) c WaitingTime_4 : 5.361358
922.04/129.25	c (124,0) c WaitingTime_5 : 2.033905
922.04/129.25	c (124,0) c WaitingTime_6 : 5.410059
922.04/129.25	c (124,0) c WaitingTime_7 : 14.485979
922.04/129.25	c (124,0) c WaitingTime_total : 71.998180
922.04/129.25	c (124,0) c WaitingTime_winner : 10.827227
922.04/129.25	c (124,0) c ExchangingTime_0 : 0.310447
922.04/129.25	c (124,0) c ExchangingTime_1 : 0.303838
922.04/129.25	c (124,0) c ExchangingTime_2 : 0.332141
922.04/129.25	c (124,0) c ExchangingTime_3 : 0.303466
922.04/129.25	c (124,0) c ExchangingTime_4 : 0.330884
922.04/129.25	c (124,0) c ExchangingTime_5 : 0.343015
922.04/129.25	c (124,0) c ExchangingTime_6 : 0.296569
922.04/129.25	c (124,0) c ExchangingTime_7 : 0.309424
922.04/129.25	c (124,0) c ExchangingTime_total : 2.529784
922.04/129.25	c (124,0) c ExchangingTime_winner : 0.332141
922.04/129.25	c (124,0) c PeriodProcTime_0 : 0.011041
922.04/129.25	c (124,0) c PeriodProcTime_1 : 0.011542
922.04/129.25	c (124,0) c PeriodProcTime_2 : 0.010832
922.04/129.25	c (124,0) c PeriodProcTime_3 : 0.013072
922.04/129.25	c (124,0) c PeriodProcTime_4 : 0.009239
922.04/129.25	c (124,0) c PeriodProcTime_5 : 0.010878
922.04/129.25	c (124,0) c PeriodProcTime_6 : 0.008940
922.04/129.26	c (124,0) c PeriodProcTime_7 : 0.011148
922.04/129.26	c (124,0) c PeriodProcTime_total : 0.086693
922.04/129.26	c (124,0) c PeriodProcTime_winner : 0.010832
922.04/129.26	c (124,0) c SolvingTime_0 : 122.347700
922.04/129.26	c (124,0) c SolvingTime_1 : 122.275651
922.04/129.26	c (124,0) c SolvingTime_2 : 122.265059
922.04/129.26	c (124,0) c SolvingTime_3 : 124.011683
922.04/129.26	c (124,0) c SolvingTime_4 : 123.750522
922.04/129.26	c (124,0) c SolvingTime_5 : 122.899763
922.04/129.26	c (124,0) c SolvingTime_6 : 123.832425
922.04/129.26	c (124,0) c SolvingTime_7 : 122.350855
922.04/129.26	c (124,0) c SolvingTime_total : 983.733658
922.04/129.26	c (124,0) c SolvingTime_winner : 122.265059
922.04/129.26	c (124,0) c PropagationTime_0 : 95.186249
922.04/129.26	c (124,0) c PropagationTime_1 : 95.063132
922.04/129.26	c (124,0) c PropagationTime_2 : 85.537874
922.04/129.26	c (124,0) c PropagationTime_3 : 81.810454
922.04/129.26	c (124,0) c PropagationTime_4 : 83.427729
922.04/129.26	c (124,0) c PropagationTime_5 : 83.535440
922.04/129.26	c (124,0) c PropagationTime_6 : 85.765803
922.04/129.26	c (124,0) c PropagationTime_7 : 93.692633
922.04/129.26	c (124,0) c PropagationTime_total : 704.019313
922.04/129.26	c (124,0) c PropagationTime_winner : 85.537874
922.04/129.26	c (124,0) c AnalysisTime_0 : 23.983236
922.04/129.26	c (124,0) c AnalysisTime_1 : 24.056422
922.04/129.26	c (124,0) c AnalysisTime_2 : 33.735131
922.04/129.26	c (124,0) c AnalysisTime_3 : 38.941835
922.04/129.26	c (124,0) c AnalysisTime_4 : 37.188739
922.04/129.26	c (124,0) c AnalysisTime_5 : 36.347149
922.04/129.26	c (124,0) c AnalysisTime_6 : 34.843453
922.04/129.26	c (124,0) c AnalysisTime_7 : 25.434178
922.04/129.26	c (124,0) c AnalysisTime_total : 254.530143
922.04/129.26	c (124,0) c AnalysisTime_winner : 33.735131
922.04/129.26	c (124,0) c ReductionTime_0 : 1.234810
922.04/129.26	c (124,0) c ReductionTime_1 : 1.270542
922.04/129.26	c (124,0) c ReductionTime_2 : 1.114505
922.04/129.26	c (124,0) c ReductionTime_3 : 1.292621
922.04/129.26	c (124,0) c ReductionTime_4 : 1.224249
922.04/129.26	c (124,0) c ReductionTime_5 : 1.118480
922.04/129.26	c (124,0) c ReductionTime_6 : 1.290454
922.04/129.26	c (124,0) c ReductionTime_7 : 1.198025
922.04/129.26	c (124,0) c ReductionTime_total : 9.743686
922.04/129.26	c (124,0) c ReductionTime_winner : 1.114505
922.04/129.26	c (124,0) c SimplifyTime_0 : 0.051143
922.04/129.26	c (124,0) c SimplifyTime_1 : 0.045869
922.04/129.26	c (124,0) c SimplifyTime_2 : 0.039174
922.04/129.26	c (124,0) c SimplifyTime_3 : 0.041384
922.04/129.26	c (124,0) c SimplifyTime_4 : 0.044857
922.04/129.26	c (124,0) c SimplifyTime_5 : 0.046071
922.04/129.26	c (124,0) c SimplifyTime_6 : 0.041826
922.04/129.26	c (124,0) c SimplifyTime_7 : 0.176069
922.04/129.26	c (124,0) c SimplifyTime_total : 0.486393
922.04/129.26	c (124,0) c SimplifyTime_winner : 0.039174
922.04/129.26	c (124,0) c UsedRateTime_0 : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_1 : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_2 : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_3 : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_4 : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_5 : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_6 : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_7 : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_total : 0.000000
922.04/129.26	c (124,0) c UsedRateTime_winner : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_0 : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_1 : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_2 : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_3 : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_4 : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_5 : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_6 : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_7 : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_total : 0.000000
922.04/129.26	c (124,0) c OverlapRateTime_winner : 0.000000
922.04/129.26	c (124,0) c
922.04/129.26	c (124,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
922.04/129.26	c (124,0) c
922.04/129.26	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.26	c (124,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
922.04/129.26	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.26	c (124,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
922.04/129.26	c (124,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
922.04/129.26	c (124,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
922.04/129.26	c (124,0) c | Initial random_seed   | 1091171930 | 1563736294 |  653525899 |  609475511 | 1481560006 | 1113036612 | 1598407428 | 1820209063 |
922.04/129.26	c (124,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
922.04/129.26	c (124,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
922.04/129.26	c (124,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
922.04/129.26	c (124,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
922.04/129.26	c (124,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
922.04/129.26	c (124,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
922.04/129.26	c (124,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
922.04/129.26	c (124,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
922.04/129.26	c (124,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
922.04/129.26	c (124,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
922.04/129.26	c (124,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
922.04/129.26	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
922.04/129.26	c (124,0) 
922.04/129.26	c (124,0) s UNSATISFIABLE
922.04/129.26	c (124,0) SatSolver.solve End
922.04/129.26	c (124,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
922.04/129.27	c (124,0) Show results Begin
922.04/129.27	s UNSATISFIABLE
922.04/129.27	c (124,0) Show results End
922.04/129.27	c (124,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
922.04/129.27	c (124,0) 124,124,STOP-AFTER(ALL)
922.04/129.27	c END-Prog: Tue Sep 24 17:39:50 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 (13553 MiB free)
  memory of node 1: 16384 MiB (12069 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405597-1569343161/watcher-4405597-1569343161 -o /var/tmp/evaluation-result-4405597-1569343161/solver-4405597-1569343161 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405597-1569343161.xml 

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

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


[startup+0.100153 s]*
/proc/loadavg: 8.44 8.12 7.89 3/210 31557
/proc/meminfo: memFree=26144012/32770624 swapFree=66956840/67108860
[pid=31535] ppid=31532 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31535/stat : 31535 (scop.sh) S 31532 31535 29338 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510573915 115843072 349 33554432000 4194304 5098028 140727669826400 140727669823656 139662698029692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16781312 140727669834492 140727669834840 140727669834840 140727669837769 0
/proc/31535/statm: 28282 349 296 221 0 87 0
[pid=31538] ppid=31535 vsize=27314120 memory=106148 CPUtime=0.1 cores=0-7
/proc/31538/stat : 31538 (java) S 31535 31535 29338 0 -1 1077944320 6617 0 0 0 8 2 0 0 20 0 20 0 510573915 27969658880 26537 33554432000 4194304 4196468 140734229720416 140734229702960 139941912125175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
/proc/31538/statm: 6828530 26537 2802 1 0 6790935 0
[pid=31538/tid=31539] ppid=31535 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/31538/task/31539/stat : 31539 (java) R 31535 31535 29338 0 -1 4202560 4725 0 0 0 7 2 0 0 20 0 20 0 510573916 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941883929376 139941912147101 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31540] ppid=31535 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/31538/task/31540/stat : 31540 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941916367760 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31541] ppid=31535 vsize=27314120 memory=140638649325184 CPUtime=0 cores=0-7
/proc/31538/task/31541/stat : 31541 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941730523920 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31542] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31542/stat : 31542 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941729471632 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31543] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31543/stat : 31543 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941728418832 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31544] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31544/stat : 31544 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941727365520 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31545] ppid=31535 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31538/task/31545/stat : 31545 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941726312720 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31546] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31546/stat : 31546 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941725260432 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31547] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31547/stat : 31547 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 26537 33554432000 4194304 4196468 140734229720416 139941724207632 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31548] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31548/stat : 31548 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 26537 33554432000 4194304 4196468 140734229720416 139940767705712 139941912136322 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31549] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31549/stat : 31549 (java) S 31535 31535 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 26537 33554432000 4194304 4196468 140734229720416 139939832390944 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31550] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31550/stat : 31550 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 26537 33554432000 4194304 4196468 140734229720416 139939563955824 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31551] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31551/stat : 31551 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 26537 33554432000 4194304 4196468 140734229720416 139939189447248 139941912143771 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31552] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31552/stat : 31552 (java) S 31535 31535 29338 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 26537 33554432000 4194304 4196468 140734229720416 139940766652528 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31553] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31553/stat : 31553 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 26537 33554432000 4194304 4196468 140734229720416 139940765599728 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31554] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31554/stat : 31554 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 26537 33554432000 4194304 4196468 140734229720416 139940764547440 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31555] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31555/stat : 31555 (java) S 31535 31535 29338 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 26537 33554432000 4194304 4196468 140734229720416 139940763494640 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31556] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31556/stat : 31556 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 26537 33554432000 4194304 4196468 140734229720416 139938691541856 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31557] ppid=31535 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31538/task/31557/stat : 31557 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 26537 33554432000 4194304 4196468 140734229720416 139940762442544 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107544 KiB

[startup+0.210495 s]*
/proc/loadavg: 8.44 8.12 7.89 2/210 31557
/proc/meminfo: memFree=26122836/32770624 swapFree=66956840/67108860
[pid=31535] ppid=31532 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31535/stat : 31535 (scop.sh) S 31532 31535 29338 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510573915 115843072 349 33554432000 4194304 5098028 140727669826400 140727669823656 139662698029692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16781312 140727669834492 140727669834840 140727669834840 140727669837769 0
/proc/31535/statm: 28282 349 296 221 0 87 0
[pid=31538] ppid=31535 vsize=27314120 memory=125416 CPUtime=0.25 cores=0-7
/proc/31538/stat : 31538 (java) S 31535 31535 29338 0 -1 1077944320 12116 0 0 0 21 4 0 0 20 0 20 0 510573915 27969658880 31354 33554432000 4194304 4196468 140734229720416 140734229702960 139941912125175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
/proc/31538/statm: 6828530 31354 2919 1 0 6790935 0
[pid=31538/tid=31539] ppid=31535 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31538/task/31539/stat : 31539 (java) R 31535 31535 29338 0 -1 4202560 9816 0 0 0 16 3 0 0 20 0 20 0 510573916 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941883946080 139941893688774 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31540] ppid=31535 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/31538/task/31540/stat : 31540 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941916367760 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31541] ppid=31535 vsize=27314120 memory=140638649354779 CPUtime=0 cores=0-7
/proc/31538/task/31541/stat : 31541 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941730523920 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31542] ppid=31535 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31538/task/31542/stat : 31542 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941729471632 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31543] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31543/stat : 31543 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941728418832 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31544] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31544/stat : 31544 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941727365520 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31545] ppid=31535 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31538/task/31545/stat : 31545 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941726312720 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31546] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31546/stat : 31546 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941725260432 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31547] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31547/stat : 31547 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 31354 33554432000 4194304 4196468 140734229720416 139941724207632 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31548] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31548/stat : 31548 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 31354 33554432000 4194304 4196468 140734229720416 139940767705712 139941912136322 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31549] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31549/stat : 31549 (java) S 31535 31535 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 31354 33554432000 4194304 4196468 140734229720416 139939832390944 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31550] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31550/stat : 31550 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 31354 33554432000 4194304 4196468 140734229720416 139939563955824 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31551] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31551/stat : 31551 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 31354 33554432000 4194304 4196468 140734229720416 139939189447248 139941912143771 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31552] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31552/stat : 31552 (java) S 31535 31535 29338 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 31354 33554432000 4194304 4196468 140734229720416 139940766652528 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31553] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31553/stat : 31553 (java) S 31535 31535 29338 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 31354 33554432000 4194304 4196468 140734229720416 139940765599728 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31554] ppid=31535 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31538/task/31554/stat : 31554 (java) S 31535 31535 29338 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 31354 33554432000 4194304 4196468 140734229720416 139940764547440 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31555] ppid=31535 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/31538/task/31555/stat : 31555 (java) S 31535 31535 29338 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 510573923 27969658880 31354 33554432000 4194304 4196468 140734229720416 139940763494640 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31556] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31556/stat : 31556 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 31354 33554432000 4194304 4196468 140734229720416 139938691541856 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31557] ppid=31535 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31538/task/31557/stat : 31557 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 31354 33554432000 4194304 4196468 140734229720416 139940762442544 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126812 KiB

[startup+0.310094 s]*
/proc/loadavg: 8.44 8.12 7.89 2/210 31557
/proc/meminfo: memFree=26119052/32770624 swapFree=66956840/67108860
[pid=31535] ppid=31532 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31535/stat : 31535 (scop.sh) S 31532 31535 29338 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510573915 115843072 349 33554432000 4194304 5098028 140727669826400 140727669823656 139662698029692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16781312 140727669834492 140727669834840 140727669834840 140727669837769 0
/proc/31535/statm: 28282 349 296 221 0 87 0
[pid=31538] ppid=31535 vsize=27314120 memory=129532 CPUtime=0.42 cores=0-7
/proc/31538/stat : 31538 (java) S 31535 31535 29338 0 -1 1077944320 13281 0 0 0 37 5 0 0 20 0 20 0 510573915 27969658880 32383 33554432000 4194304 4196468 140734229720416 140734229702960 139941912125175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
/proc/31538/statm: 6828530 32383 3022 1 0 6790935 0
[pid=31538/tid=31539] ppid=31535 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/31538/task/31539/stat : 31539 (java) R 31535 31535 29338 0 -1 4202560 10797 0 0 0 26 4 0 0 20 0 20 0 510573916 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941883908192 139941893688735 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31540] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31540/stat : 31540 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941916367760 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31541] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31541/stat : 31541 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941730523920 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31542] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31542/stat : 31542 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941729471632 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31543] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31543/stat : 31543 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941728418832 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31544] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31544/stat : 31544 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941727365520 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31545] ppid=31535 vsize=27314120 memory=140638502873775 CPUtime=0 cores=0-7
/proc/31538/task/31545/stat : 31545 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941726312720 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31546] ppid=31535 vsize=27314120 memory=140638502876080 CPUtime=0 cores=0-7
/proc/31538/task/31546/stat : 31546 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941725260432 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31547] ppid=31535 vsize=27314120 memory=140638502878384 CPUtime=0 cores=0-7
/proc/31538/task/31547/stat : 31547 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510573918 27969658880 32383 33554432000 4194304 4196468 140734229720416 139941724207632 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31548] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31548/stat : 31548 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 32383 33554432000 4194304 4196468 140734229720416 139940767705712 139941912136322 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31549] ppid=31535 vsize=27314120 memory=281277005770640 CPUtime=0 cores=0-7
/proc/31538/task/31549/stat : 31549 (java) S 31535 31535 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 32383 33554432000 4194304 4196468 140734229720416 139939832390944 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31550] ppid=31535 vsize=27314120 memory=281277005768336 CPUtime=0 cores=0-7
/proc/31538/task/31550/stat : 31550 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573920 27969658880 32383 33554432000 4194304 4196468 140734229720416 139939563955824 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31551] ppid=31535 vsize=27314120 memory=281277005775248 CPUtime=0 cores=0-7
/proc/31538/task/31551/stat : 31551 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 32383 33554432000 4194304 4196468 140734229720416 139939189447248 139941912143771 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31552] ppid=31535 vsize=27314120 memory=281277005716528 CPUtime=0.02 cores=0-7
/proc/31538/task/31552/stat : 31552 (java) R 31535 31535 29338 0 -1 4202560 542 0 0 0 2 0 0 0 20 0 20 0 510573923 27969658880 32383 33554432000 4194304 4196468 140734229720416 139940766652528 139941895653911 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31553] ppid=31535 vsize=27314120 memory=281277005789072 CPUtime=0.01 cores=0-7
/proc/31538/task/31553/stat : 31553 (java) S 31535 31535 29338 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 510573923 27969658880 32383 33554432000 4194304 4196468 140734229720416 139940765599728 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31554] ppid=31535 vsize=27314120 memory=281277005795984 CPUtime=0 cores=0-7
/proc/31538/task/31554/stat : 31554 (java) S 31535 31535 29338 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 32383 33554432000 4194304 4196468 140734229720416 139940764547440 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31555] ppid=31535 vsize=27314120 memory=281277005793680 CPUtime=0.07 cores=0-7
/proc/31538/task/31555/stat : 31555 (java) S 31535 31535 29338 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 20 0 510573923 27969658880 32383 33554432000 4194304 4196468 140734229720416 139940763494640 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31556] ppid=31535 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31556/stat : 31556 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 32383 33554432000 4194304 4196468 140734229720416 139938691541856 139941912135381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31557] ppid=31535 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31538/task/31557/stat : 31557 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573923 27969658880 32383 33554432000 4194304 4196468 140734229720416 139940762442544 139941912136322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130928 KiB

[startup+0.701002 s]
/proc/loadavg: 8.44 8.12 7.89 2/210 31557
/proc/meminfo: memFree=26097596/32770624 swapFree=66956840/67108860
[pid=31535] ppid=31532 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31535/stat : 31535 (scop.sh) S 31532 31535 29338 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510573915 115843072 349 33554432000 4194304 5098028 140727669826400 140727669823656 139662698029692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16781312 140727669834492 140727669834840 140727669834840 140727669837769 0
/proc/31535/statm: 28282 349 296 221 0 87 0
[pid=31538] ppid=31535 vsize=27320392 memory=165012 CPUtime=0.99 cores=0-7
/proc/31538/stat : 31538 (java) S 31535 31535 29338 0 -1 1077944320 20358 0 0 0 91 8 0 0 20 0 20 0 510573915 27976081408 41253 33554432000 4194304 4196468 140734229720416 140734229702960 139941912125175 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
/proc/31538/statm: 6830098 41253 3192 1 0 6791447 0
[pid=31538/tid=31539] ppid=31535 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/31538/task/31539/stat : 31539 (java) R 31535 31535 29338 0 -1 4202560 17368 0 0 0 61 6 0 0 20 0 20 0 510573916 27976081408 41253 33554432000 4194304 4196468 140734229720416 139941883962512 139941392829457 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31540] ppid=31535 vsize=27320392 memory=140638503084912 CPUtime=0 cores=0-7
/proc/31538/task/31540/stat : 31540 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510573918 27976081408 41253 33554432000 4194304 4196468 140734229720416 139941916367760 139941912135381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31541] ppid=31535 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/31538/task/31541/stat : 31541 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510573918 27976081408 41253 33554432000 4194304 4196468 140734229720416 139941730523920 139941912135381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140734229721798 140734229722246 140734229722246 140734229725135 0
[pid=31538/tid=31542] ppid=31535 vsize=27320392 memory=784 CPUtime=0 cores=0-7

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

[pid=31558/tid=31570] ppid=31535 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/31558/task/31570/stat : 31570 (java) S 31535 31535 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510574357 8616062976 29875 33554432000 4194304 4196468 140729566925824 140324701721712 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31571] ppid=31535 vsize=8414124 memory=119500 CPUtime=0 cores=0-7
/proc/31558/task/31571/stat : 31571 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140324327217232 140326225143707 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31572] ppid=31535 vsize=8414124 memory=686792 CPUtime=0.05 cores=0-7
/proc/31558/task/31572/stat : 31572 (java) S 31535 31535 29338 0 -1 1077944384 590 0 0 0 5 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325653117552 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31573] ppid=31535 vsize=8414124 memory=6426708575999585895 CPUtime=0.07 cores=0-7
/proc/31558/task/31573/stat : 31573 (java) S 31535 31535 29338 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325652064752 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31574] ppid=31535 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/31558/task/31574/stat : 31574 (java) S 31535 31535 29338 0 -1 1077944384 331 0 0 0 6 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325651012464 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31575] ppid=31535 vsize=8414124 memory=7954033568624629353 CPUtime=0.2 cores=0-7
/proc/31558/task/31575/stat : 31575 (java) S 31535 31535 29338 0 -1 1077944384 748 0 0 0 20 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325649959664 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31576] ppid=31535 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31558/task/31576/stat : 31576 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510574360 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323829311840 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31577] ppid=31535 vsize=8414124 memory=1 CPUtime=0.08 cores=0-7
/proc/31558/task/31577/stat : 31577 (java) S 31535 31535 29338 0 -1 1077944384 10 0 0 0 4 4 0 0 20 0 24 0 510574360 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325648906544 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31579] ppid=31535 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31558/task/31579/stat : 31579 (java) S 31535 31535 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325643064640 140326225149721 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31581] ppid=31535 vsize=8414124 memory=2885 CPUtime=0 cores=0-7
/proc/31558/task/31581/stat : 31581 (java) S 31535 31535 29338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323158212496 140326225147037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31582] ppid=31535 vsize=8414124 memory=3 CPUtime=0 cores=0-7
/proc/31558/task/31582/stat : 31582 (java) S 31535 31535 29338 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323426647824 140326225147037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31591] ppid=31535 vsize=8414124 memory=817 CPUtime=0 cores=0-7
/proc/31558/task/31591/stat : 31591 (java) S 31535 31535 29338 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 24 0 510574431 8616062976 29875 33554432000 4194304 4196468 140729566925824 140322889785136 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
Current children cumulated CPU time: 918.71 s
Current children cumulated vsize: 9267820 KiB
Current children cumulated memory: 700796 KiB

[startup+128.801 s]
/proc/loadavg: 7.74 7.93 7.85 5/219 31599
/proc/meminfo: memFree=25553776/32770624 swapFree=66956840/67108860
[pid=31535] ppid=31532 vsize=113128 memory=1476 CPUtime=11.77 cores=0-7
/proc/31535/stat : 31535 (scop.sh) S 31532 31535 29338 0 -1 4202496 584 32657 0 0 0 0 1147 30 20 0 1 0 510573915 115843072 369 33554432000 4194304 5098028 140727669826400 140727669823144 139662698029692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16781312 140727669834492 140727669834840 140727669834840 140727669837769 0
/proc/31535/statm: 28282 369 311 221 0 87 0
[pid=31558] ppid=31535 vsize=8414124 memory=119500 CPUtime=1.31 cores=0-7
/proc/31558/stat : 31558 (java) S 31535 31535 29338 0 -1 1077944320 20853 0 0 0 124 7 0 0 20 0 24 0 510574353 8616062976 29875 33554432000 4194304 4196468 140729566925824 140729566908368 140326225125111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
/proc/31558/statm: 2103531 29875 3204 1 0 2064875 0
[pid=31578] ppid=31558 vsize=740568 memory=579820 CPUtime=908.12 cores=0-7
/proc/31578/stat : 31578 (manyglucose-4.1) S 31558 31535 29338 0 -1 1077944320 525905 0 0 0 90711 101 0 0 20 0 4 0 510574429 758341632 144955 33554432000 4194304 4454172 140729136703088 140729136701472 140485767073527 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 18968576 140729136706381 140729136706588 140729136706588 140729136709558 0
/proc/31578/statm: 185142 144955 419 64 0 180810 0
[pid=31578/tid=31586] ppid=31558 vsize=740568 memory=1476 CPUtime=122.51 cores=0-7
/proc/31578/task/31586/stat : 31586 (manyglucose-4.1) R 31558 31535 29338 0 -1 4202560 69700 0 0 0 12238 13 0 0 20 0 4 0 510574431 758341632 144955 33554432000 4194304 4454172 140729136703088 140485726678088 4333329 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 18968576 140729136706381 140729136706588 140729136706588 140729136709558 0
[pid=31578/tid=31587] ppid=31558 vsize=740568 memory=-8599735000503710098 CPUtime=118.09 cores=0-7
/proc/31578/task/31587/stat : 31587 (manyglucose-4.1) R 31558 31535 29338 0 -1 4202560 63302 0 0 0 11797 12 0 0 20 0 4 0 510574431 758341632 144955 33554432000 4194304 4454172 140729136703088 140485718285240 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 18968576 140729136706381 140729136706588 140729136706588 140729136709558 0
[pid=31578/tid=31589] ppid=31558 vsize=740568 memory=1 CPUtime=118 cores=0-7
/proc/31578/task/31589/stat : 31589 (manyglucose-4.1) R 31558 31535 29338 0 -1 4202560 66211 0 0 0 11791 9 0 0 20 0 4 0 510574431 758341632 144955 33554432000 4194304 4454172 140729136703088 140485494565752 4333320 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 18968576 140729136706381 140729136706588 140729136706588 140729136709558 0
[pid=31558/tid=31559] ppid=31535 vsize=8414124 memory=1476 CPUtime=0.78 cores=0-7
/proc/31558/task/31559/stat : 31559 (java) S 31535 31535 29338 0 -1 1077944384 17341 0 0 0 74 4 0 0 20 0 24 0 510574354 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326196965280 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31560] ppid=31535 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/31558/task/31560/stat : 31560 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326229367184 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31561] ppid=31535 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/31558/task/31561/stat : 31561 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326047455504 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31562] ppid=31535 vsize=8414124 memory=119500 CPUtime=0 cores=0-7
/proc/31558/task/31562/stat : 31562 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326046403216 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31563] ppid=31535 vsize=8414124 memory=579820 CPUtime=0 cores=0-7
/proc/31558/task/31563/stat : 31563 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326045350416 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31564] ppid=31535 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/31558/task/31564/stat : 31564 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325707217808 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31565] ppid=31535 vsize=8414124 memory=281277005786880 CPUtime=0 cores=0-7
/proc/31558/task/31565/stat : 31565 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325706165008 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31566] ppid=31535 vsize=8414124 memory=9047017150487036571 CPUtime=0 cores=0-7
/proc/31558/task/31566/stat : 31566 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325705112720 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31567] ppid=31535 vsize=8414124 memory=-6520471753822164382 CPUtime=0 cores=0-7
/proc/31558/task/31567/stat : 31567 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325704059920 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31568] ppid=31535 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/31558/task/31568/stat : 31568 (java) S 31535 31535 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510574356 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325654169712 140326225136258 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31569] ppid=31535 vsize=8414124 memory=-8412656567318647667 CPUtime=0 cores=0-7
/proc/31558/task/31569/stat : 31569 (java) S 31535 31535 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510574357 8616062976 29875 33554432000 4194304 4196468 140729566925824 140324835943200 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31570] ppid=31535 vsize=8414124 memory=8514701219730522529 CPUtime=0 cores=0-7
/proc/31558/task/31570/stat : 31570 (java) S 31535 31535 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510574357 8616062976 29875 33554432000 4194304 4196468 140729566925824 140324701721712 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31571] ppid=31535 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/31558/task/31571/stat : 31571 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140324327217232 140326225143707 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31572] ppid=31535 vsize=8414124 memory=2580 CPUtime=0.05 cores=0-7
/proc/31558/task/31572/stat : 31572 (java) S 31535 31535 29338 0 -1 1077944384 590 0 0 0 5 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325653117552 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31573] ppid=31535 vsize=8414124 memory=1760 CPUtime=0.07 cores=0-7
/proc/31558/task/31573/stat : 31573 (java) S 31535 31535 29338 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325652064752 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31574] ppid=31535 vsize=8414124 memory=111632 CPUtime=0.06 cores=0-7
/proc/31558/task/31574/stat : 31574 (java) S 31535 31535 29338 0 -1 1077944384 331 0 0 0 6 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325651012464 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31575] ppid=31535 vsize=8414124 memory=804 CPUtime=0.2 cores=0-7
/proc/31558/task/31575/stat : 31575 (java) S 31535 31535 29338 0 -1 1077944384 748 0 0 0 20 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325649959664 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31576] ppid=31535 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/31558/task/31576/stat : 31576 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510574360 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323829311840 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31577] ppid=31535 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/31558/task/31577/stat : 31577 (java) S 31535 31535 29338 0 -1 1077944384 10 0 0 0 4 4 0 0 20 0 24 0 510574360 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325648906544 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31579] ppid=31535 vsize=8414124 memory=-8599735000503710098 CPUtime=0 cores=0-7
/proc/31558/task/31579/stat : 31579 (java) S 31535 31535 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325643064640 140326225149721 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31581] ppid=31535 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/31558/task/31581/stat : 31581 (java) S 31535 31535 29338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323158212496 140326225147037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31582] ppid=31535 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/31558/task/31582/stat : 31582 (java) S 31535 31535 29338 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323426647824 140326225147037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31591] ppid=31535 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/31558/task/31591/stat : 31591 (java) S 31535 31535 29338 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 24 0 510574431 8616062976 29875 33554432000 4194304 4196468 140729566925824 140322889785136 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
Current children cumulated CPU time: 921.2 s
Current children cumulated vsize: 9267820 KiB
Current children cumulated memory: 700796 KiB

[startup+129.201 s]
/proc/loadavg: 7.74 7.93 7.85 3/217 31599
/proc/meminfo: memFree=25553948/32770624 swapFree=66956840/67108860
[pid=31535] ppid=31532 vsize=113128 memory=1476 CPUtime=11.77 cores=0-7
/proc/31535/stat : 31535 (scop.sh) S 31532 31535 29338 0 -1 4202496 584 32657 0 0 0 0 1147 30 20 0 1 0 510573915 115843072 369 33554432000 4194304 5098028 140727669826400 140727669823144 139662698029692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16781312 140727669834492 140727669834840 140727669834840 140727669837769 0
/proc/31535/statm: 28282 369 311 221 0 87 0
[pid=31558] ppid=31535 vsize=8414124 memory=119500 CPUtime=1.31 cores=0-7
/proc/31558/stat : 31558 (java) S 31535 31535 29338 0 -1 1077944320 20853 0 0 0 124 7 0 0 20 0 24 0 510574353 8616062976 29875 33554432000 4194304 4196468 140729566925824 140729566908368 140326225125111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
/proc/31558/statm: 2103531 29875 3204 1 0 2064875 0
[pid=31578] ppid=31558 vsize=740568 memory=578072 CPUtime=908.96 cores=0-7
/proc/31578/stat : 31578 (manyglucose-4.1) S 31558 31535 29338 0 -1 1077944320 525985 0 0 0 90795 101 0 0 20 0 2 0 510574429 758341632 144518 33554432000 4194304 4454172 140729136703088 140729136701472 140485767073527 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 18968576 140729136706381 140729136706588 140729136706588 140729136709558 0
/proc/31578/statm: 185142 144518 419 64 0 180810 0
[pid=31578/tid=31586] ppid=31558 vsize=740568 memory=2016 CPUtime=122.91 cores=0-7
/proc/31578/task/31586/stat : 31586 (manyglucose-4.1) R 31558 31535 29338 0 -1 4202560 69780 0 0 0 12278 13 0 0 20 0 2 0 510574431 758341632 144518 33554432000 4194304 4454172 140729136703088 140485726678088 4351331 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 18968576 140729136706381 140729136706588 140729136706588 140729136709558 0
[pid=31558/tid=31559] ppid=31535 vsize=8414124 memory=1476 CPUtime=0.78 cores=0-7
/proc/31558/task/31559/stat : 31559 (java) S 31535 31535 29338 0 -1 1077944384 17341 0 0 0 74 4 0 0 20 0 24 0 510574354 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326196965280 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31560] ppid=31535 vsize=8414124 memory=119500 CPUtime=0 cores=0-7
/proc/31558/task/31560/stat : 31560 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326229367184 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31561] ppid=31535 vsize=8414124 memory=579820 CPUtime=0 cores=0-7
/proc/31558/task/31561/stat : 31561 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326047455504 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31562] ppid=31535 vsize=8414124 memory=25092 CPUtime=0 cores=0-7
/proc/31558/task/31562/stat : 31562 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326046403216 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31563] ppid=31535 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/31558/task/31563/stat : 31563 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140326045350416 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31564] ppid=31535 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/31558/task/31564/stat : 31564 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325707217808 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31565] ppid=31535 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/31558/task/31565/stat : 31565 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325706165008 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31566] ppid=31535 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/31558/task/31566/stat : 31566 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325705112720 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31567] ppid=31535 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/31558/task/31567/stat : 31567 (java) S 31535 31535 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510574355 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325704059920 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31568] ppid=31535 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/31558/task/31568/stat : 31568 (java) S 31535 31535 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510574356 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325654169712 140326225136258 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31569] ppid=31535 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/31558/task/31569/stat : 31569 (java) S 31535 31535 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510574357 8616062976 29875 33554432000 4194304 4196468 140729566925824 140324835943200 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31570] ppid=31535 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/31558/task/31570/stat : 31570 (java) S 31535 31535 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510574357 8616062976 29875 33554432000 4194304 4196468 140729566925824 140324701721712 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31571] ppid=31535 vsize=8414124 memory=6196 CPUtime=0 cores=0-7
/proc/31558/task/31571/stat : 31571 (java) S 31535 31535 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140324327217232 140326225143707 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31572] ppid=31535 vsize=8414124 memory=784 CPUtime=0.05 cores=0-7
/proc/31558/task/31572/stat : 31572 (java) S 31535 31535 29338 0 -1 1077944384 590 0 0 0 5 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325653117552 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31573] ppid=31535 vsize=8414124 memory=281277007828000 CPUtime=0.07 cores=0-7
/proc/31558/task/31573/stat : 31573 (java) S 31535 31535 29338 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325652064752 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31574] ppid=31535 vsize=8414124 memory=6944656592455359580 CPUtime=0.06 cores=0-7
/proc/31558/task/31574/stat : 31574 (java) S 31535 31535 29338 0 -1 1077944384 331 0 0 0 6 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325651012464 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31575] ppid=31535 vsize=8414124 memory=-3621219715169225006 CPUtime=0.2 cores=0-7
/proc/31558/task/31575/stat : 31575 (java) S 31535 31535 29338 0 -1 1077944384 748 0 0 0 20 0 0 0 20 0 24 0 510574359 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325649959664 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31576] ppid=31535 vsize=8414124 memory=-6860437260722525840 CPUtime=0 cores=0-7
/proc/31558/task/31576/stat : 31576 (java) S 31535 31535 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510574360 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323829311840 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31577] ppid=31535 vsize=8414124 memory=-7522837415730323359 CPUtime=0.08 cores=0-7
/proc/31558/task/31577/stat : 31577 (java) S 31535 31535 29338 0 -1 1077944384 10 0 0 0 4 4 0 0 20 0 24 0 510574360 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325648906544 140326225136258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31579] ppid=31535 vsize=8414124 memory=7355069530030913660 CPUtime=0 cores=0-7
/proc/31558/task/31579/stat : 31579 (java) S 31535 31535 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140325643064640 140326225149721 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31581] ppid=31535 vsize=8414124 memory=-7098080424032564416 CPUtime=0 cores=0-7
/proc/31558/task/31581/stat : 31581 (java) S 31535 31535 29338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323158212496 140326225147037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31582] ppid=31535 vsize=8414124 memory=1899411 CPUtime=0 cores=0-7
/proc/31558/task/31582/stat : 31582 (java) S 31535 31535 29338 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510574429 8616062976 29875 33554432000 4194304 4196468 140729566925824 140323426647824 140326225147037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
[pid=31558/tid=31591] ppid=31535 vsize=8414124 memory=1900628 CPUtime=0 cores=0-7
/proc/31558/task/31591/stat : 31591 (java) S 31535 31535 29338 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 24 0 510574431 8616062976 29875 33554432000 4194304 4196468 140729566925824 140322889785136 140326225135317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140729566929887 140729566930054 140729566930054 140729566932943 0
Current children cumulated CPU time: 922.04 s
Current children cumulated vsize: 9267820 KiB
Current children cumulated memory: 699048 KiB

Child status: 0
Real time (s): 129.281
CPU time (s): 922.212
CPU user time (s): 920.773
CPU system time (s): 1.4385
CPU usage (%): 713.341
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1059140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 920.773
system time used= 1.4385
maximum resident set size= 1063136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581870
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17250
involuntary context switches= 7843


# summary of solver processes directly reported to runsolver:
#   pid: 31535
#   total CPU time (s): 922.212
#   total CPU user time (s): 920.773
#   total CPU system time (s): 1.4385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24382 second user time and 1.81753 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 17:37:40
IDJOB=4405597
IDBENCH=134584
IDSOLVER=2868
FILE ID=node105/4405597-1569343161
RUNJOBID= node105-1569332278-29365
PBS_JOBID= 21705070
Free space on /var/tmp= 13180 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-8_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405597-1569343161/watcher-4405597-1569343161 -o /var/tmp/evaluation-result-4405597-1569343161/solver-4405597-1569343161 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405597-1569343161.xml

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

MD5SUM BENCH= 5c0d10b65067a89bbe36375c556425e1
RANDOM SEED=1301745985

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26237348 kB
MemAvailable:   31800732 kB
Buffers:          114840 kB
Cached:          5580068 kB
SwapCached:        48348 kB
Active:          2827516 kB
Inactive:        2916900 kB
Active(anon):       4128 kB
Inactive(anon):    99568 kB
Active(file):    2823388 kB
Inactive(file):  2817332 kB
Unevictable:      110928 kB
Mlocked:          110928 kB
SwapTotal:      67108860 kB
SwapFree:       66956840 kB
Dirty:             20512 kB
Writeback:             0 kB
AnonPages:        124480 kB
Mapped:            54728 kB
Shmem:             45916 kB
Slab:             379876 kB
SReclaimable:     351124 kB
SUnreclaim:        28752 kB
KernelStack:        3696 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 17:39:50