Trace number 4405352

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 670.743 92.9643

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-clau-015-010.xml
MD5SUMb45d1707d0c27f8ab51c2199585eb6c5
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 benchmark92.8113
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints1065
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree15
Maximum variable degree15
Distribution of variable degrees[{"degree":15,"count":150}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":1050},{"arity":10,"count":15}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1065}]
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-20927-serial-file.bin HOME/instance-4405352-1569355692.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: Tue Sep 24 22:07:32 CEST 2019
0.66/0.57	c PID: 20930
0.66/0.57	c IP: 172.20.3.133
0.66/0.57	c HOST: node133.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.94/1.14	c (0,0) Parsing End
1.94/1.15	c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
1.94/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.94/1.15	c (0,0) Constraint Name Generate Begin
1.94/1.17	c (0,0) Ctr:HOME/instance-4405352-1569355692.xml,Num:Var:WeightedSum
1.94/1.17	c (0,0) Constraint Name Generate End
1.94/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.94/1.17	c (0,0) CSP to CSPinCNF Begin
2.40/1.34	c (0,0) translated 107 (10%) constraints
2.40/1.37	c (0,0) translated 213 (20%) constraints
2.65/1.40	c (0,0) translated 320 (30%) constraints
2.65/1.42	c (0,0) translated 426 (40%) constraints
2.65/1.44	c (0,0) translated 533 (50%) constraints
2.65/1.46	c (0,0) translated 639 (60%) constraints
2.65/1.47	c (0,0) translated 746 (70%) constraints
2.65/1.49	c (0,0) translated 852 (80%) constraints
2.97/1.50	c (0,0) translated 959 (90%) constraints
2.97/1.51	c (0,0) translated 1065 (100%) constraints
2.97/1.51	c (0,0) ===========================================
2.97/1.51	c (0,0) Order
2.97/1.51	c (0,0) ===========================================
2.97/1.53	c (0,0) translated 107 (10%) constraints
2.97/1.54	c (0,0) translated 213 (20%) constraints
2.97/1.54	c (0,0) translated 320 (30%) constraints
2.97/1.55	c (1,0) translated 426 (40%) constraints
2.97/1.55	c (1,1) translated 533 (50%) constraints
2.97/1.56	c (1,1) translated 639 (60%) constraints
2.97/1.56	c (1,1) translated 746 (70%) constraints
2.97/1.57	c (1,1) translated 852 (80%) constraints
2.97/1.57	c (1,1) translated 959 (90%) constraints
2.97/1.58	c (1,1) translated 1065 (100%) constraints
2.97/1.58	c (1,1) CSP to CSPinCNF End
2.97/1.58	c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
2.97/1.58	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.97/1.58	c (1,1) CSPinCNF Propagation Begin
3.27/1.61	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.27/1.61	c (1,1) CSPinCNF Propagation End
3.27/1.61	c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
3.27/1.61	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.27/1.61	c (1,1) Simplify CSPinCNF Begin
3.27/1.62	c (1,1) Simplify CSPinCNF End
3.27/1.62	c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
3.27/1.62	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.27/1.62	c (1,1) Calculate Precise Domain Begin
3.27/1.62	c (1,1) 0 values are removed by re-calculation
3.27/1.62	c (1,1) Calculate Precise Domain End
3.27/1.62	c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
3.27/1.62	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.27/1.62	c (1,1) CSPinCNF to SatSolver Begin
3.48/1.73	c (1,1) 107 (10 %) CSP clauses are encoded (0 SAT variables, 106 SAT clauses)
3.48/1.75	c (1,1) 213 (20 %) CSP clauses are encoded (0 SAT variables, 212 SAT clauses)
3.48/1.77	c (1,1) 320 (30 %) CSP clauses are encoded (0 SAT variables, 319 SAT clauses)
3.48/1.78	c (1,1) 426 (40 %) CSP clauses are encoded (0 SAT variables, 425 SAT clauses)
3.48/1.79	c (1,1) 533 (50 %) CSP clauses are encoded (0 SAT variables, 532 SAT clauses)
3.75/1.80	c (1,1) 639 (60 %) CSP clauses are encoded (0 SAT variables, 638 SAT clauses)
3.75/1.81	c (1,1) 746 (70 %) CSP clauses are encoded (0 SAT variables, 745 SAT clauses)
3.75/1.81	c (1,1) 852 (80 %) CSP clauses are encoded (0 SAT variables, 851 SAT clauses)
3.75/1.82	c (1,1) 959 (90 %) CSP clauses are encoded (0 SAT variables, 958 SAT clauses)
3.75/1.83	c (1,1) 1065 (100 %) CSP clauses are encoded (0 SAT variables, 1064 SAT clauses)
3.75/1.83	c (1,1) CSPinCNF to SatSolver End
3.75/1.83	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.75/1.83	c (1,1) 150 bool, 1065 clause
3.75/1.83	c (1,1) Export Begin
4.10/1.92	c (1,1) Export to HOME/scop-20927-serial-file.bin
4.10/1.92	c (1,1) Export End
4.10/1.92	c (1,1) Export File Size: 0.03 MB
4.10/1.92	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.10/1.92	c END-Prog: Tue Sep 24 22:07:33 CEST 2019
4.10/1.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20927-serial-file.bin
4.82/2.42	c (0,0) Read Serial File Begin
4.82/2.42	c (0,0) HOME/scop-20927-serial-file.bin
5.08/2.63	c (0,0) Read Serial File End
5.08/2.65	
5.08/2.65	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.08/2.65	(Solving Process)
5.08/2.65	
5.08/2.67	c BEGIN-Prog: Tue Sep 24 22:07:34 CEST 2019
5.08/2.67	c PID: 20950
5.08/2.67	c IP: 172.20.3.133
5.08/2.67	c HOST: node133.alineos.net
5.08/2.67	c (0,0) SatSolver.solve Begin
5.08/2.67	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405352-1569355692.xml-scop-20930.cnf
5.28/2.70	c (0,0) c
5.28/2.70	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)
5.28/2.70	c (0,0) c
5.28/2.70	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.28/2.70	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.28/2.70	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.28/2.70	c (0,0) c |                                                                                                       |
5.28/2.70	c (0,0) c |  Number of variables:           150                                                                   |
5.28/2.70	c (0,0) c |  Number of clauses:            1065                                                                   |
5.28/2.70	c (0,0) c |  Parse time:                   0.00 s                                                                 |
5.28/2.70	c (0,0) c |                                                                                                       |
5.28/2.70	c (0,0) c |  Simplification time:          0.00 s                                                                 |
5.28/2.70	c (0,0) c |                                                                                                       |
5.28/2.70	c (0,0) c |  Generating clones                                                                                    |
5.28/2.70	c (0,0) c |  all clones generated. Memory =    23.26Mb.                                                           |
5.28/2.70	c (0,0) c ========================================================================================================|
5.28/2.70	c (0,0) c
5.28/2.70	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.28/2.70	c (0,0) c
5.28/2.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.28/2.70	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.28/2.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.28/2.71	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.28/2.71	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.28/2.71	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.28/2.71	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.28/2.71	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.28/2.71	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.28/2.71	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.28/2.71	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.28/2.71	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.28/2.71	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.28/2.71	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.28/2.71	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.28/2.71	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.28/2.71	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.28/2.71	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.28/2.71	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.03/31.94	c (29,0) c
224.03/31.94	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
224.03/31.94	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
224.03/31.94	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
224.03/31.94	c (29,0) c |  0 |   1106 |     475777 |     368406 |     1050 |    62816 |    30418 |   545850 |    33181 |      599 |  20 |  0.058 |
224.03/31.94	c (29,0) c |  1 |    808 |     482717 |     383814 |     1050 |    78224 |    35156 |   550310 |    34867 |      610 |  20 |  0.067 |
224.03/31.94	c (29,0) c |  2 |   3962 |    1837837 |    1420360 |     6493 |     2360 |   169307 |   424683 |    14585 |      614 |  20 |  0.063 |
224.03/31.94	c (29,0) c |  3 |    672 |     457642 |     366339 |     1050 |    75747 |    36865 |   543752 |    31072 |      607 |  20 |  0.054 |
224.03/31.94	c (29,0) c |  4 |    782 |     457727 |     364593 |     1050 |    59001 |    30938 |   547331 |    30570 |      601 |  20 |  0.004 |
224.03/31.94	c (29,0) c |  5 |    756 |     477266 |     381111 |     1050 |    50524 |    34722 |   551548 |    34527 |      610 |  20 |  0.058 |
224.03/31.94	c (29,0) c |  6 |   3308 |    1834351 |    1438601 |     6845 |     2595 |   206932 |   385904 |    10510 |      612 |  20 |  0.004 |
224.03/31.94	c (29,0) c |  7 |      3 |     430987 |     371307 |     1048 |    66114 |    58026 |   404439 |     8332 |      619 |  20 |  0.004 |
224.03/31.94	c (29,0) c 
224.03/31.94	c (29,0) c synthesis     5094532 conflicts    80316277 propagations    23333 conflicts/sec   367852 propagations/sec
224.03/31.94	c (29,0) c real: 29.2456 s, cpu: 218.339 s, memory: 689.04 Mb
440.54/60.94	c (58,0) c
440.54/60.94	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
440.54/60.94	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
440.54/60.94	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
440.54/60.94	c (58,0) c |  0 |   1824 |     841678 |     654841 |     1050 |    64249 |    44757 |   901412 |    55592 |     1190 |  20 |  0.004 |
440.54/60.94	c (58,0) c |  1 |   1604 |     863171 |     680299 |     1050 |    89707 |    50045 |   900771 |    58277 |     1210 |  20 |  0.005 |
440.54/60.94	c (58,0) c |  2 |   6776 |    3368632 |    2612263 |    15105 |     2264 |   294489 |   664340 |    18456 |     1210 |  20 |  0.054 |
440.54/60.94	c (58,0) c |  3 |   1387 |     820937 |     650110 |     1050 |    80513 |    53478 |   900036 |    52388 |     1210 |  20 |  0.067 |
440.54/60.94	c (58,0) c |  4 |   1602 |     833492 |     657750 |     1050 |    67156 |    47754 |   907935 |    54325 |     1210 |  20 |  0.058 |
440.54/60.94	c (58,0) c |  5 |   1454 |     850463 |     674650 |     1050 |   105053 |    50213 |   905313 |    57777 |     1210 |  20 |  0.067 |
440.54/60.94	c (58,0) c |  6 |   7389 |    3513624 |    2722002 |    15871 |     1993 |   346154 |   612804 |    14868 |     1210 |  20 |  0.080 |
440.54/60.94	c (58,0) c |  7 |     44 |     771559 |     658222 |     1050 |    66833 |    78489 |   876162 |    26384 |     1209 |  20 |  0.005 |
440.54/60.94	c (58,0) c 
440.54/60.94	c (58,0) c synthesis     9310140 conflicts   149357846 propagations    21428 conflicts/sec   343762 propagations/sec
440.54/60.94	c (58,0) c real: 58.2456 s, cpu: 434.481 s, memory: 794.02 Mb
651.31/89.94	c (87,0) c
651.31/89.94	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
651.31/89.94	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
651.31/89.94	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
651.31/89.94	c (87,0) c |  0 |   2547 |    1172222 |     911344 |     1050 |    78297 |    58661 |  1190570 |    75276 |     1770 |  20 |  5.427 |
651.31/89.94	c (87,0) c |  1 |   2249 |    1205257 |     950027 |     1050 |   116831 |    65806 |  1193888 |    79494 |     1788 |  20 |  6.671 |
651.31/89.94	c (87,0) c |  2 |   9717 |    4642651 |    3588000 |    29997 |     1934 |   398446 |   865150 |    22918 |     1788 |  20 |  7.338 |
651.31/89.94	c (87,0) c |  3 |   2065 |    1149291 |     905827 |     1050 |    97976 |    67907 |  1191882 |    72798 |     1788 |  20 |  6.671 |
651.31/89.94	c (87,0) c |  4 |   2289 |    1177606 |     926316 |     1050 |    90195 |    64130 |  1195706 |    75335 |     1788 |  20 |  6.671 |
651.31/89.94	c (87,0) c |  5 |   2140 |    1183708 |     935670 |     1050 |   126717 |    69071 |  1189458 |    78656 |     1789 |  20 |  6.671 |
651.31/89.94	c (87,0) c |  6 |  10404 |    4818267 |    3724611 |    32101 |     2573 |   452809 |   809947 |    19357 |     1788 |  20 |  6.671 |
651.31/89.94	c (87,0) c |  7 |    172 |    1088762 |     921835 |     1050 |    87617 |    93761 |  1166634 |    45150 |     1790 |  20 |  6.733 |
651.31/89.94	c (87,0) c 
651.31/89.94	c (87,0) c synthesis    12863630 conflicts   207658417 propagations    19945 conflicts/sec   321970 propagations/sec
651.31/89.94	c (87,0) c real: 87.2456 s, cpu: 644.962 s, memory: 812.62 Mb
670.58/92.92	c (90,0) c
670.58/92.92	c (90,0) c real time : 90.2284 s
670.58/92.92	c (90,0) c cpu time  : 663.923 s
670.58/92.92	c (90,0) c
670.58/92.92	c (90,0) c
670.58/92.92	c (90,0) c
670.58/92.92	c (90,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
670.58/92.92	c (90,0) c
670.58/92.92	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.92	c (90,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
670.58/92.92	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.92	c (90,0) c | Conflicts     |        13175351 |     944779 |     971167 |    3672289 |     926927 |     948242 |     962554 |    3806362 |     943031 |
670.58/92.92	c (90,0) c | Decisions     |        16839548 |    1215086 |    1232876 |    4752963 |    1176637 |    1205546 |    1217923 |    4924449 |    1114068 |
670.58/92.92	c (90,0) c | Propagations  |       212353519 |   14766835 |   15321812 |   60631336 |   14356163 |   14702693 |   15121614 |   63109009 |   14344057 |
670.58/92.92	c (90,0) c | ReduceDBs     |            3817 |         26 |         27 |       1794 |         26 |         26 |         27 |       1863 |         28 |
670.58/92.92	c (90,0) c | SimpDBs       |              42 |          3 |          2 |         14 |          2 |          3 |          2 |         14 |          2 |
670.58/92.92	c (90,0) c | Restarts      |           32391 |       2617 |       2317 |       9986 |       2128 |       2333 |       2177 |      10655 |        178 |
670.58/92.92	c (90,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
670.58/92.92	c (90,0) c | PropBinClauses|       366372300 |   24775373 |   25557909 |  105982325 |   24266378 |   24814003 |   25290999 |  110600471 |   25084842 |
670.58/92.92	c (90,0) c | PropPreBlocker|     35754186526 | 4481154422 | 4623358167 | 3990463337 | 4501816273 | 4494906087 | 4599907735 | 4113785412 | 4948795093 |
670.58/92.93	c (90,0) c | PropNotBlocker|      7665654209 |  985069332 |  964830586 | 1001873547 |  972629926 |  971607058 |  974704617 |  988216953 |  806722190 |
670.58/92.93	c (90,0) c | LitFullScans  |     88311964244 |11037876376 |11037324776 |11035339921 |11037691238 |11038063006 |11039865392 |11036449956 |11049353579 |
670.58/92.93	c (90,0) c | LitScanFracts |        30653595 |    3856472 |    3307363 |     987706 |    3673014 |    4049480 |    4416796 |    1020122 |    9342642 |
670.58/92.93	c (90,0) c | DecisionLevel0|           32454 |       2622 |       2319 |      10006 |       2134 |       2336 |       2185 |      10669 |        183 |
670.58/92.93	c (90,0) c | Periods       |           14713 |       1839 |       1839 |       1839 |       1839 |       1839 |       1839 |       1839 |       1840 |
670.58/92.93	c (90,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
670.58/92.93	c (90,0) c | Avg_Trail     |                 |        118 |        117 |        121 |        117 |        117 |        117 |        121 |        114 |
670.58/92.93	c (90,0) c | Avg_DL        |                 |         17 |         17 |         18 |         18 |         17 |         17 |         18 |         23 |
670.58/92.93	c (90,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
670.58/92.93	c (90,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
670.58/92.93	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.93	c (90,0) c | Exported      |         1301529 |      60910 |      67452 |     408412 |      69734 |      65996 |      71081 |     462480 |      95464 |
670.58/92.93	c (90,0) c | Imported      |         9005093 |    1226664 |    1220767 |     884590 |    1217085 |    1220831 |    1216616 |     828993 |    1189547 |
670.58/92.93	c (90,0) c | Good          |            3080 |        398 |        433 |        346 |        394 |        390 |        389 |        332 |        398 |
670.58/92.93	c (90,0) c | Purge         |         9002013 |    1226266 |    1220334 |     884244 |    1216691 |    1220441 |    1216227 |     828661 |    1189149 |
670.58/92.93	c (90,0) c | Promoted      |          485825 |      78487 |      81690 |      24243 |      75174 |      77612 |      80800 |      20920 |      46899 |
670.58/92.93	c (90,0) c | Remove_Imp    |         7791560 |    1033529 |    1062405 |     855448 |    1012478 |     999615 |    1046928 |     802572 |     978585 |
670.58/92.93	c (90,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
670.58/92.93	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.93	c (90,0) c | Unaries       |                 |          5 |          2 |         20 |          6 |          3 |          8 |         14 |          5 |
670.58/92.93	c (90,0) c | Binaries      |                 |         71 |         37 |        152 |         68 |         58 |         87 |        170 |         31 |
670.58/92.93	c (90,0) c | Glues         |                 |        108 |         84 |        207 |        102 |         99 |        136 |        213 |         83 |
670.58/92.93	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.93	c (90,0) c | Orig_Seen     |          1173 % |       1050 |       1050 |      33880 |       1050 |       1050 |       1050 |      36230 |       1050 |
670.58/92.93	c (90,0) c | Diff Orig seen|                 | -    32830 | -    32830 |      X     | -    32830 | -    32830 | -    32830 |       2350 | -    32830 |
670.58/92.93	c (90,0) c | Hamming       |            21 % |         35 |         31 |      X     |         34 |         27 |         34 |         36 |         30 |
670.58/92.93	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.93	c (90,0) c | RunningTime   |                 |   89.6  99%|   82.0  91%|   79.7  89%|   84.7  94%|   85.7  96%|   83.4  93%|   80.0  90%|   78.1  87%|
670.58/92.93	c (90,0) c | WaitingTime   |                 |    0.0   0%|    7.1   8%|    9.0  10%|    4.4   5%|    3.4   4%|    5.5   6%|    8.6  10%|   10.7  12%|
670.58/92.93	c (90,0) c | ExchangingTime|                 |    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.6   1%|    0.5   1%|    0.5   1%|    0.6   1%|
670.58/92.93	c (90,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%|
670.58/92.93	c (90,0) c | SolvingTime   |                 |   90.1     |   89.7     |   89.1     |   89.7     |   89.6     |   89.4     |   89.1     |   89.4     |
670.58/92.93	c (90,0) c | PropagationTim|                 |   83.4  93%|   82.8  92%|   66.1  74%|   82.8  92%|   82.6  92%|   82.4  92%|   65.0  73%|   82.4  92%|
670.58/92.93	c (90,0) c | AnalysisTime  |                 |    4.2   5%|    4.1   5%|   14.3  16%|    4.2   5%|    4.2   5%|    4.1   5%|   14.8  17%|    4.4   5%|
670.58/92.93	c (90,0) c | ReductionTime |                 |    1.5   2%|    1.6   2%|    5.7   6%|    1.5   2%|    1.6   2%|    1.6   2%|    5.8   7%|    1.5   2%|
670.58/92.93	c (90,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
670.58/92.93	c (90,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%|
670.58/92.93	c (90,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%|
670.58/92.93	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.93	c (90,0) c
670.58/92.93	c (90,0) c
670.58/92.93	c (90,0) c Threads : 8
670.58/92.93	c (90,0) c Winner : 2
670.58/92.93	c (90,0) c Conflicts_0 : 944779
670.58/92.93	c (90,0) c Conflicts_1 : 971167
670.58/92.93	c (90,0) c Conflicts_2 : 3672289
670.58/92.93	c (90,0) c Conflicts_3 : 926927
670.58/92.93	c (90,0) c Conflicts_4 : 948242
670.58/92.93	c (90,0) c Conflicts_5 : 962554
670.58/92.93	c (90,0) c Conflicts_6 : 3806362
670.58/92.93	c (90,0) c Conflicts_7 : 943031
670.58/92.93	c (90,0) c Conflicts_total : 13175351
670.58/92.93	c (90,0) c Conflicts_winner : 3672289
670.58/92.93	c (90,0) c Decisions_0 : 1215086
670.58/92.93	c (90,0) c Decisions_1 : 1232876
670.58/92.93	c (90,0) c Decisions_2 : 4752963
670.58/92.93	c (90,0) c Decisions_3 : 1176637
670.58/92.93	c (90,0) c Decisions_4 : 1205546
670.58/92.93	c (90,0) c Decisions_5 : 1217923
670.58/92.93	c (90,0) c Decisions_6 : 4924449
670.58/92.93	c (90,0) c Decisions_7 : 1114068
670.58/92.93	c (90,0) c Decisions_total : 16839548
670.58/92.93	c (90,0) c Decisions_winner : 4752963
670.58/92.93	c (90,0) c Propagations_0 : 14766835
670.58/92.93	c (90,0) c Propagations_1 : 15321812
670.58/92.93	c (90,0) c Propagations_2 : 60631336
670.58/92.93	c (90,0) c Propagations_3 : 14356163
670.58/92.93	c (90,0) c Propagations_4 : 14702693
670.58/92.93	c (90,0) c Propagations_5 : 15121614
670.58/92.93	c (90,0) c Propagations_6 : 63109009
670.58/92.93	c (90,0) c Propagations_7 : 14344057
670.58/92.93	c (90,0) c Propagations_total : 212353519
670.58/92.93	c (90,0) c Propagations_winner : 60631336
670.58/92.93	c (90,0) c ReduceDBs_0 : 26
670.58/92.93	c (90,0) c ReduceDBs_1 : 27
670.58/92.93	c (90,0) c ReduceDBs_2 : 1794
670.58/92.93	c (90,0) c ReduceDBs_3 : 26
670.58/92.93	c (90,0) c ReduceDBs_4 : 26
670.58/92.93	c (90,0) c ReduceDBs_5 : 27
670.58/92.93	c (90,0) c ReduceDBs_6 : 1863
670.58/92.93	c (90,0) c ReduceDBs_7 : 28
670.58/92.93	c (90,0) c ReduceDBs_total : 3817
670.58/92.93	c (90,0) c ReduceDBs_winner : 1794
670.58/92.93	c (90,0) c SimpDBs_0 : 3
670.58/92.93	c (90,0) c SimpDBs_1 : 2
670.58/92.93	c (90,0) c SimpDBs_2 : 14
670.58/92.93	c (90,0) c SimpDBs_3 : 2
670.58/92.93	c (90,0) c SimpDBs_4 : 3
670.58/92.93	c (90,0) c SimpDBs_5 : 2
670.58/92.93	c (90,0) c SimpDBs_6 : 14
670.58/92.93	c (90,0) c SimpDBs_7 : 2
670.58/92.93	c (90,0) c SimpDBs_total : 42
670.58/92.93	c (90,0) c SimpDBs_winner : 14
670.58/92.93	c (90,0) c Restarts_0 : 2617
670.58/92.93	c (90,0) c Restarts_1 : 2317
670.58/92.93	c (90,0) c Restarts_2 : 9986
670.58/92.93	c (90,0) c Restarts_3 : 2128
670.58/92.93	c (90,0) c Restarts_4 : 2333
670.58/92.93	c (90,0) c Restarts_5 : 2177
670.58/92.93	c (90,0) c Restarts_6 : 10655
670.58/92.93	c (90,0) c Restarts_7 : 178
670.58/92.93	c (90,0) c Restarts_total : 32391
670.58/92.93	c (90,0) c Restarts_winner : 9986
670.58/92.93	c (90,0) c ForcedImports_0 : 0
670.58/92.93	c (90,0) c ForcedImports_1 : 0
670.58/92.93	c (90,0) c ForcedImports_2 : 0
670.58/92.93	c (90,0) c ForcedImports_3 : 0
670.58/92.93	c (90,0) c ForcedImports_4 : 0
670.58/92.93	c (90,0) c ForcedImports_5 : 0
670.58/92.93	c (90,0) c ForcedImports_6 : 0
670.58/92.93	c (90,0) c ForcedImports_7 : 0
670.58/92.93	c (90,0) c ForcedImports_total : 0
670.58/92.93	c (90,0) c ForcedImports_winner : 0
670.58/92.93	c (90,0) c PropsBinClauses_0 : 24775373
670.58/92.93	c (90,0) c PropsBinClauses_1 : 25557909
670.58/92.93	c (90,0) c PropsBinClauses_2 : 105982325
670.58/92.93	c (90,0) c PropsBinClauses_3 : 24266378
670.58/92.93	c (90,0) c PropsBinClauses_4 : 24814003
670.58/92.93	c (90,0) c PropsBinClauses_5 : 25290999
670.58/92.93	c (90,0) c PropsBinClauses_6 : 110600471
670.58/92.93	c (90,0) c PropsBinClauses_7 : 25084842
670.58/92.93	c (90,0) c PropsBinClauses_total : 366372300
670.58/92.93	c (90,0) c PropsBinClauses_winner : 105982325
670.58/92.93	c (90,0) c PropsPreBlocker_0 : 4481154422
670.58/92.93	c (90,0) c PropsPreBlocker_1 : 4623358167
670.58/92.93	c (90,0) c PropsPreBlocker_2 : 3990463337
670.58/92.93	c (90,0) c PropsPreBlocker_3 : 4501816273
670.58/92.93	c (90,0) c PropsPreBlocker_4 : 4494906087
670.58/92.93	c (90,0) c PropsPreBlocker_5 : 4599907735
670.58/92.93	c (90,0) c PropsPreBlocker_6 : 4113785412
670.58/92.93	c (90,0) c PropsPreBlocker_7 : 4948795093
670.58/92.93	c (90,0) c PropsPreBlocker_total : 35754186526
670.58/92.93	c (90,0) c PropsPreBlocker_winner : 3990463337
670.58/92.93	c (90,0) c PropsNotBlocker_0 : 985069332
670.58/92.93	c (90,0) c PropsNotBlocker_1 : 964830586
670.58/92.93	c (90,0) c PropsNotBlocker_2 : 1001873547
670.58/92.93	c (90,0) c PropsNotBlocker_3 : 972629926
670.58/92.93	c (90,0) c PropsNotBlocker_4 : 971607058
670.58/92.93	c (90,0) c PropsNotBlocker_5 : 974704617
670.58/92.93	c (90,0) c PropsNotBlocker_6 : 988216953
670.58/92.93	c (90,0) c PropsNotBlocker_7 : 806722190
670.58/92.93	c (90,0) c PropsNotBlocker_total : 7665654209
670.58/92.93	c (90,0) c PropsNotBlocker_winner : 1001873547
670.58/92.93	c (90,0) c PropsLitFullScans_0 : 11037876376
670.58/92.93	c (90,0) c PropsLitFullScans_1 : 11037324776
670.58/92.93	c (90,0) c PropsLitFullScans_2 : 11035339921
670.58/92.93	c (90,0) c PropsLitFullScans_3 : 11037691238
670.58/92.93	c (90,0) c PropsLitFullScans_4 : 11038063006
670.58/92.93	c (90,0) c PropsLitFullScans_5 : 11039865392
670.58/92.93	c (90,0) c PropsLitFullScans_6 : 11036449956
670.58/92.93	c (90,0) c PropsLitFullScans_7 : 11049353579
670.58/92.93	c (90,0) c PropsLitFullScans_total : 88311964244
670.58/92.93	c (90,0) c PropsLitFullScans_winner : 11035339921
670.58/92.93	c (90,0) c LitScanFractions_0 : 3856472
670.58/92.93	c (90,0) c LitScanFractions_1 : 3307363
670.58/92.93	c (90,0) c LitScanFractions_2 : 987706
670.58/92.93	c (90,0) c LitScanFractions_3 : 3673014
670.58/92.93	c (90,0) c LitScanFractions_4 : 4049480
670.58/92.93	c (90,0) c LitScanFractions_5 : 4416796
670.58/92.93	c (90,0) c LitScanFractions_6 : 1020122
670.58/92.93	c (90,0) c LitScanFractions_7 : 9342642
670.58/92.93	c (90,0) c LitScanFractions_total : 30653595
670.58/92.93	c (90,0) c LitScanFractions_winner : 987706
670.58/92.93	c (90,0) c DecisionLevel0_0 : 2622
670.58/92.93	c (90,0) c DecisionLevel0_1 : 2319
670.58/92.93	c (90,0) c DecisionLevel0_2 : 10006
670.58/92.93	c (90,0) c DecisionLevel0_3 : 2134
670.58/92.93	c (90,0) c DecisionLevel0_4 : 2336
670.58/92.93	c (90,0) c DecisionLevel0_5 : 2185
670.58/92.93	c (90,0) c DecisionLevel0_6 : 10669
670.58/92.93	c (90,0) c DecisionLevel0_7 : 183
670.58/92.93	c (90,0) c DecisionLevel0_total : 32454
670.58/92.93	c (90,0) c DecisionLevel0_winner : 10006
670.58/92.93	c (90,0) c Periods_0 : 1839
670.58/92.93	c (90,0) c Periods_1 : 1839
670.58/92.93	c (90,0) c Periods_2 : 1839
670.58/92.93	c (90,0) c Periods_3 : 1839
670.58/92.93	c (90,0) c Periods_4 : 1839
670.58/92.93	c (90,0) c Periods_5 : 1839
670.58/92.93	c (90,0) c Periods_6 : 1839
670.58/92.93	c (90,0) c Periods_7 : 1840
670.58/92.93	c (90,0) c Periods_total : 14713
670.58/92.93	c (90,0) c Periods_winner : 1839
670.58/92.93	c (90,0) c Margin_0 : 20
670.58/92.93	c (90,0) c Margin_1 : 20
670.58/92.93	c (90,0) c Margin_2 : 20
670.58/92.93	c (90,0) c Margin_3 : 20
670.58/92.93	c (90,0) c Margin_4 : 20
670.58/92.93	c (90,0) c Margin_5 : 20
670.58/92.93	c (90,0) c Margin_6 : 20
670.58/92.93	c (90,0) c Margin_7 : 20
670.58/92.93	c (90,0) c Margin_total : 160
670.58/92.93	c (90,0) c Margin_winner : 20
670.58/92.93	c (90,0) c Exported_0 : 60910
670.58/92.93	c (90,0) c Exported_1 : 67452
670.58/92.93	c (90,0) c Exported_2 : 408412
670.58/92.93	c (90,0) c Exported_3 : 69734
670.58/92.93	c (90,0) c Exported_4 : 65996
670.58/92.93	c (90,0) c Exported_5 : 71081
670.58/92.93	c (90,0) c Exported_6 : 462480
670.58/92.93	c (90,0) c Exported_7 : 95464
670.58/92.93	c (90,0) c Exported_total : 1301529
670.58/92.93	c (90,0) c Exported_winner : 408412
670.58/92.93	c (90,0) c Imported_0 : 1226664
670.58/92.93	c (90,0) c Imported_1 : 1220767
670.58/92.93	c (90,0) c Imported_2 : 884590
670.58/92.93	c (90,0) c Imported_3 : 1217085
670.58/92.93	c (90,0) c Imported_4 : 1220831
670.58/92.93	c (90,0) c Imported_5 : 1216616
670.58/92.93	c (90,0) c Imported_6 : 828993
670.58/92.93	c (90,0) c Imported_7 : 1189547
670.58/92.93	c (90,0) c Imported_total : 9005093
670.58/92.93	c (90,0) c Imported_winner : 884590
670.58/92.93	c (90,0) c Good_0 : 398
670.58/92.93	c (90,0) c Good_1 : 433
670.58/92.93	c (90,0) c Good_2 : 346
670.58/92.93	c (90,0) c Good_3 : 394
670.58/92.93	c (90,0) c Good_4 : 390
670.58/92.93	c (90,0) c Good_5 : 389
670.58/92.93	c (90,0) c Good_6 : 332
670.58/92.93	c (90,0) c Good_7 : 398
670.58/92.93	c (90,0) c Good_total : 3080
670.58/92.93	c (90,0) c Good_winner : 346
670.58/92.93	c (90,0) c Purge_0 : 1226266
670.58/92.93	c (90,0) c Purge_1 : 1220334
670.58/92.93	c (90,0) c Purge_2 : 884244
670.58/92.93	c (90,0) c Purge_3 : 1216691
670.58/92.93	c (90,0) c Purge_4 : 1220441
670.58/92.93	c (90,0) c Purge_5 : 1216227
670.58/92.93	c (90,0) c Purge_6 : 828661
670.58/92.93	c (90,0) c Purge_7 : 1189149
670.58/92.93	c (90,0) c Purge_total : 9002013
670.58/92.93	c (90,0) c Purge_winner : 884244
670.58/92.93	c (90,0) c Promoted_0 : 78487
670.58/92.93	c (90,0) c Promoted_1 : 81690
670.58/92.93	c (90,0) c Promoted_2 : 24243
670.58/92.93	c (90,0) c Promoted_3 : 75174
670.58/92.93	c (90,0) c Promoted_4 : 77612
670.58/92.93	c (90,0) c Promoted_5 : 80800
670.58/92.93	c (90,0) c Promoted_6 : 20920
670.58/92.93	c (90,0) c Promoted_7 : 46899
670.58/92.93	c (90,0) c Promoted_total : 485825
670.58/92.93	c (90,0) c Promoted_winner : 24243
670.58/92.93	c (90,0) c Remove_Imp_0 : 1033529
670.58/92.93	c (90,0) c Remove_Imp_1 : 1062405
670.58/92.93	c (90,0) c Remove_Imp_2 : 855448
670.58/92.93	c (90,0) c Remove_Imp_3 : 1012478
670.58/92.93	c (90,0) c Remove_Imp_4 : 999615
670.58/92.93	c (90,0) c Remove_Imp_5 : 1046928
670.58/92.93	c (90,0) c Remove_Imp_6 : 802572
670.58/92.93	c (90,0) c Remove_Imp_7 : 978585
670.58/92.93	c (90,0) c Remove_Imp_total : 7791560
670.58/92.93	c (90,0) c Remove_Imp_winner : 855448
670.58/92.93	c (90,0) c Blocked_Reuse_0 : 0
670.58/92.93	c (90,0) c Blocked_Reuse_1 : 0
670.58/92.93	c (90,0) c Blocked_Reuse_2 : 0
670.58/92.93	c (90,0) c Blocked_Reuse_3 : 0
670.58/92.93	c (90,0) c Blocked_Reuse_4 : 0
670.58/92.93	c (90,0) c Blocked_Reuse_5 : 0
670.58/92.93	c (90,0) c Blocked_Reuse_6 : 0
670.58/92.93	c (90,0) c Blocked_Reuse_7 : 0
670.58/92.93	c (90,0) c Blocked_Reuse_total : 0
670.58/92.93	c (90,0) c Blocked_Reuse_winner : 0
670.58/92.93	c (90,0) c Unaries_0 : 5
670.58/92.93	c (90,0) c Unaries_1 : 2
670.58/92.93	c (90,0) c Unaries_2 : 20
670.58/92.93	c (90,0) c Unaries_3 : 6
670.58/92.93	c (90,0) c Unaries_4 : 3
670.58/92.93	c (90,0) c Unaries_5 : 8
670.58/92.93	c (90,0) c Unaries_6 : 14
670.58/92.93	c (90,0) c Unaries_7 : 5
670.58/92.93	c (90,0) c Unaries_total : 63
670.58/92.93	c (90,0) c Unaries_winner : 20
670.58/92.93	c (90,0) c Binaries_0 : 71
670.58/92.93	c (90,0) c Binaries_1 : 37
670.58/92.93	c (90,0) c Binaries_2 : 152
670.58/92.93	c (90,0) c Binaries_3 : 68
670.58/92.93	c (90,0) c Binaries_4 : 58
670.58/92.93	c (90,0) c Binaries_5 : 87
670.58/92.94	c (90,0) c Binaries_6 : 170
670.58/92.94	c (90,0) c Binaries_7 : 31
670.58/92.94	c (90,0) c Binaries_total : 674
670.58/92.94	c (90,0) c Binaries_winner : 152
670.58/92.94	c (90,0) c Glues_0 : 108
670.58/92.94	c (90,0) c Glues_1 : 84
670.58/92.94	c (90,0) c Glues_2 : 207
670.58/92.94	c (90,0) c Glues_3 : 102
670.58/92.94	c (90,0) c Glues_4 : 99
670.58/92.94	c (90,0) c Glues_5 : 136
670.58/92.94	c (90,0) c Glues_6 : 213
670.58/92.94	c (90,0) c Glues_7 : 83
670.58/92.94	c (90,0) c Glues_total : 1032
670.58/92.94	c (90,0) c Glues_winner : 207
670.58/92.94	c (90,0) c RunningTime_0 : 89.586626
670.58/92.94	c (90,0) c RunningTime_1 : 82.019869
670.58/92.94	c (90,0) c RunningTime_2 : 79.658831
670.58/92.94	c (90,0) c RunningTime_3 : 84.692170
670.58/92.94	c (90,0) c RunningTime_4 : 85.699446
670.58/92.94	c (90,0) c RunningTime_5 : 83.394988
670.58/92.94	c (90,0) c RunningTime_6 : 79.981568
670.58/92.94	c (90,0) c RunningTime_7 : 78.083229
670.58/92.94	c (90,0) c RunningTime_total : 663.116726
670.58/92.94	c (90,0) c RunningTime_winner : 79.658831
670.58/92.94	c (90,0) c WaitingTime_0 : 0.014678
670.58/92.94	c (90,0) c WaitingTime_1 : 7.144813
670.58/92.94	c (90,0) c WaitingTime_2 : 8.959158
670.58/92.94	c (90,0) c WaitingTime_3 : 4.428473
670.58/92.94	c (90,0) c WaitingTime_4 : 3.366501
670.58/92.94	c (90,0) c WaitingTime_5 : 5.482024
670.58/92.94	c (90,0) c WaitingTime_6 : 8.607974
670.58/92.94	c (90,0) c WaitingTime_7 : 10.716076
670.58/92.94	c (90,0) c WaitingTime_total : 48.719697
670.58/92.94	c (90,0) c WaitingTime_winner : 8.959158
670.58/92.94	c (90,0) c ExchangingTime_0 : 0.512692
670.58/92.94	c (90,0) c ExchangingTime_1 : 0.500057
670.58/92.94	c (90,0) c ExchangingTime_2 : 0.511622
670.58/92.94	c (90,0) c ExchangingTime_3 : 0.515645
670.58/92.94	c (90,0) c ExchangingTime_4 : 0.553003
670.58/92.94	c (90,0) c ExchangingTime_5 : 0.502003
670.58/92.94	c (90,0) c ExchangingTime_6 : 0.533906
670.58/92.94	c (90,0) c ExchangingTime_7 : 0.606642
670.58/92.94	c (90,0) c ExchangingTime_total : 4.235571
670.58/92.94	c (90,0) c ExchangingTime_winner : 0.511622
670.58/92.94	c (90,0) c PeriodProcTime_0 : 0.024518
670.58/92.94	c (90,0) c PeriodProcTime_1 : 0.012350
670.58/92.94	c (90,0) c PeriodProcTime_2 : 0.012497
670.58/92.94	c (90,0) c PeriodProcTime_3 : 0.014371
670.58/92.94	c (90,0) c PeriodProcTime_4 : 0.014701
670.58/92.94	c (90,0) c PeriodProcTime_5 : 0.012285
670.58/92.94	c (90,0) c PeriodProcTime_6 : 0.012388
670.58/92.94	c (90,0) c PeriodProcTime_7 : 0.015934
670.58/92.94	c (90,0) c PeriodProcTime_total : 0.119044
670.58/92.94	c (90,0) c PeriodProcTime_winner : 0.012497
670.58/92.94	c (90,0) c SolvingTime_0 : 90.138514
670.58/92.94	c (90,0) c SolvingTime_1 : 89.677088
670.58/92.94	c (90,0) c SolvingTime_2 : 89.142108
670.58/92.94	c (90,0) c SolvingTime_3 : 89.650658
670.58/92.94	c (90,0) c SolvingTime_4 : 89.633652
670.58/92.94	c (90,0) c SolvingTime_5 : 89.391301
670.58/92.94	c (90,0) c SolvingTime_6 : 89.135836
670.58/92.94	c (90,0) c SolvingTime_7 : 89.421880
670.58/92.94	c (90,0) c SolvingTime_total : 716.191037
670.58/92.94	c (90,0) c SolvingTime_winner : 89.142108
670.58/92.94	c (90,0) c PropagationTime_0 : 83.407322
670.58/92.94	c (90,0) c PropagationTime_1 : 82.766581
670.58/92.94	c (90,0) c PropagationTime_2 : 66.051502
670.58/92.94	c (90,0) c PropagationTime_3 : 82.842389
670.58/92.94	c (90,0) c PropagationTime_4 : 82.598305
670.58/92.94	c (90,0) c PropagationTime_5 : 82.428509
670.58/92.94	c (90,0) c PropagationTime_6 : 65.004076
670.58/92.94	c (90,0) c PropagationTime_7 : 82.392303
670.58/92.94	c (90,0) c PropagationTime_total : 627.490987
670.58/92.94	c (90,0) c PropagationTime_winner : 66.051502
670.58/92.94	c (90,0) c AnalysisTime_0 : 4.150584
670.58/92.94	c (90,0) c AnalysisTime_1 : 4.116415
670.58/92.94	c (90,0) c AnalysisTime_2 : 14.343315
670.58/92.94	c (90,0) c AnalysisTime_3 : 4.157323
670.58/92.94	c (90,0) c AnalysisTime_4 : 4.181255
670.58/92.94	c (90,0) c AnalysisTime_5 : 4.148031
670.58/92.94	c (90,0) c AnalysisTime_6 : 14.752138
670.58/92.94	c (90,0) c AnalysisTime_7 : 4.384774
670.58/92.94	c (90,0) c AnalysisTime_total : 54.233835
670.58/92.94	c (90,0) c AnalysisTime_winner : 14.343315
670.58/92.94	c (90,0) c ReductionTime_0 : 1.473375
670.58/92.94	c (90,0) c ReductionTime_1 : 1.622164
670.58/92.94	c (90,0) c ReductionTime_2 : 5.652656
670.58/92.94	c (90,0) c ReductionTime_3 : 1.524475
670.58/92.94	c (90,0) c ReductionTime_4 : 1.626476
670.58/92.94	c (90,0) c ReductionTime_5 : 1.609243
670.58/92.94	c (90,0) c ReductionTime_6 : 5.848211
670.58/92.94	c (90,0) c ReductionTime_7 : 1.474400
670.58/92.94	c (90,0) c ReductionTime_total : 20.830999
670.58/92.94	c (90,0) c ReductionTime_winner : 5.652656
670.58/92.94	c (90,0) c SimplifyTime_0 : 0.049578
670.58/92.94	c (90,0) c SimplifyTime_1 : 0.029105
670.58/92.94	c (90,0) c SimplifyTime_2 : 0.048448
670.58/92.94	c (90,0) c SimplifyTime_3 : 0.030220
670.58/92.94	c (90,0) c SimplifyTime_4 : 0.037026
670.58/92.94	c (90,0) c SimplifyTime_5 : 0.020997
670.58/92.94	c (90,0) c SimplifyTime_6 : 0.044898
670.58/92.94	c (90,0) c SimplifyTime_7 : 0.024446
670.58/92.94	c (90,0) c SimplifyTime_total : 0.284718
670.58/92.94	c (90,0) c SimplifyTime_winner : 0.048448
670.58/92.94	c (90,0) c UsedRateTime_0 : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_1 : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_2 : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_3 : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_4 : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_5 : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_6 : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_7 : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_total : 0.000000
670.58/92.94	c (90,0) c UsedRateTime_winner : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_0 : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_1 : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_2 : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_3 : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_4 : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_5 : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_6 : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_7 : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_total : 0.000000
670.58/92.94	c (90,0) c OverlapRateTime_winner : 0.000000
670.58/92.94	c (90,0) c
670.58/92.94	c (90,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
670.58/92.94	c (90,0) c
670.58/92.94	c (90,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.94	c (90,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
670.58/92.94	c (90,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.94	c (90,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
670.58/92.94	c (90,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
670.58/92.94	c (90,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
670.58/92.94	c (90,0) c | Initial random_seed   |  620336936 |  500755773 |   97738956 | 1437618283 | 1631311063 | 1605859918 |  551276616 | 2063284037 |
670.58/92.94	c (90,0) c | chanseokStrategy      |      False |      False |       True |      False |      False |      False |       True |      False |
670.58/92.94	c (90,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          5 |          5 |          4 |          5 |
670.58/92.94	c (90,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
670.58/92.94	c (90,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
670.58/92.94	c (90,0) c | incReduceDB           |        300 |        300 |          0 |        300 |        300 |        300 |          0 |        300 |
670.58/92.94	c (90,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
670.58/92.94	c (90,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
670.58/92.94	c (90,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
670.58/92.94	c (90,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
670.58/92.94	c (90,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
670.58/92.94	c (90,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
670.58/92.94	c (90,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
670.58/92.94	c (90,0) 
670.58/92.94	c (90,0) s UNSATISFIABLE
670.58/92.95	c (90,0) SatSolver.solve End
670.58/92.95	c (90,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
670.58/92.95	c (90,0) Show results Begin
670.58/92.95	s UNSATISFIABLE
670.58/92.95	c (90,0) Show results End
670.58/92.95	c (90,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
670.58/92.95	c (90,0) 90,90,STOP-AFTER(ALL)
670.58/92.95	c END-Prog: Tue Sep 24 22:09:05 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 (10973 MiB free)
  memory of node 1: 16384 MiB (12794 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405352-1569355692/watcher-4405352-1569355692 -o /var/tmp/evaluation-result-4405352-1569355692/solver-4405352-1569355692 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569350609-20271 --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-4405352-1569355692.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
solver pid=20927, runsolver pid=20924
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.102846 s]*
/proc/loadavg: 8.18 8.27 8.32 2/216 20949
/proc/meminfo: memFree=24245336/32770624 swapFree=67002968/67108860
[pid=20927] ppid=20924 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20927/stat : 20927 (scop.sh) S 20924 20927 20244 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511808721 115843072 349 33554432000 4194304 5098028 140727743606160 140727743603416 140258694165116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33992704 140727743611645 140727743611992 140727743611992 140727743614921 0
/proc/20927/statm: 28282 349 296 221 0 87 0
[pid=20930] ppid=20927 vsize=27314120 memory=106408 CPUtime=0.11 cores=0-7
/proc/20930/stat : 20930 (java) S 20927 20927 20244 0 -1 1077944320 6202 0 0 0 8 3 0 0 20 0 20 0 511808721 27969658880 26602 33554432000 4194304 4196468 140725596874656 140725596857200 139712152714999 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
/proc/20930/statm: 6828530 26602 2817 1 0 6790935 0
[pid=20930/tid=20931] ppid=20927 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20930/task/20931/stat : 20931 (java) R 20927 20927 20244 0 -1 4202560 4238 0 0 0 7 2 0 0 20 0 20 0 511808721 27969658880 26602 33554432000 4194304 4196468 140725596874656 139712124526984 139712138086211 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20932] ppid=20927 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20930/task/20932/stat : 20932 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 26602 33554432000 4194304 4196468 140725596874656 139712156957584 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20933] ppid=20927 vsize=27314120 memory=140564174329472 CPUtime=0 cores=0-7
/proc/20930/task/20933/stat : 20933 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711940352784 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20934] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20934/stat : 20934 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711939300496 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20935] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20935/stat : 20935 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711938247696 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20936] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20936/stat : 20936 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711937194384 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20937] ppid=20927 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20930/task/20937/stat : 20937 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711936141584 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20938] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20938/stat : 20938 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711935089296 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20939] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20939/stat : 20939 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711934036496 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20940] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20940/stat : 20940 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808725 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711143197296 139712152726146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20941] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20941/stat : 20941 (java) S 20927 20927 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511808726 27969658880 26602 33554432000 4194304 4196468 140725596874656 139710051640608 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20942] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20942/stat : 20942 (java) S 20927 20927 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511808726 27969658880 26602 33554432000 4194304 4196468 140725596874656 139709917419120 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20943] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20943/stat : 20943 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 26602 33554432000 4194304 4196468 140725596874656 139709542914640 139712152733595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20944] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20944/stat : 20944 (java) S 20927 20927 20244 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 26602 33554432000 4194304 4196468 140725596874656 139711142144112 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20945] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20945/stat : 20945 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 26668 33554432000 4194304 4196468 140725596874656 139711141091312 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20946] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20946/stat : 20946 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 26668 33554432000 4194304 4196468 140725596874656 139711140039024 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20947] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20947/stat : 20947 (java) R 20927 20927 20244 0 -1 4202560 332 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 26668 33554432000 4194304 4196468 140725596874656 139711138986224 139712131345752 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20948] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20948/stat : 20948 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511808729 27969658880 26668 33554432000 4194304 4196468 140725596874656 139709045009248 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20949] ppid=20927 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20930/task/20949/stat : 20949 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808729 27969658880 26668 33554432000 4194304 4196468 140725596874656 139711137934128 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107804 KiB

[startup+0.210726 s]*
/proc/loadavg: 8.18 8.27 8.32 4/216 20949
/proc/meminfo: memFree=24224284/32770624 swapFree=67002968/67108860
[pid=20927] ppid=20924 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20927/stat : 20927 (scop.sh) S 20924 20927 20244 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511808721 115843072 349 33554432000 4194304 5098028 140727743606160 140727743603416 140258694165116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33992704 140727743611645 140727743611992 140727743611992 140727743614921 0
/proc/20927/statm: 28282 349 296 221 0 87 0
[pid=20930] ppid=20927 vsize=27314120 memory=123444 CPUtime=0.24 cores=0-7
/proc/20930/stat : 20930 (java) S 20927 20927 20244 0 -1 1077944320 11751 0 0 0 20 4 0 0 20 0 20 0 511808721 27969658880 30861 33554432000 4194304 4196468 140725596874656 140725596857200 139712152714999 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
/proc/20930/statm: 6828530 30861 2925 1 0 6790935 0
[pid=20930/tid=20931] ppid=20927 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/20930/task/20931/stat : 20931 (java) R 20927 20927 20244 0 -1 4202560 9428 0 0 0 16 4 0 0 20 0 20 0 511808721 27969658880 30861 33554432000 4194304 4196468 140725596874656 139712124514384 139712134278528 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20932] ppid=20927 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/20930/task/20932/stat : 20932 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 30861 33554432000 4194304 4196468 140725596874656 139712156957584 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20933] ppid=20927 vsize=27314120 memory=140564178157820 CPUtime=0 cores=0-7
/proc/20930/task/20933/stat : 20933 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711940352784 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20934] ppid=20927 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20930/task/20934/stat : 20934 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711939300496 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20935] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20935/stat : 20935 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711938247696 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20936] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20936/stat : 20936 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711937194384 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20937] ppid=20927 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20930/task/20937/stat : 20937 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711936141584 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20938] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20938/stat : 20938 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711935089296 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20939] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20939/stat : 20939 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711934036496 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20940] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20940/stat : 20940 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808725 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711143197296 139712152726146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20941] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20941/stat : 20941 (java) S 20927 20927 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511808726 27969658880 30861 33554432000 4194304 4196468 140725596874656 139710051640608 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20942] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20942/stat : 20942 (java) S 20927 20927 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511808726 27969658880 30861 33554432000 4194304 4196468 140725596874656 139709917419120 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20943] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20943/stat : 20943 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 30861 33554432000 4194304 4196468 140725596874656 139709542914640 139712152733595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20944] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20944/stat : 20944 (java) S 20927 20927 20244 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711142144112 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20945] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20945/stat : 20945 (java) S 20927 20927 20244 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711141091312 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20946] ppid=20927 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20930/task/20946/stat : 20946 (java) S 20927 20927 20244 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711140039024 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20947] ppid=20927 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/20930/task/20947/stat : 20947 (java) S 20927 20927 20244 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 20 0 511808728 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711138986224 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20948] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20948/stat : 20948 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511808729 27969658880 30861 33554432000 4194304 4196468 140725596874656 139709045009248 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20949] ppid=20927 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20930/task/20949/stat : 20949 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808729 27969658880 30861 33554432000 4194304 4196468 140725596874656 139711137934128 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124840 KiB

