Trace number 4405253

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-14.xml
MD5SUMbe7a6961e736c78e558242a96ea5fa7b
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 benchmark45.3998
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints29
Number of domains1
Minimum domain size42
Maximum domain size42
Distribution of domain sizes[{"size":42,"count":42}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":28},{"degree":3,"count":14}]
Minimum constraint arity2
Maximum constraint arity42
Distribution of constraint arities[{"arity":2,"count":28},{"arity":42,"count":1}]
Number of extensional constraints0
Number of intensional constraints28
Distribution of constraint types[{"type":"intension","count":28},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29055-serial-file.bin HOME/instance-4405253-1569242277.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Mon Sep 23 13:27:34 CEST 2019
0.66/0.57	c PID: 29058
0.66/0.57	c IP: 172.20.3.104
0.66/0.57	c HOST: node104.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.16/0.87	c (0,0) Parsing End
1.16/0.88	c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 29 ctr, max domain size 42
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) Constraint Name Generate Begin
1.16/0.88	c (0,0) Ctr:HOME/instance-4405253-1569242277.xml,Add:AllDifferent:Eq:Num:Var
1.16/0.88	c (0,0) Constraint Name Generate End
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) CSP to CSPinCNF Begin
2.08/1.29	c (0,0) translated 3 (10%) constraints
2.08/1.29	c (0,0) translated 6 (20%) constraints
2.08/1.29	c (0,0) translated 9 (30%) constraints
2.08/1.29	c (0,0) translated 12 (40%) constraints
2.08/1.29	c (0,0) translated 15 (50%) constraints
2.08/1.29	c (0,0) translated 18 (60%) constraints
2.08/1.29	c (0,0) translated 21 (70%) constraints
2.08/1.29	c (0,0) translated 24 (80%) constraints
2.08/1.29	c (0,0) translated 27 (90%) constraints
2.08/1.29	c (0,0) translated 29 (100%) constraints
2.45/1.30	c (0,0) ===========================================
2.45/1.30	c (0,0) Order
2.45/1.30	c (0,0) ===========================================
2.45/1.32	c (0,0) translated 94 (10%) constraints
2.45/1.34	c (0,0) translated 187 (20%) constraints
2.45/1.35	c (0,0) translated 280 (30%) constraints
2.45/1.36	c (0,0) translated 374 (40%) constraints
2.45/1.37	c (0,0) translated 467 (50%) constraints
2.45/1.37	c (0,0) translated 560 (60%) constraints
2.45/1.38	c (0,0) translated 654 (70%) constraints
2.45/1.39	c (0,0) translated 747 (80%) constraints
2.45/1.40	c (0,0) translated 840 (90%) constraints
3.52/1.61	c (1,1) translated 933 (100%) constraints
3.52/1.62	c (1,1) CSP to CSPinCNF End
3.52/1.62	c (1,1) CSP: 42 int (0 aux), 1764 bool (1764 aux), 4489 ctr, max domain size 38
3.52/1.62	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.52/1.62	c (1,1) CSPinCNF Propagation Begin
3.94/1.73	c (1,1) 714 values, 1557 unsatisfiable literals, and 1579 valid clauses are removed
3.94/1.73	c (1,1) CSPinCNF Propagation End
3.94/1.73	c (1,1) CSP: 42 int (0 aux), 1764 bool (1764 aux), 2910 ctr, max domain size 38
3.94/1.73	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.94/1.73	c (1,1) Simplify CSPinCNF Begin
4.36/1.81	c (1,1) Simplify CSPinCNF End
4.36/1.81	c (1,1) CSP: 42 int (0 aux), 3340 bool (3340 aux), 4486 ctr, max domain size 38
4.36/1.81	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.36/1.81	c (1,1) Calculate Precise Domain Begin
4.36/1.81	c (1,1) 0 values are removed by re-calculation
4.36/1.81	c (1,1) Calculate Precise Domain End
4.36/1.81	c (1,1) CSP: 42 int (0 aux), 3340 bool (3340 aux), 4486 ctr, max domain size 38
4.36/1.81	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.36/1.81	c (1,1) CSPinCNF to SatSolver Begin
5.30/2.08	c (1,1) 449 (10 %) CSP clauses are encoded (0 SAT variables, 7692 SAT clauses)
5.72/2.15	c (1,1) 898 (20 %) CSP clauses are encoded (0 SAT variables, 12667 SAT clauses)
6.10/2.20	c (1,1) 1346 (30 %) CSP clauses are encoded (0 SAT variables, 16343 SAT clauses)
6.10/2.26	c (1,1) 1795 (40 %) CSP clauses are encoded (0 SAT variables, 22440 SAT clauses)
6.50/2.32	c (1,1) 2243 (50 %) CSP clauses are encoded (0 SAT variables, 27290 SAT clauses)
6.50/2.34	c (1,1) 2692 (60 %) CSP clauses are encoded (0 SAT variables, 29105 SAT clauses)
6.50/2.35	c (1,1) 3141 (70 %) CSP clauses are encoded (0 SAT variables, 29554 SAT clauses)
6.50/2.35	c (1,1) 3589 (80 %) CSP clauses are encoded (0 SAT variables, 30002 SAT clauses)
6.50/2.36	c (1,1) 4038 (90 %) CSP clauses are encoded (0 SAT variables, 30451 SAT clauses)
6.50/2.37	c (1,1) 4486 (100 %) CSP clauses are encoded (0 SAT variables, 32177 SAT clauses)
6.50/2.37	c (1,1) CSPinCNF to SatSolver End
6.50/2.37	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.50/2.37	c (1,1) 3634 bool, 32188 clause
6.50/2.37	c (1,1) Export Begin
6.92/2.45	c (1,1) Export to HOME/scop-29055-serial-file.bin
6.92/2.45	c (1,1) Export End
6.92/2.46	c (1,1) Export File Size: 0.01 MB
6.92/2.46	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.92/2.46	c END-Prog: Mon Sep 23 13:27:36 CEST 2019
6.92/2.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29055-serial-file.bin
7.07/2.94	c (0,0) Read Serial File Begin
7.07/2.94	c (0,0) HOME/scop-29055-serial-file.bin
7.90/3.14	c (0,0) Read Serial File End
7.90/3.15	
7.90/3.15	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.90/3.15	(Solving Process)
7.90/3.15	
7.90/3.17	c BEGIN-Prog: Mon Sep 23 13:27:37 CEST 2019
7.90/3.17	c PID: 29078
7.90/3.17	c IP: 172.20.3.104
7.90/3.17	c HOST: node104.alineos.net
7.90/3.18	c (0,0) SatSolver.solve Begin
7.90/3.18	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405253-1569242277.xml-scop-29058.cnf
8.06/3.20	c (0,0) c
8.06/3.20	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)
8.06/3.20	c (0,0) c
8.06/3.20	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.06/3.20	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
8.06/3.20	c (0,0) c ========================================[ Problem Statistics ]===========================================
8.06/3.20	c (0,0) c |                                                                                                       |
8.06/3.21	c (0,0) c |  Number of variables:          3634                                                                   |
8.06/3.21	c (0,0) c |  Number of clauses:           32188                                                                   |
8.06/3.21	c (0,0) c |  Parse time:                   0.01 s                                                                 |
8.06/3.21	c (0,0) c |                                                                                                       |
8.06/3.24	c (0,0) c |  Simplification time:          0.03 s                                                                 |
8.06/3.24	c (0,0) c |                                                                                                       |
8.06/3.24	c (0,0) c |  Generating clones                                                                                    |
8.06/3.25	c (0,0) c |  all clones generated. Memory =    42.31Mb.                                                           |
8.06/3.25	c (0,0) c ========================================================================================================|
8.06/3.25	c (0,0) c
8.06/3.25	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.06/3.25	c (0,0) c
8.06/3.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.06/3.25	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.06/3.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.06/3.25	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.06/3.25	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.06/3.25	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.06/3.25	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.06/3.25	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.06/3.25	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.06/3.25	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.06/3.25	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.06/3.25	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.06/3.25	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.06/3.25	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.06/3.25	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.06/3.25	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.06/3.25	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.06/3.25	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.06/3.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.78/32.61	c (29,0) c
239.78/32.61	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
239.78/32.61	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
239.78/32.61	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
239.78/32.61	c (29,0) c |  0 |    344 |     203359 |     129899 |    30280 |    38508 |    16442 |   105024 |    12775 |      324 |  20 |  0.084 |
239.78/32.61	c (29,0) c |  1 |    388 |     210174 |     131110 |    30223 |    39725 |    15061 |   106555 |    13061 |      324 |  20 |  0.083 |
239.78/32.61	c (29,0) c |  2 |    382 |     213591 |     131044 |    30403 |    39656 |    15775 |   105598 |    13408 |      324 |  20 |  0.083 |
239.78/32.61	c (29,0) c |  3 |    267 |     197268 |     125355 |    30238 |    33970 |    14913 |   101481 |    12395 |      304 |  20 |  0.083 |
239.78/32.61	c (29,0) c |  4 |    378 |     210087 |     130374 |    30350 |    38990 |    15870 |   105381 |    13348 |      322 |  20 |  0.083 |
239.78/32.61	c (29,0) c |  5 |    289 |     205204 |     130518 |    30245 |    39129 |    15604 |   105829 |    13181 |      324 |  20 |  0.086 |
239.78/32.61	c (29,0) c |  6 |    436 |     208790 |     130251 |    30370 |    38864 |    15211 |   105032 |    13530 |      324 |  20 |  0.086 |
239.78/32.61	c (29,0) c |  7 |    430 |     210638 |     130716 |    30359 |    39327 |    15601 |   105760 |    13337 |      324 |  20 |  0.086 |
239.78/32.61	c (29,0) c 
239.78/32.61	c (29,0) c synthesis     1039268 conflicts   367596917 propagations     4495 conflicts/sec  1589881 propagations/sec
239.78/32.61	c (29,0) c real: 29.4043 s, cpu: 231.21 s, memory: 619.11 Mb
469.66/61.60	c (58,0) c
469.66/61.60	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
469.66/61.60	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
469.66/61.60	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
469.66/61.60	c (58,0) c |  0 |    688 |     334932 |     228821 |    30531 |    30626 |    24244 |   155291 |    22051 |      655 |  20 |  0.083 |
469.66/61.60	c (58,0) c |  1 |    757 |     337869 |     227766 |    30481 |    60180 |    22349 |   156379 |    22147 |      650 |  20 |  0.083 |
469.66/61.60	c (58,0) c |  2 |    709 |     344512 |     230481 |    30574 |    32289 |    22716 |   156735 |    22285 |      655 |  20 |  0.083 |
469.66/61.60	c (58,0) c |  3 |    572 |     327894 |     225184 |    30477 |    57597 |    21860 |   154140 |    21383 |      636 |  20 |  0.083 |
469.66/61.60	c (58,0) c |  4 |    681 |     334689 |     225213 |    30531 |    57625 |    23139 |   153928 |    21975 |      639 |  20 |  0.083 |
469.66/61.61	c (58,0) c |  5 |    566 |     334817 |     230111 |    30486 |    31919 |    22589 |   157087 |    22155 |      655 |  20 |  0.083 |
469.66/61.61	c (58,0) c |  6 |    767 |     337151 |     227054 |    30527 |    59461 |    22081 |   156329 |    22253 |      649 |  20 |  0.085 |
469.66/61.61	c (58,0) c |  7 |    745 |     340622 |     229770 |    30538 |    31578 |    22677 |   156787 |    22425 |      655 |  20 |  0.083 |
469.66/61.61	c (58,0) c 
469.66/61.61	c (58,0) c synthesis     1824400 conflicts   624246052 propagations     3958 conflicts/sec  1354201 propagations/sec
469.66/61.61	c (58,0) c real: 58.4043 s, cpu: 460.97 s, memory: 622.74 Mb
604.06/79.13	c (76,0) c
604.06/79.13	c (76,0) c real time : 75.9282 s
604.06/79.13	c (76,0) c cpu time  : 595.223 s
604.06/79.13	c (76,0) c
604.06/79.13	c (76,0) c
604.06/79.13	c (76,0) c
604.06/79.13	c (76,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
604.06/79.13	c (76,0) c
604.06/79.13	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.13	c (76,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
604.06/79.13	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.13	c (76,0) c | Conflicts     |         2263410 |     281868 |     281815 |     284575 |     282918 |     282621 |     283737 |     282201 |     283675 |
604.06/79.13	c (76,0) c | Decisions     |         3270281 |     404726 |     409491 |     415206 |     404458 |     410833 |     404323 |     409823 |     411421 |
604.06/79.13	c (76,0) c | Propagations  |       764563571 |   95271312 |   95536765 |   96433111 |   95183117 |   95803580 |   95681304 |   94919522 |   95734860 |
604.06/79.13	c (76,0) c | ReduceDBs     |             112 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |
604.06/79.13	c (76,0) c | SimpDBs       |              86 |         11 |         11 |         11 |         10 |         10 |         12 |         11 |         10 |
604.06/79.13	c (76,0) c | Restarts      |            7068 |        876 |        969 |        898 |        797 |        924 |        723 |        958 |        923 |
604.06/79.13	c (76,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
604.06/79.13	c (76,0) c | PropBinClauses|      2101665922 |  261561515 |  262318528 |  265065885 |  262609698 |  262357176 |  263681440 |  261152233 |  262919447 |
604.06/79.13	c (76,0) c | PropPreBlocker|     18165883330 | 2265957333 | 2264365970 | 2282613248 | 2274177785 | 2267101970 | 2276313796 | 2260895305 | 2274457923 |
604.06/79.13	c (76,0) c | PropNotBlocker|      5021352905 |  627653890 |  628379448 |  628492647 |  626405993 |  630242335 |  628588692 |  623744468 |  627845432 |
604.06/79.13	c (76,0) c | LitFullScans  |     40192864608 | 5022448850 | 5023681845 | 5028599048 | 5022549606 | 5022612888 | 5027922495 | 5022686590 | 5022363286 |
604.06/79.13	c (76,0) c | LitScanFracts |         3794672 |     429097 |     298774 |     590243 |     538048 |     609705 |     292107 |     675510 |     361188 |
604.06/79.13	c (76,0) c | DecisionLevel0|            7136 |        883 |        983 |        910 |        801 |        933 |        734 |        965 |        927 |
604.06/79.13	c (76,0) c | Periods       |            6697 |        837 |        837 |        838 |        837 |        837 |        837 |        837 |        837 |
604.06/79.13	c (76,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
604.06/79.13	c (76,0) c | Avg_Trail     |                 |       1858 |       1859 |       1855 |       1851 |       1859 |       1853 |       1864 |       1857 |
604.06/79.13	c (76,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         16 |         16 |         17 |         17 |
604.06/79.13	c (76,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
604.06/79.13	c (76,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
604.06/79.13	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.13	c (76,0) c | Exported      |          216885 |      28762 |      26776 |      26603 |      26528 |      27863 |      26862 |      26248 |      27243 |
604.06/79.13	c (76,0) c | Imported      |         1486872 |     184175 |     186328 |     186502 |     186532 |     185030 |     186181 |     186316 |     185808 |
604.06/79.13	c (76,0) c | Good          |           59480 |       7437 |       7324 |       7455 |       7442 |       7423 |       7461 |       7490 |       7448 |
604.06/79.13	c (76,0) c | Purge         |         1427392 |     176738 |     179004 |     179047 |     179090 |     177607 |     178720 |     178826 |     178360 |
604.06/79.13	c (76,0) c | Promoted      |          218169 |      27068 |      27204 |      27379 |      26884 |      27511 |      27190 |      27390 |      27543 |
604.06/79.13	c (76,0) c | Remove_Imp    |          881620 |     108363 |     109800 |     111693 |     110115 |     108998 |     112073 |     112407 |     108171 |
604.06/79.13	c (76,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
604.06/79.13	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.13	c (76,0) c | Unaries       |                 |          7 |         14 |         12 |          4 |          9 |         11 |          7 |          4 |
604.06/79.13	c (76,0) c | Binaries      |                 |       1082 |       1207 |       1083 |       1075 |       1100 |       1052 |       1024 |       1061 |
604.06/79.13	c (76,0) c | Glues         |                 |       3969 |       4029 |       3915 |       3878 |       3996 |       3822 |       3736 |       3747 |
604.06/79.13	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.13	c (76,0) c | Orig_Seen     |            98 % |      30591 |      30523 |      30631 |      30540 |      30583 |      30554 |      30567 |      30584 |
604.06/79.13	c (76,0) c | Diff Orig seen|                 |         68 |      X     |        108 |         17 |         60 |         31 |         44 |         61 |
604.06/79.13	c (76,0) c | Hamming       |            19 % |        583 |      X     |        779 |        655 |        685 |        681 |        738 |        731 |
604.06/79.13	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.13	c (76,0) c | RunningTime   |                 |   74.5  98%|   74.0  99%|   73.9  99%|   75.7 100%|   75.7 100%|   73.4  98%|   74.7  99%|   74.7  99%|
604.06/79.13	c (76,0) c | WaitingTime   |                 |    1.2   2%|    0.4   1%|    0.6   1%|    0.0   0%|    0.0   0%|    1.1   1%|    0.5   1%|    0.7   1%|
604.06/79.13	c (76,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
604.06/79.13	c (76,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%|
604.06/79.13	c (76,0) c | SolvingTime   |                 |   75.7     |   74.6     |   74.6     |   75.8     |   75.8     |   74.6     |   75.3     |   75.5     |
604.06/79.13	c (76,0) c | PropagationTim|                 |   68.5  90%|   67.1  90%|   67.0  90%|   68.4  90%|   68.2  90%|   67.0  90%|   65.5  87%|   68.1  90%|
604.06/79.13	c (76,0) c | AnalysisTime  |                 |    5.6   7%|    5.8   8%|    6.0   8%|    5.9   8%|    5.9   8%|    6.0   8%|    8.2  11%|    5.8   8%|
604.06/79.13	c (76,0) c | ReductionTime |                 |    0.4   1%|    0.4   1%|    0.4   0%|    0.4   1%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   1%|
604.06/79.13	c (76,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
604.06/79.13	c (76,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%|
604.06/79.13	c (76,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%|
604.06/79.13	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.13	c (76,0) c
604.06/79.13	c (76,0) c
604.06/79.13	c (76,0) c Threads : 8
604.06/79.13	c (76,0) c Winner : 1
604.06/79.13	c (76,0) c Conflicts_0 : 281868
604.06/79.13	c (76,0) c Conflicts_1 : 281815
604.06/79.13	c (76,0) c Conflicts_2 : 284575
604.06/79.13	c (76,0) c Conflicts_3 : 282918
604.06/79.13	c (76,0) c Conflicts_4 : 282621
604.06/79.13	c (76,0) c Conflicts_5 : 283737
604.06/79.13	c (76,0) c Conflicts_6 : 282201
604.06/79.13	c (76,0) c Conflicts_7 : 283675
604.06/79.13	c (76,0) c Conflicts_total : 2263410
604.06/79.13	c (76,0) c Conflicts_winner : 281815
604.06/79.13	c (76,0) c Decisions_0 : 404726
604.06/79.13	c (76,0) c Decisions_1 : 409491
604.06/79.13	c (76,0) c Decisions_2 : 415206
604.06/79.13	c (76,0) c Decisions_3 : 404458
604.06/79.13	c (76,0) c Decisions_4 : 410833
604.06/79.13	c (76,0) c Decisions_5 : 404323
604.06/79.13	c (76,0) c Decisions_6 : 409823
604.06/79.13	c (76,0) c Decisions_7 : 411421
604.06/79.13	c (76,0) c Decisions_total : 3270281
604.06/79.13	c (76,0) c Decisions_winner : 409491
604.06/79.13	c (76,0) c Propagations_0 : 95271312
604.06/79.13	c (76,0) c Propagations_1 : 95536765
604.06/79.13	c (76,0) c Propagations_2 : 96433111
604.06/79.13	c (76,0) c Propagations_3 : 95183117
604.06/79.13	c (76,0) c Propagations_4 : 95803580
604.06/79.13	c (76,0) c Propagations_5 : 95681304
604.06/79.13	c (76,0) c Propagations_6 : 94919522
604.06/79.13	c (76,0) c Propagations_7 : 95734860
604.06/79.13	c (76,0) c Propagations_total : 764563571
604.06/79.13	c (76,0) c Propagations_winner : 95536765
604.06/79.13	c (76,0) c ReduceDBs_0 : 14
604.06/79.13	c (76,0) c ReduceDBs_1 : 14
604.06/79.13	c (76,0) c ReduceDBs_2 : 14
604.06/79.13	c (76,0) c ReduceDBs_3 : 14
604.06/79.13	c (76,0) c ReduceDBs_4 : 14
604.06/79.13	c (76,0) c ReduceDBs_5 : 14
604.06/79.13	c (76,0) c ReduceDBs_6 : 14
604.06/79.13	c (76,0) c ReduceDBs_7 : 14
604.06/79.13	c (76,0) c ReduceDBs_total : 112
604.06/79.13	c (76,0) c ReduceDBs_winner : 14
604.06/79.13	c (76,0) c SimpDBs_0 : 11
604.06/79.13	c (76,0) c SimpDBs_1 : 11
604.06/79.13	c (76,0) c SimpDBs_2 : 11
604.06/79.13	c (76,0) c SimpDBs_3 : 10
604.06/79.13	c (76,0) c SimpDBs_4 : 10
604.06/79.13	c (76,0) c SimpDBs_5 : 12
604.06/79.13	c (76,0) c SimpDBs_6 : 11
604.06/79.13	c (76,0) c SimpDBs_7 : 10
604.06/79.13	c (76,0) c SimpDBs_total : 86
604.06/79.13	c (76,0) c SimpDBs_winner : 11
604.06/79.13	c (76,0) c Restarts_0 : 876
604.06/79.13	c (76,0) c Restarts_1 : 969
604.06/79.13	c (76,0) c Restarts_2 : 898
604.06/79.13	c (76,0) c Restarts_3 : 797
604.06/79.13	c (76,0) c Restarts_4 : 924
604.06/79.13	c (76,0) c Restarts_5 : 723
604.06/79.13	c (76,0) c Restarts_6 : 958
604.06/79.13	c (76,0) c Restarts_7 : 923
604.06/79.13	c (76,0) c Restarts_total : 7068
604.06/79.13	c (76,0) c Restarts_winner : 969
604.06/79.13	c (76,0) c ForcedImports_0 : 0
604.06/79.13	c (76,0) c ForcedImports_1 : 0
604.06/79.13	c (76,0) c ForcedImports_2 : 0
604.06/79.13	c (76,0) c ForcedImports_3 : 0
604.06/79.13	c (76,0) c ForcedImports_4 : 0
604.06/79.13	c (76,0) c ForcedImports_5 : 0
604.06/79.13	c (76,0) c ForcedImports_6 : 0
604.06/79.13	c (76,0) c ForcedImports_7 : 0
604.06/79.13	c (76,0) c ForcedImports_total : 0
604.06/79.13	c (76,0) c ForcedImports_winner : 0
604.06/79.13	c (76,0) c PropsBinClauses_0 : 261561515
604.06/79.13	c (76,0) c PropsBinClauses_1 : 262318528
604.06/79.13	c (76,0) c PropsBinClauses_2 : 265065885
604.06/79.13	c (76,0) c PropsBinClauses_3 : 262609698
604.06/79.13	c (76,0) c PropsBinClauses_4 : 262357176
604.06/79.13	c (76,0) c PropsBinClauses_5 : 263681440
604.06/79.13	c (76,0) c PropsBinClauses_6 : 261152233
604.06/79.13	c (76,0) c PropsBinClauses_7 : 262919447
604.06/79.13	c (76,0) c PropsBinClauses_total : 2101665922
604.06/79.13	c (76,0) c PropsBinClauses_winner : 262318528
604.06/79.13	c (76,0) c PropsPreBlocker_0 : 2265957333
604.06/79.13	c (76,0) c PropsPreBlocker_1 : 2264365970
604.06/79.13	c (76,0) c PropsPreBlocker_2 : 2282613248
604.06/79.13	c (76,0) c PropsPreBlocker_3 : 2274177785
604.06/79.13	c (76,0) c PropsPreBlocker_4 : 2267101970
604.06/79.13	c (76,0) c PropsPreBlocker_5 : 2276313796
604.06/79.13	c (76,0) c PropsPreBlocker_6 : 2260895305
604.06/79.13	c (76,0) c PropsPreBlocker_7 : 2274457923
604.06/79.13	c (76,0) c PropsPreBlocker_total : 18165883330
604.06/79.13	c (76,0) c PropsPreBlocker_winner : 2264365970
604.06/79.13	c (76,0) c PropsNotBlocker_0 : 627653890
604.06/79.13	c (76,0) c PropsNotBlocker_1 : 628379448
604.06/79.13	c (76,0) c PropsNotBlocker_2 : 628492647
604.06/79.13	c (76,0) c PropsNotBlocker_3 : 626405993
604.06/79.13	c (76,0) c PropsNotBlocker_4 : 630242335
604.06/79.13	c (76,0) c PropsNotBlocker_5 : 628588692
604.06/79.13	c (76,0) c PropsNotBlocker_6 : 623744468
604.06/79.13	c (76,0) c PropsNotBlocker_7 : 627845432
604.06/79.13	c (76,0) c PropsNotBlocker_total : 5021352905
604.06/79.13	c (76,0) c PropsNotBlocker_winner : 628379448
604.06/79.13	c (76,0) c PropsLitFullScans_0 : 5022448850
604.06/79.13	c (76,0) c PropsLitFullScans_1 : 5023681845
604.06/79.13	c (76,0) c PropsLitFullScans_2 : 5028599048
604.06/79.13	c (76,0) c PropsLitFullScans_3 : 5022549606
604.06/79.13	c (76,0) c PropsLitFullScans_4 : 5022612888
604.06/79.13	c (76,0) c PropsLitFullScans_5 : 5027922495
604.06/79.13	c (76,0) c PropsLitFullScans_6 : 5022686590
604.06/79.13	c (76,0) c PropsLitFullScans_7 : 5022363286
604.06/79.13	c (76,0) c PropsLitFullScans_total : 40192864608
604.06/79.13	c (76,0) c PropsLitFullScans_winner : 5023681845
604.06/79.13	c (76,0) c LitScanFractions_0 : 429097
604.06/79.13	c (76,0) c LitScanFractions_1 : 298774
604.06/79.13	c (76,0) c LitScanFractions_2 : 590243
604.06/79.13	c (76,0) c LitScanFractions_3 : 538048
604.06/79.13	c (76,0) c LitScanFractions_4 : 609705
604.06/79.13	c (76,0) c LitScanFractions_5 : 292107
604.06/79.14	c (76,0) c LitScanFractions_6 : 675510
604.06/79.14	c (76,0) c LitScanFractions_7 : 361188
604.06/79.14	c (76,0) c LitScanFractions_total : 3794672
604.06/79.14	c (76,0) c LitScanFractions_winner : 298774
604.06/79.14	c (76,0) c DecisionLevel0_0 : 883
604.06/79.14	c (76,0) c DecisionLevel0_1 : 983
604.06/79.14	c (76,0) c DecisionLevel0_2 : 910
604.06/79.14	c (76,0) c DecisionLevel0_3 : 801
604.06/79.14	c (76,0) c DecisionLevel0_4 : 933
604.06/79.14	c (76,0) c DecisionLevel0_5 : 734
604.06/79.14	c (76,0) c DecisionLevel0_6 : 965
604.06/79.14	c (76,0) c DecisionLevel0_7 : 927
604.06/79.14	c (76,0) c DecisionLevel0_total : 7136
604.06/79.14	c (76,0) c DecisionLevel0_winner : 983
604.06/79.14	c (76,0) c Periods_0 : 837
604.06/79.14	c (76,0) c Periods_1 : 837
604.06/79.14	c (76,0) c Periods_2 : 838
604.06/79.14	c (76,0) c Periods_3 : 837
604.06/79.14	c (76,0) c Periods_4 : 837
604.06/79.14	c (76,0) c Periods_5 : 837
604.06/79.14	c (76,0) c Periods_6 : 837
604.06/79.14	c (76,0) c Periods_7 : 837
604.06/79.14	c (76,0) c Periods_total : 6697
604.06/79.14	c (76,0) c Periods_winner : 837
604.06/79.14	c (76,0) c Margin_0 : 20
604.06/79.14	c (76,0) c Margin_1 : 20
604.06/79.14	c (76,0) c Margin_2 : 20
604.06/79.14	c (76,0) c Margin_3 : 20
604.06/79.14	c (76,0) c Margin_4 : 20
604.06/79.14	c (76,0) c Margin_5 : 20
604.06/79.14	c (76,0) c Margin_6 : 20
604.06/79.14	c (76,0) c Margin_7 : 20
604.06/79.14	c (76,0) c Margin_total : 160
604.06/79.14	c (76,0) c Margin_winner : 20
604.06/79.14	c (76,0) c Exported_0 : 28762
604.06/79.14	c (76,0) c Exported_1 : 26776
604.06/79.14	c (76,0) c Exported_2 : 26603
604.06/79.14	c (76,0) c Exported_3 : 26528
604.06/79.14	c (76,0) c Exported_4 : 27863
604.06/79.14	c (76,0) c Exported_5 : 26862
604.06/79.14	c (76,0) c Exported_6 : 26248
604.06/79.14	c (76,0) c Exported_7 : 27243
604.06/79.14	c (76,0) c Exported_total : 216885
604.06/79.14	c (76,0) c Exported_winner : 26776
604.06/79.14	c (76,0) c Imported_0 : 184175
604.06/79.14	c (76,0) c Imported_1 : 186328
604.06/79.14	c (76,0) c Imported_2 : 186502
604.06/79.14	c (76,0) c Imported_3 : 186532
604.06/79.14	c (76,0) c Imported_4 : 185030
604.06/79.14	c (76,0) c Imported_5 : 186181
604.06/79.14	c (76,0) c Imported_6 : 186316
604.06/79.14	c (76,0) c Imported_7 : 185808
604.06/79.14	c (76,0) c Imported_total : 1486872
604.06/79.14	c (76,0) c Imported_winner : 186328
604.06/79.14	c (76,0) c Good_0 : 7437
604.06/79.14	c (76,0) c Good_1 : 7324
604.06/79.14	c (76,0) c Good_2 : 7455
604.06/79.14	c (76,0) c Good_3 : 7442
604.06/79.14	c (76,0) c Good_4 : 7423
604.06/79.14	c (76,0) c Good_5 : 7461
604.06/79.14	c (76,0) c Good_6 : 7490
604.06/79.14	c (76,0) c Good_7 : 7448
604.06/79.14	c (76,0) c Good_total : 59480
604.06/79.14	c (76,0) c Good_winner : 7324
604.06/79.14	c (76,0) c Purge_0 : 176738
604.06/79.14	c (76,0) c Purge_1 : 179004
604.06/79.14	c (76,0) c Purge_2 : 179047
604.06/79.14	c (76,0) c Purge_3 : 179090
604.06/79.14	c (76,0) c Purge_4 : 177607
604.06/79.14	c (76,0) c Purge_5 : 178720
604.06/79.14	c (76,0) c Purge_6 : 178826
604.06/79.14	c (76,0) c Purge_7 : 178360
604.06/79.14	c (76,0) c Purge_total : 1427392
604.06/79.14	c (76,0) c Purge_winner : 179004
604.06/79.14	c (76,0) c Promoted_0 : 27068
604.06/79.14	c (76,0) c Promoted_1 : 27204
604.06/79.14	c (76,0) c Promoted_2 : 27379
604.06/79.14	c (76,0) c Promoted_3 : 26884
604.06/79.14	c (76,0) c Promoted_4 : 27511
604.06/79.14	c (76,0) c Promoted_5 : 27190
604.06/79.14	c (76,0) c Promoted_6 : 27390
604.06/79.14	c (76,0) c Promoted_7 : 27543
604.06/79.14	c (76,0) c Promoted_total : 218169
604.06/79.14	c (76,0) c Promoted_winner : 27204
604.06/79.14	c (76,0) c Remove_Imp_0 : 108363
604.06/79.14	c (76,0) c Remove_Imp_1 : 109800
604.06/79.14	c (76,0) c Remove_Imp_2 : 111693
604.06/79.14	c (76,0) c Remove_Imp_3 : 110115
604.06/79.14	c (76,0) c Remove_Imp_4 : 108998
604.06/79.14	c (76,0) c Remove_Imp_5 : 112073
604.06/79.14	c (76,0) c Remove_Imp_6 : 112407
604.06/79.14	c (76,0) c Remove_Imp_7 : 108171
604.06/79.14	c (76,0) c Remove_Imp_total : 881620
604.06/79.14	c (76,0) c Remove_Imp_winner : 109800
604.06/79.14	c (76,0) c Blocked_Reuse_0 : 0
604.06/79.14	c (76,0) c Blocked_Reuse_1 : 0
604.06/79.14	c (76,0) c Blocked_Reuse_2 : 0
604.06/79.14	c (76,0) c Blocked_Reuse_3 : 0
604.06/79.14	c (76,0) c Blocked_Reuse_4 : 0
604.06/79.14	c (76,0) c Blocked_Reuse_5 : 0
604.06/79.14	c (76,0) c Blocked_Reuse_6 : 0
604.06/79.14	c (76,0) c Blocked_Reuse_7 : 0
604.06/79.14	c (76,0) c Blocked_Reuse_total : 0
604.06/79.14	c (76,0) c Blocked_Reuse_winner : 0
604.06/79.14	c (76,0) c Unaries_0 : 7
604.06/79.14	c (76,0) c Unaries_1 : 14
604.06/79.14	c (76,0) c Unaries_2 : 12
604.06/79.14	c (76,0) c Unaries_3 : 4
604.06/79.14	c (76,0) c Unaries_4 : 9
604.06/79.14	c (76,0) c Unaries_5 : 11
604.06/79.14	c (76,0) c Unaries_6 : 7
604.06/79.14	c (76,0) c Unaries_7 : 4
604.06/79.14	c (76,0) c Unaries_total : 68
604.06/79.14	c (76,0) c Unaries_winner : 14
604.06/79.14	c (76,0) c Binaries_0 : 1082
604.06/79.14	c (76,0) c Binaries_1 : 1207
604.06/79.14	c (76,0) c Binaries_2 : 1083
604.06/79.14	c (76,0) c Binaries_3 : 1075
604.06/79.14	c (76,0) c Binaries_4 : 1100
604.06/79.14	c (76,0) c Binaries_5 : 1052
604.06/79.14	c (76,0) c Binaries_6 : 1024
604.06/79.14	c (76,0) c Binaries_7 : 1061
604.06/79.14	c (76,0) c Binaries_total : 8684
604.06/79.14	c (76,0) c Binaries_winner : 1207
604.06/79.14	c (76,0) c Glues_0 : 3969
604.06/79.14	c (76,0) c Glues_1 : 4029
604.06/79.14	c (76,0) c Glues_2 : 3915
604.06/79.14	c (76,0) c Glues_3 : 3878
604.06/79.14	c (76,0) c Glues_4 : 3996
604.06/79.14	c (76,0) c Glues_5 : 3822
604.06/79.14	c (76,0) c Glues_6 : 3736
604.06/79.14	c (76,0) c Glues_7 : 3747
604.06/79.14	c (76,0) c Glues_total : 31092
604.06/79.14	c (76,0) c Glues_winner : 4029
604.06/79.14	c (76,0) c RunningTime_0 : 74.456701
604.06/79.14	c (76,0) c RunningTime_1 : 74.032657
604.06/79.14	c (76,0) c RunningTime_2 : 73.884879
604.06/79.14	c (76,0) c RunningTime_3 : 75.747058
604.06/79.14	c (76,0) c RunningTime_4 : 75.674862
604.06/79.14	c (76,0) c RunningTime_5 : 73.371691
604.06/79.14	c (76,0) c RunningTime_6 : 74.688018
604.06/79.14	c (76,0) c RunningTime_7 : 74.741037
604.06/79.14	c (76,0) c RunningTime_total : 596.596903
604.06/79.14	c (76,0) c RunningTime_winner : 74.032657
604.06/79.14	c (76,0) c WaitingTime_0 : 1.166579
604.06/79.14	c (76,0) c WaitingTime_1 : 0.412049
604.06/79.14	c (76,0) c WaitingTime_2 : 0.617405
604.06/79.14	c (76,0) c WaitingTime_3 : 0.000987
604.06/79.14	c (76,0) c WaitingTime_4 : 0.001155
604.06/79.14	c (76,0) c WaitingTime_5 : 1.108032
604.06/79.14	c (76,0) c WaitingTime_6 : 0.539695
604.06/79.14	c (76,0) c WaitingTime_7 : 0.671362
604.06/79.14	c (76,0) c WaitingTime_total : 4.517265
604.06/79.14	c (76,0) c WaitingTime_winner : 0.412049
604.06/79.14	c (76,0) c ExchangingTime_0 : 0.096928
604.06/79.14	c (76,0) c ExchangingTime_1 : 0.107833
604.06/79.14	c (76,0) c ExchangingTime_2 : 0.092398
604.06/79.14	c (76,0) c ExchangingTime_3 : 0.091504
604.06/79.14	c (76,0) c ExchangingTime_4 : 0.095052
604.06/79.14	c (76,0) c ExchangingTime_5 : 0.096750
604.06/79.14	c (76,0) c ExchangingTime_6 : 0.097116
604.06/79.14	c (76,0) c ExchangingTime_7 : 0.100965
604.06/79.14	c (76,0) c ExchangingTime_total : 0.778545
604.06/79.14	c (76,0) c ExchangingTime_winner : 0.107833
604.06/79.14	c (76,0) c PeriodProcTime_0 : 0.006661
604.06/79.14	c (76,0) c PeriodProcTime_1 : 0.006281
604.06/79.14	c (76,0) c PeriodProcTime_2 : 0.006125
604.06/79.14	c (76,0) c PeriodProcTime_3 : 0.008941
604.06/79.14	c (76,0) c PeriodProcTime_4 : 0.006050
604.06/79.14	c (76,0) c PeriodProcTime_5 : 0.007108
604.06/79.14	c (76,0) c PeriodProcTime_6 : 0.005910
604.06/79.14	c (76,0) c PeriodProcTime_7 : 0.006017
604.06/79.14	c (76,0) c PeriodProcTime_total : 0.053093
604.06/79.14	c (76,0) c PeriodProcTime_winner : 0.006281
604.06/79.14	c (76,0) c SolvingTime_0 : 75.726869
604.06/79.14	c (76,0) c SolvingTime_1 : 74.558820
604.06/79.14	c (76,0) c SolvingTime_2 : 74.600808
604.06/79.14	c (76,0) c SolvingTime_3 : 75.848490
604.06/79.14	c (76,0) c SolvingTime_4 : 75.777119
604.06/79.14	c (76,0) c SolvingTime_5 : 74.583581
604.06/79.14	c (76,0) c SolvingTime_6 : 75.330739
604.06/79.14	c (76,0) c SolvingTime_7 : 75.519381
604.06/79.14	c (76,0) c SolvingTime_total : 601.945807
604.06/79.14	c (76,0) c SolvingTime_winner : 74.558820
604.06/79.14	c (76,0) c PropagationTime_0 : 68.455060
604.06/79.14	c (76,0) c PropagationTime_1 : 67.085826
604.06/79.14	c (76,0) c PropagationTime_2 : 66.957326
604.06/79.14	c (76,0) c PropagationTime_3 : 68.367248
604.06/79.14	c (76,0) c PropagationTime_4 : 68.225310
604.06/79.14	c (76,0) c PropagationTime_5 : 66.954818
604.06/79.14	c (76,0) c PropagationTime_6 : 65.545134
604.06/79.14	c (76,0) c PropagationTime_7 : 68.115067
604.06/79.14	c (76,0) c PropagationTime_total : 539.705788
604.06/79.14	c (76,0) c PropagationTime_winner : 67.085826
604.06/79.14	c (76,0) c AnalysisTime_0 : 5.628770
604.06/79.14	c (76,0) c AnalysisTime_1 : 5.847710
604.06/79.14	c (76,0) c AnalysisTime_2 : 5.967960
604.06/79.14	c (76,0) c AnalysisTime_3 : 5.861449
604.06/79.14	c (76,0) c AnalysisTime_4 : 5.888803
604.06/79.14	c (76,0) c AnalysisTime_5 : 5.994515
604.06/79.14	c (76,0) c AnalysisTime_6 : 8.216624
604.06/79.14	c (76,0) c AnalysisTime_7 : 5.754340
604.06/79.14	c (76,0) c AnalysisTime_total : 49.160172
604.06/79.14	c (76,0) c AnalysisTime_winner : 5.847710
604.06/79.14	c (76,0) c ReductionTime_0 : 0.400572
604.06/79.14	c (76,0) c ReductionTime_1 : 0.382019
604.06/79.14	c (76,0) c ReductionTime_2 : 0.365843
604.06/79.14	c (76,0) c ReductionTime_3 : 0.382538
604.06/79.14	c (76,0) c ReductionTime_4 : 0.371289
604.06/79.14	c (76,0) c ReductionTime_5 : 0.371344
604.06/79.14	c (76,0) c ReductionTime_6 : 0.373310
604.06/79.14	c (76,0) c ReductionTime_7 : 0.385625
604.06/79.14	c (76,0) c ReductionTime_total : 3.032539
604.06/79.14	c (76,0) c ReductionTime_winner : 0.382019
604.06/79.14	c (76,0) c SimplifyTime_0 : 0.075634
604.06/79.14	c (76,0) c SimplifyTime_1 : 0.083089
604.06/79.14	c (76,0) c SimplifyTime_2 : 0.067281
604.06/79.14	c (76,0) c SimplifyTime_3 : 0.060202
604.06/79.14	c (76,0) c SimplifyTime_4 : 0.058440
604.06/79.14	c (76,0) c SimplifyTime_5 : 0.081106
604.06/79.14	c (76,0) c SimplifyTime_6 : 0.064164
604.06/79.14	c (76,0) c SimplifyTime_7 : 0.074116
604.06/79.14	c (76,0) c SimplifyTime_total : 0.564033
604.06/79.14	c (76,0) c SimplifyTime_winner : 0.083089
604.06/79.14	c (76,0) c UsedRateTime_0 : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_1 : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_2 : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_3 : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_4 : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_5 : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_6 : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_7 : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_total : 0.000000
604.06/79.14	c (76,0) c UsedRateTime_winner : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_0 : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_1 : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_2 : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_3 : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_4 : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_5 : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_6 : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_7 : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_total : 0.000000
604.06/79.14	c (76,0) c OverlapRateTime_winner : 0.000000
604.06/79.14	c (76,0) c
604.06/79.14	c (76,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
604.06/79.14	c (76,0) c
604.06/79.14	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.14	c (76,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
604.06/79.14	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.14	c (76,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
604.06/79.14	c (76,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
604.06/79.14	c (76,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
604.06/79.14	c (76,0) c | Initial random_seed   |  679884139 |  110153939 | 1309115369 | 2032444426 |  978996832 |  362057367 |  873637555 |  732842523 |
604.06/79.14	c (76,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
604.06/79.14	c (76,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
604.06/79.14	c (76,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
604.06/79.14	c (76,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
604.06/79.14	c (76,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
604.06/79.14	c (76,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
604.06/79.14	c (76,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
604.06/79.14	c (76,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
604.06/79.14	c (76,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
604.06/79.14	c (76,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
604.06/79.14	c (76,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
604.06/79.14	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
604.06/79.14	c (76,0) 
604.06/79.14	c (76,0) s UNSATISFIABLE
604.06/79.15	c (76,0) SatSolver.solve End
604.06/79.15	c (76,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
604.06/79.15	c (76,0) Show results Begin
604.06/79.15	s UNSATISFIABLE
604.06/79.15	c (76,0) Show results End
604.06/79.15	c (76,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
604.06/79.15	c (76,0) 76,76,STOP-AFTER(ALL)
604.06/79.15	c END-Prog: Mon Sep 23 13:28:53 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405253-1569242277/watcher-4405253-1569242277 -o /tmp/evaluation-result-4405253-1569242277/solver-4405253-1569242277 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405253-1569242277.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=29055, runsolver pid=29052
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 7.24 7.48 7.10 2/211 29077
/proc/meminfo: memFree=25409276/32770624 swapFree=66986356/67108860
[pid=29055] ppid=29052 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/29055/stat : 29055 (scop.sh) S 29052 29055 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500484354 115843072 348 33554432000 4194304 5098028 140731075128064 140731075125320 140379741418108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24317952 140731075134245 140731075134572 140731075134572 140731075137485 0
/proc/29055/statm: 28282 348 296 221 0 87 0
[pid=29058] ppid=29055 vsize=27314120 memory=107264 CPUtime=0.11 cores=0-7
/proc/29058/stat : 29058 (java) S 29055 29055 27734 0 -1 1077944320 6923 0 0 0 8 3 0 0 20 0 20 0 500484354 27969658880 26816 33554432000 4194304 4196468 140721694095936 140721694078480 140127812767479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
/proc/29058/statm: 6828530 26816 2777 1 0 6790935 0
[pid=29058/tid=29059] ppid=29055 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/29058/task/29059/stat : 29059 (java) R 29055 29055 27734 0 -1 4202560 5033 0 0 0 6 2 0 0 20 0 20 0 500484354 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127784580560 140127794884577 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29060] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29060/stat : 29060 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127817010064 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29061] ppid=29055 vsize=27314120 memory=140037517210151 CPUtime=0 cores=0-7
/proc/29058/task/29061/stat : 29061 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127631166224 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29062] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29062/stat : 29062 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127630113936 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29063] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29063/stat : 29063 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127629061136 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29064] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29064/stat : 29064 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127628007824 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29065] ppid=29055 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29058/task/29065/stat : 29065 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127626955024 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29066] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29066/stat : 29066 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127625902736 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29067] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29067/stat : 29067 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 26816 33554432000 4194304 4196468 140721694095936 140127624849936 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29068] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29068/stat : 29068 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484358 27969658880 26816 33554432000 4194304 4196468 140721694095936 140126803921520 140127812778626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29069] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29069/stat : 29069 (java) S 29055 29055 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500484359 27969658880 26816 33554432000 4194304 4196468 140721694095936 140125791053088 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29070] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29070/stat : 29070 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484359 27969658880 26881 33554432000 4194304 4196468 140721694095936 140125522617968 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29071] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29071/stat : 29071 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484361 27969658880 26881 33554432000 4194304 4196468 140721694095936 140125148109392 140127812786075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29072] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29072/stat : 29072 (java) S 29055 29055 27734 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 500484361 27969658880 26881 33554432000 4194304 4196468 140721694095936 140126802868336 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29073] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29073/stat : 29073 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500484361 27969658880 26881 33554432000 4194304 4196468 140721694095936 140126801815536 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29074] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29074/stat : 29074 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 26881 33554432000 4194304 4196468 140721694095936 140126800763248 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29075] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29075/stat : 29075 (java) R 29055 29055 27734 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 26881 33554432000 4194304 4196468 140721694095936 140126799710448 140127791708926 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29076] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29076/stat : 29076 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 26881 33554432000 4194304 4196468 140721694095936 140124650204000 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29077] ppid=29055 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29058/task/29077/stat : 29077 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 26881 33554432000 4194304 4196468 140721694095936 140125656832816 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108656 KiB

[startup+0.209948 s]*
/proc/loadavg: 7.24 7.48 7.10 5/211 29077
/proc/meminfo: memFree=25388960/32770624 swapFree=66986356/67108860
[pid=29055] ppid=29052 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/29055/stat : 29055 (scop.sh) S 29052 29055 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500484354 115843072 348 33554432000 4194304 5098028 140731075128064 140731075125320 140379741418108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24317952 140731075134245 140731075134572 140731075134572 140731075137485 0
/proc/29055/statm: 28282 348 296 221 0 87 0
[pid=29058] ppid=29055 vsize=27314120 memory=126684 CPUtime=0.24 cores=0-7
/proc/29058/stat : 29058 (java) S 29055 29055 27734 0 -1 1077944320 12562 0 0 0 20 4 0 0 20 0 20 0 500484354 27969658880 31671 33554432000 4194304 4196468 140721694095936 140721694078480 140127812767479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
/proc/29058/statm: 6828530 31671 2919 1 0 6790935 0
[pid=29058/tid=29059] ppid=29055 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29058/task/29059/stat : 29059 (java) R 29055 29055 27734 0 -1 4202560 10302 0 0 0 16 3 0 0 20 0 20 0 500484354 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127784588384 140127795954323 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29060] ppid=29055 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/29058/task/29060/stat : 29060 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127817010064 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29061] ppid=29055 vsize=27314120 memory=288370413668894336 CPUtime=0 cores=0-7
/proc/29058/task/29061/stat : 29061 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127631166224 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29062] ppid=29055 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29058/task/29062/stat : 29062 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127630113936 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29063] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29063/stat : 29063 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127629061136 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29064] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29064/stat : 29064 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127628007824 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29065] ppid=29055 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29058/task/29065/stat : 29065 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127626955024 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29066] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29066/stat : 29066 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127625902736 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29067] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29067/stat : 29067 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 31671 33554432000 4194304 4196468 140721694095936 140127624849936 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29068] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29068/stat : 29068 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484358 27969658880 31671 33554432000 4194304 4196468 140721694095936 140126803921520 140127812778626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29069] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29069/stat : 29069 (java) S 29055 29055 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500484359 27969658880 31671 33554432000 4194304 4196468 140721694095936 140125791053088 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29070] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29070/stat : 29070 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484359 27969658880 31671 33554432000 4194304 4196468 140721694095936 140125522617968 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29071] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29071/stat : 29071 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484361 27969658880 31671 33554432000 4194304 4196468 140721694095936 140125148109392 140127812786075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29072] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29072/stat : 29072 (java) S 29055 29055 27734 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 20 0 500484361 27969658880 31671 33554432000 4194304 4196468 140721694095936 140126802868336 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29073] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29073/stat : 29073 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500484361 27969658880 31671 33554432000 4194304 4196468 140721694095936 140126801815536 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29074] ppid=29055 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29058/task/29074/stat : 29074 (java) S 29055 29055 27734 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 31671 33554432000 4194304 4196468 140721694095936 140126800763248 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29075] ppid=29055 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/29058/task/29075/stat : 29075 (java) S 29055 29055 27734 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 500484362 27969658880 31671 33554432000 4194304 4196468 140721694095936 140126799710448 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29076] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29076/stat : 29076 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 31671 33554432000 4194304 4196468 140721694095936 140124650204000 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29077] ppid=29055 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29058/task/29077/stat : 29077 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 31671 33554432000 4194304 4196468 140721694095936 140125656832816 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128076 KiB

[startup+0.309425 s]*
/proc/loadavg: 7.24 7.48 7.10 2/211 29077
/proc/meminfo: memFree=25386912/32770624 swapFree=66986356/67108860
[pid=29055] ppid=29052 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/29055/stat : 29055 (scop.sh) S 29052 29055 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500484354 115843072 348 33554432000 4194304 5098028 140731075128064 140731075125320 140379741418108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24317952 140731075134245 140731075134572 140731075134572 140731075137485 0
/proc/29055/statm: 28282 348 296 221 0 87 0
[pid=29058] ppid=29055 vsize=27314120 memory=130288 CPUtime=0.42 cores=0-7
/proc/29058/stat : 29058 (java) S 29055 29055 27734 0 -1 1077944320 12915 0 0 0 37 5 0 0 20 0 20 0 500484354 27969658880 32572 33554432000 4194304 4196468 140721694095936 140721694078480 140127812767479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
/proc/29058/statm: 6828530 32572 3024 1 0 6790935 0
[pid=29058/tid=29059] ppid=29055 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/29058/task/29059/stat : 29059 (java) R 29055 29055 27734 0 -1 4202560 10482 0 0 0 26 4 0 0 20 0 20 0 500484354 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127784594816 140127792494017 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29060] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29060/stat : 29060 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127817010064 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29061] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29061/stat : 29061 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127631166224 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29062] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29062/stat : 29062 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127630113936 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29063] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29063/stat : 29063 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127629061136 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29064] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29064/stat : 29064 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127628007824 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29065] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29065/stat : 29065 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127626955024 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29066] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29066/stat : 29066 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127625902736 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29067] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29067/stat : 29067 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27969658880 32572 33554432000 4194304 4196468 140721694095936 140127624849936 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29068] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29068/stat : 29068 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484358 27969658880 32572 33554432000 4194304 4196468 140721694095936 140126803921520 140127812778626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29069] ppid=29055 vsize=27314120 memory=280074817576320 CPUtime=0 cores=0-7
/proc/29058/task/29069/stat : 29069 (java) S 29055 29055 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500484359 27969658880 32572 33554432000 4194304 4196468 140721694095936 140125791053088 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29070] ppid=29055 vsize=27314120 memory=280074817580928 CPUtime=0 cores=0-7
/proc/29058/task/29070/stat : 29070 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484359 27969658880 32572 33554432000 4194304 4196468 140721694095936 140125522617968 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29071] ppid=29055 vsize=27314120 memory=280074817585536 CPUtime=0 cores=0-7
/proc/29058/task/29071/stat : 29071 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484361 27969658880 32572 33554432000 4194304 4196468 140721694095936 140125148109392 140127812786075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29072] ppid=29055 vsize=27314120 memory=280074817590144 CPUtime=0 cores=0-7
/proc/29058/task/29072/stat : 29072 (java) S 29055 29055 27734 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 20 0 500484361 27969658880 32572 33554432000 4194304 4196468 140721694095936 140126802868336 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29073] ppid=29055 vsize=27314120 memory=280074817594752 CPUtime=0.01 cores=0-7
/proc/29058/task/29073/stat : 29073 (java) S 29055 29055 27734 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 500484361 27969658880 32572 33554432000 4194304 4196468 140721694095936 140126801815536 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29074] ppid=29055 vsize=27314120 memory=280074817599360 CPUtime=0.01 cores=0-7
/proc/29058/task/29074/stat : 29074 (java) S 29055 29055 27734 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 500484362 27969658880 32572 33554432000 4194304 4196468 140721694095936 140126800763248 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29075] ppid=29055 vsize=27314120 memory=280074817603968 CPUtime=0.07 cores=0-7
/proc/29058/task/29075/stat : 29075 (java) S 29055 29055 27734 0 -1 1077944384 466 0 0 0 7 0 0 0 20 0 20 0 500484362 27969658880 32572 33554432000 4194304 4196468 140721694095936 140126799710448 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29076] ppid=29055 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29076/stat : 29076 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 32572 33554432000 4194304 4196468 140721694095936 140124650204000 140127812777685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29077] ppid=29055 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29058/task/29077/stat : 29077 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484362 27969658880 32572 33554432000 4194304 4196468 140721694095936 140125656832816 140127812778626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131680 KiB