[startup+0.310615 s]*
/proc/loadavg: 8.18 8.27 8.32 2/216 20949
/proc/meminfo: memFree=24221120/32770624 swapFree=67002968/67108860
[pid=20927] ppid=20924 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20927/stat : 20927 (scop.sh) S 20924 20927 20244 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511808721 115843072 349 33554432000 4194304 5098028 140727743606160 140727743603416 140258694165116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33992704 140727743611645 140727743611992 140727743611992 140727743614921 0
/proc/20927/statm: 28282 349 296 221 0 87 0
[pid=20930] ppid=20927 vsize=27314120 memory=127464 CPUtime=0.42 cores=0-7
/proc/20930/stat : 20930 (java) S 20927 20927 20244 0 -1 1077944320 12299 0 0 0 37 5 0 0 20 0 20 0 511808721 27969658880 31866 33554432000 4194304 4196468 140725596874656 140725596857200 139712152714999 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
/proc/20930/statm: 6828530 31866 3026 1 0 6790935 0
[pid=20930/tid=20931] ppid=20927 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/20930/task/20931/stat : 20931 (java) R 20927 20927 20244 0 -1 4202560 9786 0 0 0 26 4 0 0 20 0 20 0 511808721 27969658880 31866 33554432000 4194304 4196468 140725596874656 139712124536000 139712137880638 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20932] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20932/stat : 20932 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 31866 33554432000 4194304 4196468 140725596874656 139712156957584 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20933] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20933/stat : 20933 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711940352784 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20934] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20934/stat : 20934 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711939300496 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20935] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20935/stat : 20935 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711938247696 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20936] ppid=20927 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/20930/task/20936/stat : 20936 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711937194384 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20937] ppid=20927 vsize=27314120 memory=140564012037039 CPUtime=0 cores=0-7
/proc/20930/task/20937/stat : 20937 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711936141584 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20938] ppid=20927 vsize=27314120 memory=140564012039344 CPUtime=0 cores=0-7
/proc/20930/task/20938/stat : 20938 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711935089296 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20939] ppid=20927 vsize=27314120 memory=140564012041648 CPUtime=0 cores=0-7
/proc/20930/task/20939/stat : 20939 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711934036496 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20940] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20940/stat : 20940 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808725 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711143197296 139712152726146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20941] ppid=20927 vsize=27314120 memory=281128024090256 CPUtime=0 cores=0-7
/proc/20930/task/20941/stat : 20941 (java) S 20927 20927 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511808726 27969658880 31866 33554432000 4194304 4196468 140725596874656 139710051640608 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20942] ppid=20927 vsize=27314120 memory=281128024097168 CPUtime=0 cores=0-7
/proc/20930/task/20942/stat : 20942 (java) S 20927 20927 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511808726 27969658880 31866 33554432000 4194304 4196468 140725596874656 139709917419120 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20943] ppid=20927 vsize=27314120 memory=281128024038448 CPUtime=0 cores=0-7
/proc/20930/task/20943/stat : 20943 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 31866 33554432000 4194304 4196468 140725596874656 139709542914640 139712152733595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20944] ppid=20927 vsize=27314120 memory=281128024110992 CPUtime=0 cores=0-7
/proc/20930/task/20944/stat : 20944 (java) S 20927 20927 20244 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 20 0 511808728 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711142144112 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20945] ppid=20927 vsize=27314120 memory=281128024117904 CPUtime=0.02 cores=0-7
/proc/20930/task/20945/stat : 20945 (java) R 20927 20927 20244 0 -1 4202560 144 0 0 0 2 0 0 0 20 0 20 0 511808728 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711141091312 139712152736346 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20946] ppid=20927 vsize=27314120 memory=281128024115600 CPUtime=0.01 cores=0-7
/proc/20930/task/20946/stat : 20946 (java) S 20927 20927 20244 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 511808728 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711140039024 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20947] ppid=20927 vsize=27314120 memory=281128024131760 CPUtime=0.07 cores=0-7
/proc/20930/task/20947/stat : 20947 (java) S 20927 20927 20244 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 20 0 511808728 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711138986224 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20948] ppid=20927 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20948/stat : 20948 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511808729 27969658880 31866 33554432000 4194304 4196468 140725596874656 139709045009248 139712152725205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20949] ppid=20927 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20930/task/20949/stat : 20949 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808729 27969658880 31866 33554432000 4194304 4196468 140725596874656 139711137934128 139712152726146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128860 KiB