[startup+0.70089 s]
/proc/loadavg: 7.24 7.48 7.10 3/211 29077
/proc/meminfo: memFree=25365940/32770624 swapFree=66986356/67108860
[pid=29055] ppid=29052 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/29055/stat : 29055 (scop.sh) S 29052 29055 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500484354 115843072 348 33554432000 4194304 5098028 140731075128064 140731075125320 140379741418108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24317952 140731075134245 140731075134572 140731075134572 140731075137485 0
/proc/29055/statm: 28282 348 296 221 0 87 0
[pid=29058] ppid=29055 vsize=27322516 memory=165656 CPUtime=0.99 cores=0-7
/proc/29058/stat : 29058 (java) S 29055 29055 27734 0 -1 1077944320 20512 0 0 0 92 7 0 0 20 0 20 0 500484354 27978256384 41414 33554432000 4194304 4196468 140721694095936 140721694078480 140127812767479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
/proc/29058/statm: 6830629 41414 3204 1 0 6791959 0
[pid=29058/tid=29059] ppid=29055 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/29058/task/29059/stat : 29059 (java) R 29055 29055 27734 0 -1 4202560 17586 0 0 0 62 6 0 0 20 0 20 0 500484354 27978256384 41414 33554432000 4194304 4196468 140721694095936 140127784599248 140127812789405 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29060] ppid=29055 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29060/stat : 29060 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27978256384 41414 33554432000 4194304 4196468 140721694095936 140127817010064 140127812777685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29061] ppid=29055 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29058/task/29061/stat : 29061 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500484357 27978256384 41414 33554432000 4194304 4196468 140721694095936 140127631166224 140127812777685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0
[pid=29058/tid=29062] ppid=29055 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/29058/task/29062/stat : 29062 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500484357 27978256384 41414 33554432000 4194304 4196468 140721694095936 140127630113936 140127812777685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39137280 140721694098155 140721694098582 140721694098582 140721694101455 0

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