[startup+0.700945 s]
/proc/loadavg: 8.18 8.27 8.32 2/216 20949
/proc/meminfo: memFree=24200576/32770624 swapFree=67002968/67108860
[pid=20927] ppid=20924 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20927/stat : 20927 (scop.sh) S 20924 20927 20244 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511808721 115843072 349 33554432000 4194304 5098028 140727743606160 140727743603416 140258694165116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33992704 140727743611645 140727743611992 140727743611992 140727743614921 0
/proc/20927/statm: 28282 349 296 221 0 87 0
[pid=20930] ppid=20927 vsize=27320392 memory=163196 CPUtime=0.98 cores=0-7
/proc/20930/stat : 20930 (java) S 20927 20927 20244 0 -1 1077944320 19946 0 0 0 91 7 0 0 20 0 20 0 511808721 27976081408 40799 33554432000 4194304 4196468 140725596874656 140725596857200 139712152714999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
/proc/20930/statm: 6830098 40799 3189 1 0 6791447 0
[pid=20930/tid=20931] ppid=20927 vsize=27320392 memory=281128024489648 CPUtime=0.68 cores=0-7
/proc/20930/task/20931/stat : 20931 (java) R 20927 20927 20244 0 -1 4202560 16845 0 0 0 62 6 0 0 20 0 20 0 511808721 27976081408 40799 33554432000 4194304 4196468 140725596874656 139712124550496 139712152726934 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20932] ppid=20927 vsize=27320392 memory=140564012245872 CPUtime=0 cores=0-7
/proc/20930/task/20932/stat : 20932 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27976081408 40799 33554432000 4194304 4196468 140725596874656 139712156957584 139712152725205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20933] ppid=20927 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20930/task/20933/stat : 20933 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511808724 27976081408 40799 33554432000 4194304 4196468 140725596874656 139711940352784 139712152725205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0
[pid=20930/tid=20934] ppid=20927 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/20930/task/20934/stat : 20934 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511808724 27976081408 40799 33554432000 4194304 4196468 140725596874656 139711939300496 139712152725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140725596877511 140725596877958 140725596877958 140725596880847 0

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

[pid=20950/tid=20960] ppid=20927 vsize=8414124 memory=3516 CPUtime=0 cores=0-7
/proc/20950/task/20960/stat : 20960 (java) S 20927 20927 20244 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511808920 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263328843888 140264369646210 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20961] ppid=20927 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20950/task/20961/stat : 20961 (java) S 20927 20927 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511808921 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262961570592 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20962] ppid=20927 vsize=8414124 memory=120356 CPUtime=0 cores=0-7
/proc/20950/task/20962/stat : 20962 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808921 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262693135472 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20963] ppid=20927 vsize=8414124 memory=594216 CPUtime=0 cores=0-7
/proc/20950/task/20963/stat : 20963 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262318626896 140264369653659 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20964] ppid=20927 vsize=8414124 memory=7595709347574927975 CPUtime=0.07 cores=0-7
/proc/20950/task/20964/stat : 20964 (java) S 20927 20927 20244 0 -1 1077944384 565 0 0 0 7 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263327791728 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20965] ppid=20927 vsize=8414124 memory=7451602925545541970 CPUtime=0.06 cores=0-7
/proc/20950/task/20965/stat : 20965 (java) S 20927 20927 20244 0 -1 1077944384 391 0 0 0 6 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263326738928 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20966] ppid=20927 vsize=8414124 memory=64280 CPUtime=0.03 cores=0-7
/proc/20950/task/20966/stat : 20966 (java) S 20927 20927 20244 0 -1 1077944384 128 0 0 0 3 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263325686640 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20967] ppid=20927 vsize=8414124 memory=988 CPUtime=0.2 cores=0-7
/proc/20950/task/20967/stat : 20967 (java) S 20927 20927 20244 0 -1 1077944384 742 0 0 0 20 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263324633840 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20968] ppid=20927 vsize=8414124 memory=2052 CPUtime=0 cores=0-7
/proc/20950/task/20968/stat : 20968 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261820721504 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20969] ppid=20927 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7
/proc/20950/task/20969/stat : 20969 (java) S 20927 20927 20244 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263323580720 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20971] ppid=20927 vsize=8414124 memory=120356 CPUtime=0 cores=0-7
/proc/20950/task/20971/stat : 20971 (java) S 20927 20927 20244 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263315547456 140264369659673 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20980] ppid=20927 vsize=8414124 memory=544940 CPUtime=0 cores=0-7
/proc/20950/task/20980/stat : 20980 (java) S 20927 20927 20244 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261149622160 140264369656989 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20981] ppid=20927 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/20950/task/20981/stat : 20981 (java) S 20927 20927 20244 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261418057488 140264369656989 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20983] ppid=20927 vsize=8414124 memory=6204 CPUtime=0 cores=0-7
/proc/20950/task/20983/stat : 20983 (java) S 20927 20927 20244 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511808993 8616062976 30089 33554432000 4194304 4196468 140730627414944 140260881194800 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
Current children cumulated CPU time: 669.95 s
Current children cumulated vsize: 9342864 KiB
Current children cumulated memory: 690684 KiB