[pid=29078/tid=29089] ppid=29055 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/29078/task/29089/stat : 29089 (java) S 29055 29055 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500484606 8616062976 30173 33554432000 4194304 4196468 140724650261712 140138608845600 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29090] ppid=29055 vsize=8414124 memory=120692 CPUtime=0 cores=0-7
/proc/29078/task/29090/stat : 29090 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484606 8616062976 30173 33554432000 4194304 4196468 140724650261712 140138340410480 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29091] ppid=29055 vsize=8414124 memory=305860 CPUtime=0 cores=0-7
/proc/29078/task/29091/stat : 29091 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137965901904 140140187649947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29092] ppid=29055 vsize=8414124 memory=3616 CPUtime=0.05 cores=0-7
/proc/29078/task/29092/stat : 29092 (java) S 29055 29055 27734 0 -1 1077944384 525 0 0 0 5 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139548371568 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29093] ppid=29055 vsize=8414124 memory=62200 CPUtime=0.06 cores=0-7
/proc/29078/task/29093/stat : 29093 (java) S 29055 29055 27734 0 -1 1077944384 343 0 0 0 6 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139547318768 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29094] ppid=29055 vsize=8414124 memory=988 CPUtime=0.05 cores=0-7
/proc/29078/task/29094/stat : 29094 (java) S 29055 29055 27734 0 -1 1077944384 269 0 0 0 5 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139546266480 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29095] ppid=29055 vsize=8414124 memory=1472 CPUtime=0.18 cores=0-7
/proc/29078/task/29095/stat : 29095 (java) S 29055 29055 27734 0 -1 1077944384 662 0 0 0 18 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139545213680 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29096] ppid=29055 vsize=8414124 memory=120692 CPUtime=0 cores=0-7
/proc/29078/task/29096/stat : 29096 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137467996512 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29097] ppid=29055 vsize=8414124 memory=286192 CPUtime=0.04 cores=0-7
/proc/29078/task/29097/stat : 29097 (java) S 29055 29055 27734 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 500484609 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139544160560 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29099] ppid=29055 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/29078/task/29099/stat : 29099 (java) S 29055 29055 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139536127296 140140187655961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29101] ppid=29055 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/29078/task/29101/stat : 29101 (java) S 29055 29055 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140136796897168 140140187653277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29102] ppid=29055 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/29078/task/29102/stat : 29102 (java) S 29055 29055 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137065332496 140140187653277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29103] ppid=29055 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/29078/task/29103/stat : 29103 (java) S 29055 29055 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500484676 8616062976 30173 33554432000 4194304 4196468 140724650261712 140136528469808 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
Current children cumulated CPU time: 603.28 s
Current children cumulated vsize: 9166196 KiB
Current children cumulated memory: 429116 KiB