[startup+92.8012 s]
/proc/loadavg: 8.23 8.20 8.29 10/228 20988
/proc/meminfo: memFree=23663540/32770624 swapFree=67002968/67108860
[pid=20927] ppid=20924 vsize=113128 memory=1476 CPUtime=4.24 cores=0-7
/proc/20927/stat : 20927 (scop.sh) S 20924 20927 20244 0 -1 4202496 583 26562 0 0 0 0 408 16 20 0 1 0 511808721 115843072 369 33554432000 4194304 5098028 140727743606160 140727743602904 140258694165116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33992704 140727743611645 140727743611992 140727743611992 140727743614921 0
/proc/20927/statm: 28282 369 311 221 0 87 0
[pid=20950] ppid=20927 vsize=8414124 memory=120356 CPUtime=1.22 cores=0-7
/proc/20950/stat : 20950 (java) S 20927 20927 20244 0 -1 1077944320 20129 0 0 0 114 8 0 0 20 0 24 0 511808917 8616062976 30089 33554432000 4194304 4196468 140730627414944 140730627397488 140264369635063 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
/proc/20950/statm: 2103531 30089 3162 1 0 2064875 0
[pid=20970] ppid=20950 vsize=815612 memory=570904 CPUtime=665.02 cores=0-7
/proc/20970/stat : 20970 (manyglucose-4.1) S 20950 20927 20244 0 -1 1077944320 574691 0 0 0 66379 123 0 0 20 0 2 0 511808991 835186688 142726 33554432000 4194304 4454172 140735655226128 140735655224512 139733319311095 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 13455360 140735655228237 140735655228444 140735655228444 140735655231414 0
/proc/20970/statm: 203903 142726 419 64 0 199571 0
[pid=20970/tid=20973] ppid=20950 vsize=815612 memory=-9176191359072366994 CPUtime=89.94 cores=0-7
/proc/20970/task/20973/stat : 20973 (manyglucose-4.1) R 20950 20927 20244 0 -1 4202560 85377 0 0 0 8978 16 0 0 20 0 2 0 511808991 835186688 142726 33554432000 4194304 4454172 140735655226128 139733304093832 4351733 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 13455360 140735655228237 140735655228444 140735655228444 140735655231414 0
[pid=20950/tid=20951] ppid=20927 vsize=8414124 memory=988 CPUtime=0.75 cores=0-7
/proc/20950/task/20951/stat : 20951 (java) S 20927 20927 20244 0 -1 1077944384 16902 0 0 0 70 5 0 0 20 0 24 0 511808918 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264341475232 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20952] ppid=20927 vsize=8414124 memory=2052 CPUtime=0 cores=0-7
/proc/20950/task/20952/stat : 20952 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264373877136 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20953] ppid=20927 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/20950/task/20953/stat : 20953 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264174045456 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20954] ppid=20927 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/20950/task/20954/stat : 20954 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264172993168 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20955] ppid=20927 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20950/task/20955/stat : 20955 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264171940368 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20956] ppid=20927 vsize=8414124 memory=120356 CPUtime=0 cores=0-7
/proc/20950/task/20956/stat : 20956 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264170888080 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20957] ppid=20927 vsize=8414124 memory=549044 CPUtime=0 cores=0-7
/proc/20950/task/20957/stat : 20957 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263850765072 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20958] ppid=20927 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20950/task/20958/stat : 20958 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263849712784 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20959] ppid=20927 vsize=8414124 memory=120356 CPUtime=0 cores=0-7
/proc/20950/task/20959/stat : 20959 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263848659984 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20960] ppid=20927 vsize=8414124 memory=568852 CPUtime=0 cores=0-7
/proc/20950/task/20960/stat : 20960 (java) S 20927 20927 20244 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511808920 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263328843888 140264369646210 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20961] ppid=20927 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/20950/task/20961/stat : 20961 (java) S 20927 20927 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511808921 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262961570592 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20962] ppid=20927 vsize=8414124 memory=526504 CPUtime=0 cores=0-7
/proc/20950/task/20962/stat : 20962 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808921 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262693135472 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20963] ppid=20927 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/20950/task/20963/stat : 20963 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262318626896 140264369653659 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20964] ppid=20927 vsize=8414124 memory=784 CPUtime=0.07 cores=0-7
/proc/20950/task/20964/stat : 20964 (java) S 20927 20927 20244 0 -1 1077944384 565 0 0 0 7 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263327791728 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20965] ppid=20927 vsize=8414124 memory=8560 CPUtime=0.06 cores=0-7
/proc/20950/task/20965/stat : 20965 (java) S 20927 20927 20244 0 -1 1077944384 391 0 0 0 6 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263326738928 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20966] ppid=20927 vsize=8414124 memory=6204 CPUtime=0.03 cores=0-7
/proc/20950/task/20966/stat : 20966 (java) S 20927 20927 20244 0 -1 1077944384 128 0 0 0 3 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263325686640 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20967] ppid=20927 vsize=8414124 memory=1056 CPUtime=0.2 cores=0-7
/proc/20950/task/20967/stat : 20967 (java) S 20927 20927 20244 0 -1 1077944384 742 0 0 0 20 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263324633840 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20968] ppid=20927 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/20950/task/20968/stat : 20968 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261820721504 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20969] ppid=20927 vsize=8414124 memory=728 CPUtime=0.04 cores=0-7
/proc/20950/task/20969/stat : 20969 (java) S 20927 20927 20244 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263323580720 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20971] ppid=20927 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20950/task/20971/stat : 20971 (java) S 20927 20927 20244 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263315547456 140264369659673 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20980] ppid=20927 vsize=8414124 memory=120356 CPUtime=0 cores=0-7
/proc/20950/task/20980/stat : 20980 (java) S 20927 20927 20244 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261149622160 140264369656989 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20981] ppid=20927 vsize=8414124 memory=530608 CPUtime=0 cores=0-7
/proc/20950/task/20981/stat : 20981 (java) S 20927 20927 20244 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261418057488 140264369656989 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20983] ppid=20927 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/20950/task/20983/stat : 20983 (java) S 20927 20927 20244 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511808993 8616062976 30089 33554432000 4194304 4196468 140730627414944 140260881194800 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
Current children cumulated CPU time: 670.48 s
Current children cumulated vsize: 9342864 KiB
Current children cumulated memory: 692736 KiB

[startup+92.9012 s]
/proc/loadavg: 8.23 8.20 8.29 10/228 20988
/proc/meminfo: memFree=23663540/32770624 swapFree=67002968/67108860
[pid=20927] ppid=20924 vsize=113128 memory=1476 CPUtime=4.24 cores=0-7
/proc/20927/stat : 20927 (scop.sh) S 20924 20927 20244 0 -1 4202496 583 26562 0 0 0 0 408 16 20 0 1 0 511808721 115843072 369 33554432000 4194304 5098028 140727743606160 140727743602904 140258694165116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33992704 140727743611645 140727743611992 140727743611992 140727743614921 0
/proc/20927/statm: 28282 369 311 221 0 87 0
[pid=20950] ppid=20927 vsize=8414124 memory=120356 CPUtime=1.22 cores=0-7
/proc/20950/stat : 20950 (java) S 20927 20927 20244 0 -1 1077944320 20129 0 0 0 114 8 0 0 20 0 24 0 511808917 8616062976 30089 33554432000 4194304 4196468 140730627414944 140730627397488 140264369635063 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
/proc/20950/statm: 2103531 30089 3162 1 0 2064875 0
[pid=20970] ppid=20950 vsize=815612 memory=570904 CPUtime=665.12 cores=0-7
/proc/20970/stat : 20970 (manyglucose-4.1) S 20950 20927 20244 0 -1 1077944320 574691 0 0 0 66389 123 0 0 20 0 2 0 511808991 835186688 142726 33554432000 4194304 4454172 140735655226128 140735655224512 139733319311095 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 13455360 140735655228237 140735655228444 140735655228444 140735655231414 0
/proc/20970/statm: 203903 142726 419 64 0 199571 0
[pid=20970/tid=20973] ppid=20950 vsize=815612 memory=120356 CPUtime=90.04 cores=0-7
/proc/20970/task/20973/stat : 20973 (manyglucose-4.1) R 20950 20927 20244 0 -1 4202560 85377 0 0 0 8988 16 0 0 20 0 2 0 511808991 835186688 142726 33554432000 4194304 4454172 140735655226128 139733304093832 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 13455360 140735655228237 140735655228444 140735655228444 140735655231414 0
[pid=20950/tid=20951] ppid=20927 vsize=8414124 memory=1476 CPUtime=0.75 cores=0-7
/proc/20950/task/20951/stat : 20951 (java) S 20927 20927 20244 0 -1 1077944384 16902 0 0 0 70 5 0 0 20 0 24 0 511808918 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264341475232 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20952] ppid=20927 vsize=8414124 memory=522408 CPUtime=0 cores=0-7
/proc/20950/task/20952/stat : 20952 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264373877136 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20953] ppid=20927 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/20950/task/20953/stat : 20953 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264174045456 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20954] ppid=20927 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/20950/task/20954/stat : 20954 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264172993168 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20955] ppid=20927 vsize=8414124 memory=281125407086821 CPUtime=0 cores=0-7
/proc/20950/task/20955/stat : 20955 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264171940368 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20956] ppid=20927 vsize=8414124 memory=7686721470233812627 CPUtime=0 cores=0-7
/proc/20950/task/20956/stat : 20956 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140264170888080 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20957] ppid=20927 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/20950/task/20957/stat : 20957 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263850765072 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20958] ppid=20927 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20950/task/20958/stat : 20958 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263849712784 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20959] ppid=20927 vsize=8414124 memory=119576 CPUtime=0 cores=0-7
/proc/20950/task/20959/stat : 20959 (java) S 20927 20927 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511808919 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263848659984 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20960] ppid=20927 vsize=8414124 memory=516040 CPUtime=0 cores=0-7
/proc/20950/task/20960/stat : 20960 (java) S 20927 20927 20244 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511808920 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263328843888 140264369646210 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20961] ppid=20927 vsize=8414124 memory=281128026001104 CPUtime=0 cores=0-7
/proc/20950/task/20961/stat : 20961 (java) S 20927 20927 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511808921 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262961570592 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20962] ppid=20927 vsize=8414124 memory=2719 CPUtime=0 cores=0-7
/proc/20950/task/20962/stat : 20962 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808921 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262693135472 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20963] ppid=20927 vsize=8414124 memory=281128026016784 CPUtime=0 cores=0-7
/proc/20950/task/20963/stat : 20963 (java) S 20927 20927 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140262318626896 140264369653659 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20964] ppid=20927 vsize=8414124 memory=513836 CPUtime=0.07 cores=0-7
/proc/20950/task/20964/stat : 20964 (java) S 20927 20927 20244 0 -1 1077944384 565 0 0 0 7 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263327791728 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20965] ppid=20927 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/20950/task/20965/stat : 20965 (java) S 20927 20927 20244 0 -1 1077944384 391 0 0 0 6 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263326738928 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20966] ppid=20927 vsize=8414124 memory=1476 CPUtime=0.03 cores=0-7
/proc/20950/task/20966/stat : 20966 (java) S 20927 20927 20244 0 -1 1077944384 128 0 0 0 3 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263325686640 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20967] ppid=20927 vsize=8414124 memory=33 CPUtime=0.2 cores=0-7
/proc/20950/task/20967/stat : 20967 (java) S 20927 20927 20244 0 -1 1077944384 742 0 0 0 20 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263324633840 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20968] ppid=20927 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/20950/task/20968/stat : 20968 (java) S 20927 20927 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261820721504 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20969] ppid=20927 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/20950/task/20969/stat : 20969 (java) S 20927 20927 20244 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 511808924 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263323580720 140264369646210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20971] ppid=20927 vsize=8414124 memory=3280 CPUtime=0 cores=0-7
/proc/20950/task/20971/stat : 20971 (java) S 20927 20927 20244 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140263315547456 140264369659673 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20980] ppid=20927 vsize=8414124 memory=64280 CPUtime=0 cores=0-7
/proc/20950/task/20980/stat : 20980 (java) S 20927 20927 20244 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261149622160 140264369656989 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20981] ppid=20927 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/20950/task/20981/stat : 20981 (java) S 20927 20927 20244 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511808991 8616062976 30089 33554432000 4194304 4196468 140730627414944 140261418057488 140264369656989 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
[pid=20950/tid=20983] ppid=20927 vsize=8414124 memory=2052 CPUtime=0 cores=0-7
/proc/20950/task/20983/stat : 20983 (java) S 20927 20927 20244 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511808993 8616062976 30089 33554432000 4194304 4196468 140730627414944 140260881194800 140264369645269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16412672 140730627417055 140730627417222 140730627417222 140730627420111 0
Current children cumulated CPU time: 670.58 s
Current children cumulated vsize: 9342864 KiB
Current children cumulated memory: 692736 KiB