[startup+79.0013 s]*
/proc/loadavg: 7.85 7.60 7.17 4/218 29116
/proc/meminfo: memFree=25096464/32770624 swapFree=66986356/67108860
[pid=29055] ppid=29052 vsize=113128 memory=1472 CPUtime=7.07 cores=0-7
/proc/29055/stat : 29055 (scop.sh) S 29052 29055 27734 0 -1 4202496 582 28410 0 0 0 0 690 17 20 0 1 0 500484354 115843072 368 33554432000 4194304 5098028 140731075128064 140731075124808 140379741418108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24317952 140731075134245 140731075134572 140731075134572 140731075137485 0
/proc/29055/statm: 28282 368 311 221 0 87 0
[pid=29078] ppid=29055 vsize=8414124 memory=120692 CPUtime=1.18 cores=0-7
/proc/29078/stat : 29078 (java) S 29055 29055 27734 0 -1 1077944320 20615 0 0 0 112 6 0 0 20 0 24 0 500484602 8616062976 30173 33554432000 4194304 4196468 140724650261712 140724650244256 140140187631351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
/proc/29078/statm: 2103531 30173 3205 1 0 2064875 0
[pid=29098] ppid=29078 vsize=638944 memory=307020 CPUtime=595.66 cores=0-7
/proc/29098/stat : 29098 (manyglucose-4.1) S 29078 29055 27734 0 -1 1077944320 299981 0 0 0 59505 61 0 0 20 0 3 0 500484674 654278656 76755 33554432000 4194304 4454172 140720625264880 140720625263264 140714605080311 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 35889152 140720625267561 140720625267760 140720625267760 140720625270714 0
/proc/29098/statm: 159736 76755 419 64 0 155404 0
[pid=29098/tid=29107] ppid=29078 vsize=638944 memory=280074818715872 CPUtime=75.32 cores=0-7
/proc/29098/task/29107/stat : 29107 (manyglucose-4.1) R 29078 29055 27734 0 -1 4202560 45837 0 0 0 7523 9 0 0 20 0 3 0 500484679 654278656 76755 33554432000 4194304 4454172 140720625264880 140714564684936 4351313 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 35889152 140720625267561 140720625267760 140720625267760 140720625270714 0
[pid=29098/tid=29108] ppid=29078 vsize=638944 memory=288230621803970871 CPUtime=75.72 cores=0-7
/proc/29098/task/29108/stat : 29108 (manyglucose-4.1) R 29078 29055 27734 0 -1 4202560 37741 0 0 0 7565 7 0 0 20 0 3 0 500484679 654278656 76755 33554432000 4194304 4454172 140720625264880 140714556291832 4351555 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 35889152 140720625267561 140720625267760 140720625267760 140720625270714 0
[pid=29078/tid=29079] ppid=29055 vsize=8414124 memory=8317482817917895235 CPUtime=0.75 cores=0-7
/proc/29078/task/29079/stat : 29079 (java) S 29055 29055 27734 0 -1 1077944384 17409 0 0 0 71 4 0 0 20 0 24 0 500484602 8616062976 30173 33554432000 4194304 4196468 140724650261712 140140159471520 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29080] ppid=29055 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/29078/task/29080/stat : 29080 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484603 8616062976 30173 33554432000 4194304 4196468 140724650261712 140140191873424 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29081] ppid=29055 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/29078/task/29081/stat : 29081 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484603 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139672717584 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29082] ppid=29055 vsize=8414124 memory=1084 CPUtime=0 cores=0-7
/proc/29078/task/29082/stat : 29082 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484603 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139671665296 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29083] ppid=29055 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/29078/task/29083/stat : 29083 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500484603 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139670612496 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29084] ppid=29055 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/29078/task/29084/stat : 29084 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500484604 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139669560208 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29085] ppid=29055 vsize=8414124 memory=33260 CPUtime=0 cores=0-7
/proc/29078/task/29085/stat : 29085 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484604 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139668507408 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29086] ppid=29055 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/29078/task/29086/stat : 29086 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484604 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139667455120 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29087] ppid=29055 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29078/task/29087/stat : 29087 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484604 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139666402320 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29088] ppid=29055 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/29078/task/29088/stat : 29088 (java) S 29055 29055 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500484605 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139616671856 140140187642498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29089] ppid=29055 vsize=8414124 memory=120692 CPUtime=0 cores=0-7
/proc/29078/task/29089/stat : 29089 (java) S 29055 29055 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500484606 8616062976 30173 33554432000 4194304 4196468 140724650261712 140138608845600 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29090] ppid=29055 vsize=8414124 memory=306688 CPUtime=0 cores=0-7
/proc/29078/task/29090/stat : 29090 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484606 8616062976 30173 33554432000 4194304 4196468 140724650261712 140138340410480 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29091] ppid=29055 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/29078/task/29091/stat : 29091 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137965901904 140140187649947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29092] ppid=29055 vsize=8414124 memory=1728 CPUtime=0.05 cores=0-7
/proc/29078/task/29092/stat : 29092 (java) S 29055 29055 27734 0 -1 1077944384 525 0 0 0 5 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139548371568 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29093] ppid=29055 vsize=8414124 memory=692 CPUtime=0.06 cores=0-7
/proc/29078/task/29093/stat : 29093 (java) S 29055 29055 27734 0 -1 1077944384 343 0 0 0 6 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139547318768 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29094] ppid=29055 vsize=8414124 memory=1056 CPUtime=0.05 cores=0-7
/proc/29078/task/29094/stat : 29094 (java) S 29055 29055 27734 0 -1 1077944384 269 0 0 0 5 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139546266480 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29095] ppid=29055 vsize=8414124 memory=1556 CPUtime=0.18 cores=0-7
/proc/29078/task/29095/stat : 29095 (java) S 29055 29055 27734 0 -1 1077944384 662 0 0 0 18 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139545213680 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29096] ppid=29055 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/29078/task/29096/stat : 29096 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137467996512 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29097] ppid=29055 vsize=8414124 memory=3616 CPUtime=0.04 cores=0-7
/proc/29078/task/29097/stat : 29097 (java) S 29055 29055 27734 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 500484609 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139544160560 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29099] ppid=29055 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/29078/task/29099/stat : 29099 (java) S 29055 29055 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139536127296 140140187655961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29101] ppid=29055 vsize=8414124 memory=6176 CPUtime=0 cores=0-7
/proc/29078/task/29101/stat : 29101 (java) S 29055 29055 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140136796897168 140140187653277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29102] ppid=29055 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/29078/task/29102/stat : 29102 (java) S 29055 29055 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137065332496 140140187653277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29103] ppid=29055 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/29078/task/29103/stat : 29103 (java) S 29055 29055 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500484676 8616062976 30173 33554432000 4194304 4196468 140724650261712 140136528469808 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
Current children cumulated CPU time: 603.91 s
Current children cumulated vsize: 9166196 KiB
Current children cumulated memory: 429184 KiB

[startup+79.1107 s]
/proc/loadavg: 7.85 7.60 7.17 4/218 29116
/proc/meminfo: memFree=25096464/32770624 swapFree=66986356/67108860
[pid=29055] ppid=29052 vsize=113128 memory=1472 CPUtime=7.07 cores=0-7
/proc/29055/stat : 29055 (scop.sh) S 29052 29055 27734 0 -1 4202496 582 28410 0 0 0 0 690 17 20 0 1 0 500484354 115843072 368 33554432000 4194304 5098028 140731075128064 140731075124808 140379741418108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24317952 140731075134245 140731075134572 140731075134572 140731075137485 0
/proc/29055/statm: 28282 368 311 221 0 87 0
[pid=29078] ppid=29055 vsize=8414124 memory=120692 CPUtime=1.18 cores=0-7
/proc/29078/stat : 29078 (java) S 29055 29055 27734 0 -1 1077944320 20615 0 0 0 112 6 0 0 20 0 24 0 500484602 8616062976 30173 33554432000 4194304 4196468 140724650261712 140724650244256 140140187631351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
/proc/29078/statm: 2103531 30173 3205 1 0 2064875 0
[pid=29098] ppid=29078 vsize=638944 memory=307072 CPUtime=595.81 cores=0-7
/proc/29098/stat : 29098 (manyglucose-4.1) S 29078 29055 27734 0 -1 1077944320 299981 0 0 0 59520 61 0 0 20 0 2 0 500484674 654278656 76768 33554432000 4194304 4454172 140720625264880 140720625263264 140714605080311 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 35889152 140720625267561 140720625267760 140720625267760 140720625270714 0
/proc/29098/statm: 159736 76768 419 64 0 155404 0
[pid=29098/tid=29107] ppid=29078 vsize=638944 memory=307000 CPUtime=75.42 cores=0-7
/proc/29098/task/29107/stat : 29107 (manyglucose-4.1) R 29078 29055 27734 0 -1 4202560 45837 0 0 0 7533 9 0 0 20 0 2 0 500484679 654278656 76768 33554432000 4194304 4454172 140720625264880 140714564684936 4321700 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 35889152 140720625267561 140720625267760 140720625267760 140720625270714 0
[pid=29078/tid=29079] ppid=29055 vsize=8414124 memory=249984276554585 CPUtime=0.75 cores=0-7
/proc/29078/task/29079/stat : 29079 (java) S 29055 29055 27734 0 -1 1077944384 17409 0 0 0 71 4 0 0 20 0 24 0 500484602 8616062976 30173 33554432000 4194304 4196468 140724650261712 140140159471520 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29080] ppid=29055 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7
/proc/29078/task/29080/stat : 29080 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484603 8616062976 30173 33554432000 4194304 4196468 140724650261712 140140191873424 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29081] ppid=29055 vsize=8414124 memory=280074819433568 CPUtime=0 cores=0-7
/proc/29078/task/29081/stat : 29081 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484603 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139672717584 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29082] ppid=29055 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/29078/task/29082/stat : 29082 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484603 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139671665296 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29083] ppid=29055 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/29078/task/29083/stat : 29083 (java) S 29055 29055 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500484603 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139670612496 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29084] ppid=29055 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/29078/task/29084/stat : 29084 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500484604 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139669560208 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29085] ppid=29055 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/29078/task/29085/stat : 29085 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484604 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139668507408 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29086] ppid=29055 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/29078/task/29086/stat : 29086 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484604 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139667455120 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29087] ppid=29055 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29078/task/29087/stat : 29087 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484604 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139666402320 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29088] ppid=29055 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/29078/task/29088/stat : 29088 (java) S 29055 29055 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500484605 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139616671856 140140187642498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29089] ppid=29055 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/29078/task/29089/stat : 29089 (java) S 29055 29055 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500484606 8616062976 30173 33554432000 4194304 4196468 140724650261712 140138608845600 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29090] ppid=29055 vsize=8414124 memory=119912 CPUtime=0 cores=0-7
/proc/29078/task/29090/stat : 29090 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484606 8616062976 30173 33554432000 4194304 4196468 140724650261712 140138340410480 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29091] ppid=29055 vsize=8414124 memory=186032 CPUtime=0 cores=0-7
/proc/29078/task/29091/stat : 29091 (java) S 29055 29055 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137965901904 140140187649947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29092] ppid=29055 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/29078/task/29092/stat : 29092 (java) S 29055 29055 27734 0 -1 1077944384 525 0 0 0 5 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139548371568 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29093] ppid=29055 vsize=8414124 memory=-7966001967256141664 CPUtime=0.06 cores=0-7
/proc/29078/task/29093/stat : 29093 (java) S 29055 29055 27734 0 -1 1077944384 343 0 0 0 6 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139547318768 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29094] ppid=29055 vsize=8414124 memory=-7966001967256141664 CPUtime=0.05 cores=0-7
/proc/29078/task/29094/stat : 29094 (java) S 29055 29055 27734 0 -1 1077944384 269 0 0 0 5 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139546266480 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29095] ppid=29055 vsize=8414124 memory=1472 CPUtime=0.18 cores=0-7
/proc/29078/task/29095/stat : 29095 (java) S 29055 29055 27734 0 -1 1077944384 662 0 0 0 18 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139545213680 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29096] ppid=29055 vsize=8414124 memory=119912 CPUtime=0 cores=0-7
/proc/29078/task/29096/stat : 29096 (java) S 29055 29055 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500484608 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137467996512 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29097] ppid=29055 vsize=8414124 memory=137264 CPUtime=0.04 cores=0-7
/proc/29078/task/29097/stat : 29097 (java) S 29055 29055 27734 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 500484609 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139544160560 140140187642498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29099] ppid=29055 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/29078/task/29099/stat : 29099 (java) S 29055 29055 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140139536127296 140140187655961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29101] ppid=29055 vsize=8414124 memory=119912 CPUtime=0 cores=0-7
/proc/29078/task/29101/stat : 29101 (java) S 29055 29055 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140136796897168 140140187653277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29102] ppid=29055 vsize=8414124 memory=224728 CPUtime=0 cores=0-7
/proc/29078/task/29102/stat : 29102 (java) S 29055 29055 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500484674 8616062976 30173 33554432000 4194304 4196468 140724650261712 140137065332496 140140187653277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
[pid=29078/tid=29103] ppid=29055 vsize=8414124 memory=1899026 CPUtime=0 cores=0-7
/proc/29078/task/29103/stat : 29103 (java) S 29055 29055 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500484676 8616062976 30173 33554432000 4194304 4196468 140724650261712 140136528469808 140140187641557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32841728 140724650263543 140724650263702 140724650263702 140724650266575 0
Current children cumulated CPU time: 604.06 s
Current children cumulated vsize: 9166196 KiB
Current children cumulated memory: 429236 KiB