Child status: 0
Real time (s): 92.9643
CPU time (s): 670.743
CPU user time (s): 669.231
CPU system time (s): 1.51148
CPU usage (%): 721.506
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 720144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.231
system time used= 1.51148
maximum resident set size= 598312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14229
involuntary context switches= 6512


# summary of solver processes directly reported to runsolver:
#   pid: 20927
#   total CPU time (s): 670.743
#   total CPU user time (s): 669.231
#   total CPU system time (s): 1.51148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.921512 second user time and 1.27977 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-24 22:07:31
IDJOB=4405352
IDBENCH=135540
IDSOLVER=2867
FILE ID=node133/4405352-1569355692
RUNJOBID= node133-1569350609-20271
PBS_JOBID= 21705096
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-clau-015-010.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 /var/tmp/evaluation-result-4405352-1569355692/watcher-4405352-1569355692 -o /var/tmp/evaluation-result-4405352-1569355692/solver-4405352-1569355692 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569350609-20271 --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-4405352-1569355692.xml

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

MD5SUM BENCH= b45d1707d0c27f8ab51c2199585eb6c5
RANDOM SEED=22748756

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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:        24339076 kB
MemAvailable:   31841760 kB
Buffers:          146496 kB
Cached:          7411036 kB
SwapCached:         5156 kB
Active:          3728960 kB
Inactive:        3835340 kB
Active(anon):       4772 kB
Inactive(anon):    57204 kB
Active(file):    3724188 kB
Inactive(file):  3778136 kB
Unevictable:      110964 kB
Mlocked:          110964 kB
SwapTotal:      67108860 kB
SwapFree:       67002968 kB
Dirty:             20656 kB
Writeback:             0 kB
AnonPages:        116316 kB
Mapped:            57084 kB
Shmem:             46820 kB
Slab:             457404 kB
SReclaimable:     428820 kB
SUnreclaim:        28584 kB
KernelStack:        3760 kB
PageTables:         5736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13468 MiB
End job on node133 at 2019-09-24 22:09:05