Child status: 0
Real time (s): 79.1761
CPU time (s): 604.198
CPU user time (s): 603.315
CPU system time (s): 0.882763
CPU usage (%): 763.106
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 441808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 603.315
system time used= 0.882763
maximum resident set size= 446296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9216
involuntary context switches= 6076


# summary of solver processes directly reported to runsolver:
#   pid: 29055
#   total CPU time (s): 604.198
#   total CPU user time (s): 603.315
#   total CPU system time (s): 0.882763

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.729825 second user time and 1.13038 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-23 13:27:34
IDJOB=4405253
IDBENCH=124287
IDSOLVER=2867
FILE ID=node104/4405253-1569242277
RUNJOBID= node104-1569234408-27761
PBS_JOBID= 21704916
Free space on /tmp= 9832 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-14.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405253-1569242277/watcher-4405253-1569242277 -o /tmp/evaluation-result-4405253-1569242277/solver-4405253-1569242277 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405253-1569242277.xml

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

MD5SUM BENCH= be7a6961e736c78e558242a96ea5fa7b
RANDOM SEED=1022441775

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25505768 kB
MemAvailable:   31819364 kB
Buffers:           87612 kB
Cached:          6290212 kB
SwapCached:        22652 kB
Active:          3174328 kB
Inactive:        3231312 kB
Active(anon):       4748 kB
Inactive(anon):    80080 kB
Active(file):    3169580 kB
Inactive(file):  3151232 kB
Unevictable:      109544 kB
Mlocked:          109544 kB
SwapTotal:      67108860 kB
SwapFree:       66986356 kB
Dirty:             20480 kB
Writeback:             0 kB
AnonPages:        115372 kB
Mapped:            55736 kB
Shmem:             49004 kB
Slab:             451288 kB
SReclaimable:     421244 kB
SUnreclaim:        30044 kB
KernelStack:        3408 kB
PageTables:         5988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-23 13:28:53