Trace number 4392492

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-06-15)UNSAT 665.802 91.2132

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-32663-serial-file.bin HOME/instance-4392492-1568438865.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: Sat Sep 14 07:27:03 CEST 2019
0.66/0.57	c PID: 32666
0.66/0.57	c IP: 172.20.3.137
0.66/0.57	c HOST: node137.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.91/1.16	c (0,0) Parsing End
1.91/1.17	c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
1.91/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.91/1.17	c (0,0) Constraint Name Generate Begin
1.91/1.18	c (0,0) Ctr:HOME/instance-4392492-1568438865.xml,Num:Var:WeightedSum
1.91/1.18	c (0,0) Constraint Name Generate End
1.91/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.91/1.18	c (0,0) CSP to CSPinCNF Begin
2.34/1.35	c (0,0) translated 107 (10%) constraints
2.34/1.39	c (0,0) translated 213 (20%) constraints
2.61/1.42	c (0,0) translated 320 (30%) constraints
2.61/1.44	c (0,0) translated 426 (40%) constraints
2.61/1.46	c (0,0) translated 533 (50%) constraints
2.61/1.48	c (0,0) translated 639 (60%) constraints
2.95/1.50	c (0,0) translated 746 (70%) constraints
2.95/1.51	c (0,0) translated 852 (80%) constraints
2.95/1.53	c (0,0) translated 959 (90%) constraints
2.95/1.54	c (0,0) translated 1065 (100%) constraints
2.95/1.54	c (0,0) ===========================================
2.95/1.54	c (0,0) Order
2.95/1.54	c (0,0) ===========================================
2.95/1.56	c (1,1) translated 107 (10%) constraints
2.95/1.56	c (1,1) translated 213 (20%) constraints
2.95/1.57	c (1,1) translated 320 (30%) constraints
2.95/1.58	c (1,1) translated 426 (40%) constraints
2.95/1.58	c (1,1) translated 533 (50%) constraints
2.95/1.59	c (1,1) translated 639 (60%) constraints
2.95/1.59	c (1,1) translated 746 (70%) constraints
2.95/1.60	c (1,1) translated 852 (80%) constraints
3.23/1.60	c (1,1) translated 959 (90%) constraints
3.23/1.60	c (1,1) translated 1065 (100%) constraints
3.23/1.61	c (1,1) CSP to CSPinCNF End
3.23/1.61	c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
3.23/1.61	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.23/1.61	c (1,1) CSPinCNF Propagation Begin
3.23/1.64	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.23/1.64	c (1,1) CSPinCNF Propagation End
3.23/1.64	c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
3.23/1.64	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.23/1.64	c (1,1) Simplify CSPinCNF Begin
3.23/1.65	c (1,1) Simplify CSPinCNF End
3.23/1.65	c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
3.23/1.65	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.23/1.65	c (1,1) Calculate Precise Domain Begin
3.23/1.65	c (1,1) 0 values are removed by re-calculation
3.23/1.65	c (1,1) Calculate Precise Domain End
3.23/1.65	c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2
3.23/1.65	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.23/1.65	c (1,1) CSPinCNF to SatSolver Begin
3.47/1.76	c (1,1) 107 (10 %) CSP clauses are encoded (0 SAT variables, 106 SAT clauses)
3.47/1.78	c (1,1) 213 (20 %) CSP clauses are encoded (0 SAT variables, 212 SAT clauses)
3.47/1.79	c (1,1) 320 (30 %) CSP clauses are encoded (0 SAT variables, 319 SAT clauses)
3.72/1.81	c (1,1) 426 (40 %) CSP clauses are encoded (0 SAT variables, 425 SAT clauses)
3.72/1.82	c (1,1) 533 (50 %) CSP clauses are encoded (0 SAT variables, 532 SAT clauses)
3.72/1.83	c (1,1) 639 (60 %) CSP clauses are encoded (0 SAT variables, 638 SAT clauses)
3.72/1.84	c (1,1) 746 (70 %) CSP clauses are encoded (0 SAT variables, 745 SAT clauses)
3.72/1.85	c (1,1) 852 (80 %) CSP clauses are encoded (0 SAT variables, 851 SAT clauses)
3.72/1.85	c (1,1) 959 (90 %) CSP clauses are encoded (0 SAT variables, 958 SAT clauses)
3.72/1.86	c (1,1) 1065 (100 %) CSP clauses are encoded (0 SAT variables, 1064 SAT clauses)
3.72/1.86	c (1,1) CSPinCNF to SatSolver End
3.72/1.86	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.72/1.86	c (1,1) 150 bool, 1065 clause
3.72/1.86	c (1,1) Export Begin
4.04/1.95	c (1,1) Export to HOME/scop-32663-serial-file.bin
4.04/1.95	c (1,1) Export End
4.04/1.95	c (1,1) Export File Size: 0.03 MB
4.04/1.95	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.04/1.95	c END-Prog: Sat Sep 14 07:27:05 CEST 2019
4.04/1.98	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32663-serial-file.bin
4.85/2.45	c (0,0) Read Serial File Begin
4.85/2.45	c (0,0) HOME/scop-32663-serial-file.bin
5.11/2.66	c (0,0) Read Serial File End
5.11/2.68	
5.11/2.68	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.11/2.68	(Solving Process)
5.11/2.68	
5.29/2.70	c BEGIN-Prog: Sat Sep 14 07:27:05 CEST 2019
5.29/2.70	c PID: 32686
5.29/2.70	c IP: 172.20.3.137
5.29/2.70	c HOST: node137.alineos.net
5.29/2.70	c (0,0) SatSolver.solve Begin
5.29/2.70	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392492-1568438865.xml-scop-32666.cnf
5.29/2.73	c (0,0) c
5.29/2.73	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.29/2.73	c (0,0) c
5.29/2.73	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.29/2.73	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.29/2.73	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.29/2.73	c (0,0) c |                                                                                                       |
5.29/2.73	c (0,0) c |  Number of variables:           150                                                                   |
5.29/2.73	c (0,0) c |  Number of clauses:            1065                                                                   |
5.29/2.73	c (0,0) c |  Parse time:                   0.00 s                                                                 |
5.29/2.73	c (0,0) c |                                                                                                       |
5.29/2.73	c (0,0) c |  Simplification time:          0.00 s                                                                 |
5.29/2.73	c (0,0) c |                                                                                                       |
5.29/2.73	c (0,0) c |  Generating clones                                                                                    |
5.29/2.73	c (0,0) c |  all clones generated. Memory =    23.26Mb.                                                           |
5.29/2.73	c (0,0) c ========================================================================================================|
5.29/2.73	c (0,0) c
5.29/2.73	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.29/2.73	c (0,0) c
5.29/2.73	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.29/2.73	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.29/2.73	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.29/2.73	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.29/2.73	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.29/2.73	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.29/2.73	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.29/2.73	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.29/2.73	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.29/2.73	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.29/2.73	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.29/2.73	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.29/2.73	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.29/2.73	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.29/2.73	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.29/2.73	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.29/2.73	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.29/2.73	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.29/2.73	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
215.44/31.88	c (29,0) c
215.44/31.88	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
215.44/31.88	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
215.44/31.88	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
215.44/31.88	c (29,0) c |  0 |   1085 |     468835 |     363097 |     1050 |    57507 |    30159 |   536742 |    32696 |      587 |  20 |  0.004 |
215.44/31.88	c (29,0) c |  1 |    777 |     467157 |     371642 |     1050 |    66052 |    34254 |   530933 |    33496 |      583 |  20 |  0.004 |
215.44/31.88	c (29,0) c |  2 |   3824 |    1772004 |    1369544 |     6240 |     3538 |   163415 |   413570 |    14368 |      592 |  20 |  0.058 |
215.44/31.88	c (29,0) c |  3 |    671 |     450236 |     360214 |     1050 |    69622 |    36342 |   533906 |    30566 |      592 |  20 |  0.054 |
215.44/31.88	c (29,0) c |  4 |    761 |     449485 |     358280 |     1050 |    52688 |    30679 |   535295 |    30092 |      589 |  20 |  0.005 |
215.44/31.88	c (29,0) c |  5 |    728 |     462378 |     369327 |     1050 |    78742 |    34138 |   533997 |    33718 |      589 |  20 |  0.058 |
215.44/31.88	c (29,0) c |  6 |   3162 |    1758473 |    1379572 |     6446 |     3546 |   200223 |   373291 |    10222 |      588 |  20 |  0.004 |
215.44/31.88	c (29,0) c |  7 |      3 |     417429 |     359855 |     1048 |    54662 |    56908 |   404439 |     8032 |      592 |  20 |  0.004 |
215.44/31.88	c (29,0) c 
215.44/31.88	c (29,0) c synthesis     4931533 conflicts    77680846 propagations    23484 conflicts/sec   369914 propagations/sec
215.44/31.88	c (29,0) c real: 29.1557 s, cpu: 209.997 s, memory: 687.83 Mb
443.57/61.88	c (59,0) c
443.57/61.88	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
443.57/61.88	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
443.57/61.88	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
443.57/61.88	c (59,0) c |  0 |   1843 |     852833 |     663663 |     1050 |    73071 |    45124 |   908315 |    56058 |     1207 |  20 |  0.005 |
443.57/61.88	c (59,0) c |  1 |   1604 |     863383 |     680478 |     1050 |    89886 |    50051 |   900771 |    58285 |     1211 |  20 |  0.005 |
443.57/61.88	c (59,0) c |  2 |   6845 |    3406761 |    2642116 |    15394 |     2112 |   297296 |   669913 |    18549 |     1227 |  20 |  0.067 |
443.57/61.88	c (59,0) c |  3 |   1416 |     831258 |     657830 |     1050 |    88234 |    53818 |   910484 |    52960 |     1227 |  20 |  0.053 |
443.57/61.88	c (59,0) c |  4 |   1629 |     845605 |     667079 |     1050 |    76485 |    48261 |   916217 |    54905 |     1227 |  20 |  0.004 |
443.57/61.88	c (59,0) c |  5 |   1466 |     858151 |     680801 |     1050 |   111204 |    50542 |   911441 |    58377 |     1227 |  20 |  0.005 |
443.57/61.88	c (59,0) c |  6 |   7480 |    3552451 |    2752170 |    16462 |     2143 |   350098 |   617582 |    14959 |     1227 |  20 |  0.067 |
443.57/61.88	c (59,0) c |  7 |     44 |     780681 |     666138 |     1050 |    74749 |    79026 |   876162 |    26883 |     1225 |  20 |  0.005 |
443.57/61.88	c (59,0) c 
443.57/61.88	c (59,0) c synthesis     9410278 conflicts   151041638 propagations    21494 conflicts/sec   344997 propagations/sec
443.57/61.88	c (59,0) c real: 59.1557 s, cpu: 437.806 s, memory: 792.86 Mb
665.61/91.16	c (88,0) c
665.61/91.16	c (88,0) c real time : 88.4321 s
665.61/91.16	c (88,0) c cpu time  : 659.065 s
665.61/91.16	c (88,0) c
665.61/91.16	c (88,0) c
665.61/91.16	c (88,0) c
665.61/91.16	c (88,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
665.61/91.16	c (88,0) c
665.61/91.16	c (88,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.16	c (88,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
665.61/91.16	c (88,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.16	c (88,0) c | Conflicts     |        13175573 |     944779 |     971167 |    3672289 |     927260 |     948242 |     962443 |    3806362 |     943031 |
665.61/91.16	c (88,0) c | Decisions     |        16839865 |    1215086 |    1232876 |    4752963 |    1177108 |    1205546 |    1217769 |    4924449 |    1114068 |
665.61/91.16	c (88,0) c | Propagations  |       212356619 |   14766835 |   15321812 |   60631336 |   14360803 |   14702693 |   15120074 |   63109009 |   14344057 |
665.61/91.16	c (88,0) c | ReduceDBs     |            3817 |         26 |         27 |       1794 |         26 |         26 |         27 |       1863 |         28 |
665.61/91.16	c (88,0) c | SimpDBs       |              42 |          3 |          2 |         14 |          2 |          3 |          2 |         14 |          2 |
665.61/91.16	c (88,0) c | Restarts      |           32391 |       2617 |       2317 |       9986 |       2128 |       2333 |       2177 |      10655 |        178 |
665.61/91.16	c (88,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
665.61/91.16	c (88,0) c | PropBinClauses|       366379848 |   24775373 |   25557909 |  105982325 |   24277968 |   24814003 |   25286957 |  110600471 |   25084842 |
665.61/91.16	c (88,0) c | PropPreBlocker|     35755822075 | 4481154422 | 4623358167 | 3990463337 | 4504046298 | 4494906087 | 4599313259 | 4113785412 | 4948795093 |
665.61/91.16	c (88,0) c | PropNotBlocker|      7665885466 |  985069332 |  964830586 | 1001873547 |  972969005 |  971607058 |  974596795 |  988216953 |  806722190 |
665.61/91.16	c (88,0) c | LitFullScans  |     88314972560 |11037876376 |11037324776 |11035339921 |11042134717 |11038063006 |11038430229 |11036449956 |11049353579 |
665.61/91.16	c (88,0) c | LitScanFracts |        30653595 |    3856472 |    3307363 |     987706 |    3673014 |    4049480 |    4416796 |    1020122 |    9342642 |
665.61/91.16	c (88,0) c | DecisionLevel0|           32454 |       2622 |       2319 |      10006 |       2134 |       2336 |       2185 |      10669 |        183 |
665.61/91.16	c (88,0) c | Periods       |           14713 |       1839 |       1839 |       1839 |       1839 |       1839 |       1839 |       1839 |       1840 |
665.61/91.16	c (88,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
665.61/91.16	c (88,0) c | Avg_Trail     |                 |        118 |        117 |        121 |        117 |        117 |        117 |        121 |        114 |
665.61/91.16	c (88,0) c | Avg_DL        |                 |         17 |         17 |         18 |         18 |         17 |         17 |         18 |         23 |
665.61/91.16	c (88,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
665.61/91.16	c (88,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
665.61/91.16	c (88,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.16	c (88,0) c | Exported      |         1301563 |      60910 |      67452 |     408412 |      69776 |      65996 |      71073 |     462480 |      95464 |
665.61/91.16	c (88,0) c | Imported      |         9005093 |    1226664 |    1220767 |     884590 |    1217085 |    1220831 |    1216616 |     828993 |    1189547 |
665.61/91.16	c (88,0) c | Good          |            3080 |        398 |        433 |        346 |        394 |        390 |        389 |        332 |        398 |
665.61/91.16	c (88,0) c | Purge         |         9002013 |    1226266 |    1220334 |     884244 |    1216691 |    1220441 |    1216227 |     828661 |    1189149 |
665.61/91.16	c (88,0) c | Promoted      |          485862 |      78487 |      81690 |      24243 |      75220 |      77612 |      80791 |      20920 |      46899 |
665.61/91.16	c (88,0) c | Remove_Imp    |         7791560 |    1033529 |    1062405 |     855448 |    1012478 |     999615 |    1046928 |     802572 |     978585 |
665.61/91.16	c (88,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
665.61/91.16	c (88,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.16	c (88,0) c | Unaries       |                 |          5 |          2 |         20 |          6 |          3 |          8 |         14 |          5 |
665.61/91.16	c (88,0) c | Binaries      |                 |         71 |         37 |        152 |         68 |         58 |         87 |        170 |         31 |
665.61/91.16	c (88,0) c | Glues         |                 |        108 |         84 |        207 |        102 |         99 |        136 |        213 |         83 |
665.61/91.16	c (88,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.16	c (88,0) c | Orig_Seen     |          1173 % |       1050 |       1050 |      33880 |       1050 |       1050 |       1050 |      36230 |       1050 |
665.61/91.16	c (88,0) c | Diff Orig seen|                 | -    32830 | -    32830 |      X     | -    32830 | -    32830 | -    32830 |       2350 | -    32830 |
665.61/91.16	c (88,0) c | Hamming       |            20 % |         35 |         31 |      X     |         30 |         27 |         34 |         36 |         30 |
665.61/91.16	c (88,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.16	c (88,0) c | RunningTime   |                 |   85.4  97%|   85.3  97%|   78.7  90%|   80.0  91%|   83.7  96%|   84.2  96%|   80.0  92%|   79.2  91%|
665.61/91.16	c (88,0) c | WaitingTime   |                 |    1.9   2%|    2.5   3%|    8.1   9%|    7.0   8%|    3.4   4%|    3.0   3%|    6.8   8%|    7.7   9%|
665.61/91.16	c (88,0) c | ExchangingTime|                 |    0.6   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.6   1%|
665.61/91.16	c (88,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%|
665.61/91.16	c (88,0) c | SolvingTime   |                 |   87.9     |   88.3     |   87.3     |   87.5     |   87.6     |   87.7     |   87.3     |   87.6     |
665.61/91.16	c (88,0) c | PropagationTim|                 |   81.2  92%|   81.3  92%|   64.5  74%|   80.9  92%|   80.8  92%|   80.8  92%|   63.3  73%|   80.7  92%|
665.61/91.16	c (88,0) c | AnalysisTime  |                 |    4.0   5%|    4.2   5%|   14.2  16%|    4.1   5%|    4.1   5%|    4.1   5%|   14.8  17%|    4.2   5%|
665.61/91.16	c (88,0) c | ReductionTime |                 |    1.5   2%|    1.6   2%|    5.6   6%|    1.5   2%|    1.5   2%|    1.6   2%|    5.8   7%|    1.5   2%|
665.61/91.16	c (88,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%|
665.61/91.16	c (88,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%|
665.61/91.16	c (88,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%|
665.61/91.16	c (88,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.16	c (88,0) c
665.61/91.16	c (88,0) c
665.61/91.16	c (88,0) c Threads : 8
665.61/91.16	c (88,0) c Winner : 2
665.61/91.16	c (88,0) c Conflicts_0 : 944779
665.61/91.16	c (88,0) c Conflicts_1 : 971167
665.61/91.16	c (88,0) c Conflicts_2 : 3672289
665.61/91.16	c (88,0) c Conflicts_3 : 927260
665.61/91.16	c (88,0) c Conflicts_4 : 948242
665.61/91.16	c (88,0) c Conflicts_5 : 962443
665.61/91.16	c (88,0) c Conflicts_6 : 3806362
665.61/91.16	c (88,0) c Conflicts_7 : 943031
665.61/91.16	c (88,0) c Conflicts_total : 13175573
665.61/91.16	c (88,0) c Conflicts_winner : 3672289
665.61/91.16	c (88,0) c Decisions_0 : 1215086
665.61/91.16	c (88,0) c Decisions_1 : 1232876
665.61/91.16	c (88,0) c Decisions_2 : 4752963
665.61/91.16	c (88,0) c Decisions_3 : 1177108
665.61/91.16	c (88,0) c Decisions_4 : 1205546
665.61/91.16	c (88,0) c Decisions_5 : 1217769
665.61/91.16	c (88,0) c Decisions_6 : 4924449
665.61/91.16	c (88,0) c Decisions_7 : 1114068
665.61/91.16	c (88,0) c Decisions_total : 16839865
665.61/91.16	c (88,0) c Decisions_winner : 4752963
665.61/91.16	c (88,0) c Propagations_0 : 14766835
665.61/91.16	c (88,0) c Propagations_1 : 15321812
665.61/91.16	c (88,0) c Propagations_2 : 60631336
665.61/91.16	c (88,0) c Propagations_3 : 14360803
665.61/91.16	c (88,0) c Propagations_4 : 14702693
665.61/91.16	c (88,0) c Propagations_5 : 15120074
665.61/91.16	c (88,0) c Propagations_6 : 63109009
665.61/91.16	c (88,0) c Propagations_7 : 14344057
665.61/91.16	c (88,0) c Propagations_total : 212356619
665.61/91.16	c (88,0) c Propagations_winner : 60631336
665.61/91.16	c (88,0) c ReduceDBs_0 : 26
665.61/91.16	c (88,0) c ReduceDBs_1 : 27
665.61/91.16	c (88,0) c ReduceDBs_2 : 1794
665.61/91.16	c (88,0) c ReduceDBs_3 : 26
665.61/91.16	c (88,0) c ReduceDBs_4 : 26
665.61/91.16	c (88,0) c ReduceDBs_5 : 27
665.61/91.16	c (88,0) c ReduceDBs_6 : 1863
665.61/91.16	c (88,0) c ReduceDBs_7 : 28
665.61/91.16	c (88,0) c ReduceDBs_total : 3817
665.61/91.16	c (88,0) c ReduceDBs_winner : 1794
665.61/91.16	c (88,0) c SimpDBs_0 : 3
665.61/91.16	c (88,0) c SimpDBs_1 : 2
665.61/91.16	c (88,0) c SimpDBs_2 : 14
665.61/91.16	c (88,0) c SimpDBs_3 : 2
665.61/91.16	c (88,0) c SimpDBs_4 : 3
665.61/91.16	c (88,0) c SimpDBs_5 : 2
665.61/91.16	c (88,0) c SimpDBs_6 : 14
665.61/91.16	c (88,0) c SimpDBs_7 : 2
665.61/91.16	c (88,0) c SimpDBs_total : 42
665.61/91.16	c (88,0) c SimpDBs_winner : 14
665.61/91.16	c (88,0) c Restarts_0 : 2617
665.61/91.16	c (88,0) c Restarts_1 : 2317
665.61/91.16	c (88,0) c Restarts_2 : 9986
665.61/91.16	c (88,0) c Restarts_3 : 2128
665.61/91.16	c (88,0) c Restarts_4 : 2333
665.61/91.16	c (88,0) c Restarts_5 : 2177
665.61/91.16	c (88,0) c Restarts_6 : 10655
665.61/91.16	c (88,0) c Restarts_7 : 178
665.61/91.16	c (88,0) c Restarts_total : 32391
665.61/91.16	c (88,0) c Restarts_winner : 9986
665.61/91.16	c (88,0) c ForcedImports_0 : 0
665.61/91.16	c (88,0) c ForcedImports_1 : 0
665.61/91.16	c (88,0) c ForcedImports_2 : 0
665.61/91.16	c (88,0) c ForcedImports_3 : 0
665.61/91.16	c (88,0) c ForcedImports_4 : 0
665.61/91.16	c (88,0) c ForcedImports_5 : 0
665.61/91.16	c (88,0) c ForcedImports_6 : 0
665.61/91.16	c (88,0) c ForcedImports_7 : 0
665.61/91.16	c (88,0) c ForcedImports_total : 0
665.61/91.16	c (88,0) c ForcedImports_winner : 0
665.61/91.16	c (88,0) c PropsBinClauses_0 : 24775373
665.61/91.16	c (88,0) c PropsBinClauses_1 : 25557909
665.61/91.16	c (88,0) c PropsBinClauses_2 : 105982325
665.61/91.16	c (88,0) c PropsBinClauses_3 : 24277968
665.61/91.16	c (88,0) c PropsBinClauses_4 : 24814003
665.61/91.16	c (88,0) c PropsBinClauses_5 : 25286957
665.61/91.16	c (88,0) c PropsBinClauses_6 : 110600471
665.61/91.16	c (88,0) c PropsBinClauses_7 : 25084842
665.61/91.16	c (88,0) c PropsBinClauses_total : 366379848
665.61/91.16	c (88,0) c PropsBinClauses_winner : 105982325
665.61/91.16	c (88,0) c PropsPreBlocker_0 : 4481154422
665.61/91.16	c (88,0) c PropsPreBlocker_1 : 4623358167
665.61/91.16	c (88,0) c PropsPreBlocker_2 : 3990463337
665.61/91.16	c (88,0) c PropsPreBlocker_3 : 4504046298
665.61/91.16	c (88,0) c PropsPreBlocker_4 : 4494906087
665.61/91.16	c (88,0) c PropsPreBlocker_5 : 4599313259
665.61/91.16	c (88,0) c PropsPreBlocker_6 : 4113785412
665.61/91.16	c (88,0) c PropsPreBlocker_7 : 4948795093
665.61/91.16	c (88,0) c PropsPreBlocker_total : 35755822075
665.61/91.16	c (88,0) c PropsPreBlocker_winner : 3990463337
665.61/91.16	c (88,0) c PropsNotBlocker_0 : 985069332
665.61/91.16	c (88,0) c PropsNotBlocker_1 : 964830586
665.61/91.16	c (88,0) c PropsNotBlocker_2 : 1001873547
665.61/91.16	c (88,0) c PropsNotBlocker_3 : 972969005
665.61/91.16	c (88,0) c PropsNotBlocker_4 : 971607058
665.61/91.16	c (88,0) c PropsNotBlocker_5 : 974596795
665.61/91.16	c (88,0) c PropsNotBlocker_6 : 988216953
665.61/91.16	c (88,0) c PropsNotBlocker_7 : 806722190
665.61/91.16	c (88,0) c PropsNotBlocker_total : 7665885466
665.61/91.16	c (88,0) c PropsNotBlocker_winner : 1001873547
665.61/91.16	c (88,0) c PropsLitFullScans_0 : 11037876376
665.61/91.16	c (88,0) c PropsLitFullScans_1 : 11037324776
665.61/91.16	c (88,0) c PropsLitFullScans_2 : 11035339921
665.61/91.16	c (88,0) c PropsLitFullScans_3 : 11042134717
665.61/91.16	c (88,0) c PropsLitFullScans_4 : 11038063006
665.61/91.16	c (88,0) c PropsLitFullScans_5 : 11038430229
665.61/91.16	c (88,0) c PropsLitFullScans_6 : 11036449956
665.61/91.16	c (88,0) c PropsLitFullScans_7 : 11049353579
665.61/91.16	c (88,0) c PropsLitFullScans_total : 88314972560
665.61/91.16	c (88,0) c PropsLitFullScans_winner : 11035339921
665.61/91.16	c (88,0) c LitScanFractions_0 : 3856472
665.61/91.16	c (88,0) c LitScanFractions_1 : 3307363
665.61/91.16	c (88,0) c LitScanFractions_2 : 987706
665.61/91.16	c (88,0) c LitScanFractions_3 : 3673014
665.61/91.16	c (88,0) c LitScanFractions_4 : 4049480
665.61/91.16	c (88,0) c LitScanFractions_5 : 4416796
665.61/91.16	c (88,0) c LitScanFractions_6 : 1020122
665.61/91.16	c (88,0) c LitScanFractions_7 : 9342642
665.61/91.16	c (88,0) c LitScanFractions_total : 30653595
665.61/91.16	c (88,0) c LitScanFractions_winner : 987706
665.61/91.16	c (88,0) c DecisionLevel0_0 : 2622
665.61/91.16	c (88,0) c DecisionLevel0_1 : 2319
665.61/91.16	c (88,0) c DecisionLevel0_2 : 10006
665.61/91.16	c (88,0) c DecisionLevel0_3 : 2134
665.61/91.16	c (88,0) c DecisionLevel0_4 : 2336
665.61/91.16	c (88,0) c DecisionLevel0_5 : 2185
665.61/91.16	c (88,0) c DecisionLevel0_6 : 10669
665.61/91.16	c (88,0) c DecisionLevel0_7 : 183
665.61/91.16	c (88,0) c DecisionLevel0_total : 32454
665.61/91.16	c (88,0) c DecisionLevel0_winner : 10006
665.61/91.16	c (88,0) c Periods_0 : 1839
665.61/91.16	c (88,0) c Periods_1 : 1839
665.61/91.16	c (88,0) c Periods_2 : 1839
665.61/91.16	c (88,0) c Periods_3 : 1839
665.61/91.16	c (88,0) c Periods_4 : 1839
665.61/91.16	c (88,0) c Periods_5 : 1839
665.61/91.16	c (88,0) c Periods_6 : 1839
665.61/91.16	c (88,0) c Periods_7 : 1840
665.61/91.16	c (88,0) c Periods_total : 14713
665.61/91.16	c (88,0) c Periods_winner : 1839
665.61/91.16	c (88,0) c Margin_0 : 20
665.61/91.16	c (88,0) c Margin_1 : 20
665.61/91.16	c (88,0) c Margin_2 : 20
665.61/91.16	c (88,0) c Margin_3 : 20
665.61/91.16	c (88,0) c Margin_4 : 20
665.61/91.16	c (88,0) c Margin_5 : 20
665.61/91.16	c (88,0) c Margin_6 : 20
665.61/91.16	c (88,0) c Margin_7 : 20
665.61/91.16	c (88,0) c Margin_total : 160
665.61/91.17	c (88,0) c Margin_winner : 20
665.61/91.17	c (88,0) c Exported_0 : 60910
665.61/91.17	c (88,0) c Exported_1 : 67452
665.61/91.17	c (88,0) c Exported_2 : 408412
665.61/91.17	c (88,0) c Exported_3 : 69776
665.61/91.17	c (88,0) c Exported_4 : 65996
665.61/91.17	c (88,0) c Exported_5 : 71073
665.61/91.17	c (88,0) c Exported_6 : 462480
665.61/91.17	c (88,0) c Exported_7 : 95464
665.61/91.17	c (88,0) c Exported_total : 1301563
665.61/91.17	c (88,0) c Exported_winner : 408412
665.61/91.17	c (88,0) c Imported_0 : 1226664
665.61/91.17	c (88,0) c Imported_1 : 1220767
665.61/91.17	c (88,0) c Imported_2 : 884590
665.61/91.17	c (88,0) c Imported_3 : 1217085
665.61/91.17	c (88,0) c Imported_4 : 1220831
665.61/91.17	c (88,0) c Imported_5 : 1216616
665.61/91.17	c (88,0) c Imported_6 : 828993
665.61/91.17	c (88,0) c Imported_7 : 1189547
665.61/91.17	c (88,0) c Imported_total : 9005093
665.61/91.17	c (88,0) c Imported_winner : 884590
665.61/91.17	c (88,0) c Good_0 : 398
665.61/91.17	c (88,0) c Good_1 : 433
665.61/91.17	c (88,0) c Good_2 : 346
665.61/91.17	c (88,0) c Good_3 : 394
665.61/91.17	c (88,0) c Good_4 : 390
665.61/91.17	c (88,0) c Good_5 : 389
665.61/91.17	c (88,0) c Good_6 : 332
665.61/91.17	c (88,0) c Good_7 : 398
665.61/91.17	c (88,0) c Good_total : 3080
665.61/91.17	c (88,0) c Good_winner : 346
665.61/91.17	c (88,0) c Purge_0 : 1226266
665.61/91.17	c (88,0) c Purge_1 : 1220334
665.61/91.17	c (88,0) c Purge_2 : 884244
665.61/91.17	c (88,0) c Purge_3 : 1216691
665.61/91.17	c (88,0) c Purge_4 : 1220441
665.61/91.17	c (88,0) c Purge_5 : 1216227
665.61/91.17	c (88,0) c Purge_6 : 828661
665.61/91.17	c (88,0) c Purge_7 : 1189149
665.61/91.17	c (88,0) c Purge_total : 9002013
665.61/91.17	c (88,0) c Purge_winner : 884244
665.61/91.17	c (88,0) c Promoted_0 : 78487
665.61/91.17	c (88,0) c Promoted_1 : 81690
665.61/91.17	c (88,0) c Promoted_2 : 24243
665.61/91.17	c (88,0) c Promoted_3 : 75220
665.61/91.17	c (88,0) c Promoted_4 : 77612
665.61/91.17	c (88,0) c Promoted_5 : 80791
665.61/91.17	c (88,0) c Promoted_6 : 20920
665.61/91.17	c (88,0) c Promoted_7 : 46899
665.61/91.17	c (88,0) c Promoted_total : 485862
665.61/91.17	c (88,0) c Promoted_winner : 24243
665.61/91.17	c (88,0) c Remove_Imp_0 : 1033529
665.61/91.17	c (88,0) c Remove_Imp_1 : 1062405
665.61/91.17	c (88,0) c Remove_Imp_2 : 855448
665.61/91.17	c (88,0) c Remove_Imp_3 : 1012478
665.61/91.17	c (88,0) c Remove_Imp_4 : 999615
665.61/91.17	c (88,0) c Remove_Imp_5 : 1046928
665.61/91.17	c (88,0) c Remove_Imp_6 : 802572
665.61/91.17	c (88,0) c Remove_Imp_7 : 978585
665.61/91.17	c (88,0) c Remove_Imp_total : 7791560
665.61/91.17	c (88,0) c Remove_Imp_winner : 855448
665.61/91.17	c (88,0) c Blocked_Reuse_0 : 0
665.61/91.17	c (88,0) c Blocked_Reuse_1 : 0
665.61/91.17	c (88,0) c Blocked_Reuse_2 : 0
665.61/91.17	c (88,0) c Blocked_Reuse_3 : 0
665.61/91.17	c (88,0) c Blocked_Reuse_4 : 0
665.61/91.17	c (88,0) c Blocked_Reuse_5 : 0
665.61/91.17	c (88,0) c Blocked_Reuse_6 : 0
665.61/91.17	c (88,0) c Blocked_Reuse_7 : 0
665.61/91.17	c (88,0) c Blocked_Reuse_total : 0
665.61/91.17	c (88,0) c Blocked_Reuse_winner : 0
665.61/91.17	c (88,0) c Unaries_0 : 5
665.61/91.17	c (88,0) c Unaries_1 : 2
665.61/91.17	c (88,0) c Unaries_2 : 20
665.61/91.17	c (88,0) c Unaries_3 : 6
665.61/91.17	c (88,0) c Unaries_4 : 3
665.61/91.17	c (88,0) c Unaries_5 : 8
665.61/91.17	c (88,0) c Unaries_6 : 14
665.61/91.17	c (88,0) c Unaries_7 : 5
665.61/91.17	c (88,0) c Unaries_total : 63
665.61/91.17	c (88,0) c Unaries_winner : 20
665.61/91.17	c (88,0) c Binaries_0 : 71
665.61/91.17	c (88,0) c Binaries_1 : 37
665.61/91.17	c (88,0) c Binaries_2 : 152
665.61/91.17	c (88,0) c Binaries_3 : 68
665.61/91.17	c (88,0) c Binaries_4 : 58
665.61/91.17	c (88,0) c Binaries_5 : 87
665.61/91.17	c (88,0) c Binaries_6 : 170
665.61/91.17	c (88,0) c Binaries_7 : 31
665.61/91.17	c (88,0) c Binaries_total : 674
665.61/91.17	c (88,0) c Binaries_winner : 152
665.61/91.17	c (88,0) c Glues_0 : 108
665.61/91.17	c (88,0) c Glues_1 : 84
665.61/91.17	c (88,0) c Glues_2 : 207
665.61/91.17	c (88,0) c Glues_3 : 102
665.61/91.17	c (88,0) c Glues_4 : 99
665.61/91.17	c (88,0) c Glues_5 : 136
665.61/91.17	c (88,0) c Glues_6 : 213
665.61/91.17	c (88,0) c Glues_7 : 83
665.61/91.17	c (88,0) c Glues_total : 1032
665.61/91.17	c (88,0) c Glues_winner : 207
665.61/91.17	c (88,0) c RunningTime_0 : 85.369903
665.61/91.17	c (88,0) c RunningTime_1 : 85.281529
665.61/91.17	c (88,0) c RunningTime_2 : 78.713350
665.61/91.17	c (88,0) c RunningTime_3 : 80.007020
665.61/91.17	c (88,0) c RunningTime_4 : 83.717853
665.61/91.17	c (88,0) c RunningTime_5 : 84.204425
665.61/91.17	c (88,0) c RunningTime_6 : 79.987465
665.61/91.17	c (88,0) c RunningTime_7 : 79.248351
665.61/91.17	c (88,0) c RunningTime_total : 656.529896
665.61/91.17	c (88,0) c RunningTime_winner : 78.713350
665.61/91.17	c (88,0) c WaitingTime_0 : 1.931860
665.61/91.17	c (88,0) c WaitingTime_1 : 2.526434
665.61/91.17	c (88,0) c WaitingTime_2 : 8.059929
665.61/91.17	c (88,0) c WaitingTime_3 : 7.022324
665.61/91.17	c (88,0) c WaitingTime_4 : 3.402135
665.61/91.17	c (88,0) c WaitingTime_5 : 3.003236
665.61/91.17	c (88,0) c WaitingTime_6 : 6.781884
665.61/91.17	c (88,0) c WaitingTime_7 : 7.672317
665.61/91.17	c (88,0) c WaitingTime_total : 40.400119
665.61/91.17	c (88,0) c WaitingTime_winner : 8.059929
665.61/91.17	c (88,0) c ExchangingTime_0 : 0.560593
665.61/91.17	c (88,0) c ExchangingTime_1 : 0.514558
665.61/91.17	c (88,0) c ExchangingTime_2 : 0.490724
665.61/91.17	c (88,0) c ExchangingTime_3 : 0.504647
665.61/91.17	c (88,0) c ExchangingTime_4 : 0.508284
665.61/91.17	c (88,0) c ExchangingTime_5 : 0.523289
665.61/91.17	c (88,0) c ExchangingTime_6 : 0.486897
665.61/91.17	c (88,0) c ExchangingTime_7 : 0.626659
665.61/91.17	c (88,0) c ExchangingTime_total : 4.215651
665.61/91.17	c (88,0) c ExchangingTime_winner : 0.490724
665.61/91.17	c (88,0) c PeriodProcTime_0 : 0.016803
665.61/91.17	c (88,0) c PeriodProcTime_1 : 0.016278
665.61/91.17	c (88,0) c PeriodProcTime_2 : 0.012990
665.61/91.17	c (88,0) c PeriodProcTime_3 : 0.013149
665.61/91.17	c (88,0) c PeriodProcTime_4 : 0.011297
665.61/91.17	c (88,0) c PeriodProcTime_5 : 0.011412
665.61/91.17	c (88,0) c PeriodProcTime_6 : 0.012589
665.61/91.17	c (88,0) c PeriodProcTime_7 : 0.014398
665.61/91.17	c (88,0) c PeriodProcTime_total : 0.108914
665.61/91.17	c (88,0) c PeriodProcTime_winner : 0.012990
665.61/91.17	c (88,0) c SolvingTime_0 : 87.879158
665.61/91.17	c (88,0) c SolvingTime_1 : 88.338799
665.61/91.17	c (88,0) c SolvingTime_2 : 87.276992
665.61/91.17	c (88,0) c SolvingTime_3 : 87.547140
665.61/91.17	c (88,0) c SolvingTime_4 : 87.639568
665.61/91.17	c (88,0) c SolvingTime_5 : 87.742361
665.61/91.17	c (88,0) c SolvingTime_6 : 87.268836
665.61/91.17	c (88,0) c SolvingTime_7 : 87.561726
665.61/91.17	c (88,0) c SolvingTime_total : 701.254580
665.61/91.17	c (88,0) c SolvingTime_winner : 87.276992
665.61/91.17	c (88,0) c PropagationTime_0 : 81.231624
665.61/91.17	c (88,0) c PropagationTime_1 : 81.297330
665.61/91.17	c (88,0) c PropagationTime_2 : 64.494196
665.61/91.17	c (88,0) c PropagationTime_3 : 80.910842
665.61/91.17	c (88,0) c PropagationTime_4 : 80.817966
665.61/91.17	c (88,0) c PropagationTime_5 : 80.781814
665.61/91.17	c (88,0) c PropagationTime_6 : 63.295452
665.61/91.17	c (88,0) c PropagationTime_7 : 80.670035
665.61/91.17	c (88,0) c PropagationTime_total : 613.499258
665.61/91.17	c (88,0) c PropagationTime_winner : 64.494196
665.61/91.17	c (88,0) c AnalysisTime_0 : 4.016634
665.61/91.17	c (88,0) c AnalysisTime_1 : 4.195005
665.61/91.17	c (88,0) c AnalysisTime_2 : 14.220551
665.61/91.17	c (88,0) c AnalysisTime_3 : 4.068580
665.61/91.17	c (88,0) c AnalysisTime_4 : 4.098377
665.61/91.17	c (88,0) c AnalysisTime_5 : 4.104487
665.61/91.17	c (88,0) c AnalysisTime_6 : 14.793362
665.61/91.17	c (88,0) c AnalysisTime_7 : 4.227107
665.61/91.18	c (88,0) c AnalysisTime_total : 53.724103
665.61/91.18	c (88,0) c AnalysisTime_winner : 14.220551
665.61/91.18	c (88,0) c ReductionTime_0 : 1.492115
665.61/91.18	c (88,0) c ReductionTime_1 : 1.622795
665.61/91.18	c (88,0) c ReductionTime_2 : 5.608294
665.61/91.18	c (88,0) c ReductionTime_3 : 1.491882
665.61/91.18	c (88,0) c ReductionTime_4 : 1.547765
665.61/91.18	c (88,0) c ReductionTime_5 : 1.644037
665.61/91.18	c (88,0) c ReductionTime_6 : 5.813286
665.61/91.18	c (88,0) c ReductionTime_7 : 1.492735
665.61/91.18	c (88,0) c ReductionTime_total : 20.712909
665.61/91.18	c (88,0) c ReductionTime_winner : 5.608294
665.61/91.18	c (88,0) c SimplifyTime_0 : 0.048738
665.61/91.18	c (88,0) c SimplifyTime_1 : 0.019479
665.61/91.18	c (88,0) c SimplifyTime_2 : 0.047528
665.61/91.18	c (88,0) c SimplifyTime_3 : 0.024219
665.61/91.18	c (88,0) c SimplifyTime_4 : 0.036461
665.61/91.18	c (88,0) c SimplifyTime_5 : 0.020576
665.61/91.18	c (88,0) c SimplifyTime_6 : 0.046450
665.61/91.18	c (88,0) c SimplifyTime_7 : 0.019047
665.61/91.18	c (88,0) c SimplifyTime_total : 0.262497
665.61/91.18	c (88,0) c SimplifyTime_winner : 0.047528
665.61/91.18	c (88,0) c UsedRateTime_0 : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_1 : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_2 : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_3 : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_4 : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_5 : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_6 : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_7 : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_total : 0.000000
665.61/91.18	c (88,0) c UsedRateTime_winner : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_0 : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_1 : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_2 : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_3 : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_4 : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_5 : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_6 : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_7 : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_total : 0.000000
665.61/91.18	c (88,0) c OverlapRateTime_winner : 0.000000
665.61/91.18	c (88,0) c
665.61/91.18	c (88,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
665.61/91.18	c (88,0) c
665.61/91.18	c (88,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.18	c (88,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
665.61/91.18	c (88,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.18	c (88,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
665.61/91.18	c (88,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
665.61/91.18	c (88,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
665.61/91.18	c (88,0) c | Initial random_seed   |  620336936 |  500755773 |   97738956 | 1393347422 | 1631311063 |  336763064 |  551276616 | 2063284037 |
665.61/91.18	c (88,0) c | chanseokStrategy      |      False |      False |       True |      False |      False |      False |       True |      False |
665.61/91.18	c (88,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          5 |          5 |          4 |          5 |
665.61/91.18	c (88,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
665.61/91.18	c (88,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
665.61/91.18	c (88,0) c | incReduceDB           |        300 |        300 |          0 |        300 |        300 |        300 |          0 |        300 |
665.61/91.18	c (88,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
665.61/91.18	c (88,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
665.61/91.18	c (88,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
665.61/91.18	c (88,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
665.61/91.18	c (88,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
665.61/91.18	c (88,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
665.61/91.18	c (88,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
665.61/91.18	c (88,0) 
665.61/91.18	c (88,0) s UNSATISFIABLE
665.61/91.19	c (88,0) SatSolver.solve End
665.61/91.19	c (88,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
665.61/91.19	c (88,0) Show results Begin
665.61/91.19	s UNSATISFIABLE
665.61/91.19	c (88,0) Show results End
665.61/91.19	c (88,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
665.61/91.19	c (88,0) 88,88,STOP-AFTER(ALL)
665.61/91.19	c END-Prog: Sat Sep 14 07:28:34 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 (14852 MiB free)
  memory of node 1: 16384 MiB (15033 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392492-1568438865/watcher-4392492-1568438865 -o /tmp/evaluation-result-4392492-1568438865/solver-4392492-1568438865 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --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-4392492-1568438865.xml 

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

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

solver pid=32663, runsolver pid=32660

[startup+0.10016 s]*
/proc/loadavg: 6.06 7.55 7.82 4/211 32685
/proc/meminfo: memFree=30510112/32770624 swapFree=66927260/67108860
[pid=32663] ppid=32660 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32663/stat : 32663 (scop.sh) S 32660 32663 31706 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420133827 115843072 348 33554432000 4194304 5098028 140725064453648 140725064450904 139906415800956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34287616 140725064454949 140725064455276 140725064455276 140725064458189 0
/proc/32663/statm: 28282 348 296 221 0 87 0
[pid=32666] ppid=32663 vsize=27314120 memory=104932 CPUtime=0.11 cores=0-7
/proc/32666/stat : 32666 (java) S 32663 32663 31706 0 -1 1077944320 6840 0 0 0 9 2 0 0 20 0 20 0 420133827 27969658880 26233 33554432000 4194304 4196468 140727047187344 140727047169888 139860443246327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
/proc/32666/statm: 6828530 26233 2798 1 0 6790935 0
[pid=32666/tid=32667] ppid=32663 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32666/task/32667/stat : 32667 (java) R 32663 32663 31706 0 -1 4202560 4927 0 0 0 7 1 0 0 20 0 20 0 420133827 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860415050528 139859922655720 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32668] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32668/stat : 32668 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860447488912 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32669] ppid=32663 vsize=27314120 memory=139639157548672 CPUtime=0 cores=0-7
/proc/32666/task/32669/stat : 32669 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860261645072 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32670] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32670/stat : 32670 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860260592784 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32671] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32671/stat : 32671 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860259539984 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32672] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32672/stat : 32672 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860258486672 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32673] ppid=32663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32666/task/32673/stat : 32673 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860257433872 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32674] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32674/stat : 32674 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860256381584 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32675] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32675/stat : 32675 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 26233 33554432000 4194304 4196468 140727047187344 139860255328784 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32676] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32676/stat : 32676 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133831 27969658880 26233 33554432000 4194304 4196468 140727047187344 139858896996976 139860443257474 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32677] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32677/stat : 32677 (java) S 32663 32663 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420133832 27969658880 26233 33554432000 4194304 4196468 140727047187344 139858093794592 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32678] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32678/stat : 32678 (java) S 32663 32663 31706 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420133832 27969658880 26233 33554432000 4194304 4196468 140727047187344 139857959573104 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32679] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32679/stat : 32679 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 26233 33554432000 4194304 4196468 140727047187344 139857585068624 139860443264923 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32680] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32680/stat : 32680 (java) S 32663 32663 31706 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 26233 33554432000 4194304 4196468 140727047187344 139858895943792 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32681] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32681/stat : 32681 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 26233 33554432000 4194304 4196468 140727047187344 139858894890992 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32682] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32682/stat : 32682 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 26233 33554432000 4194304 4196468 140727047187344 139858893838704 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32683] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32683/stat : 32683 (java) S 32663 32663 31706 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 26233 33554432000 4194304 4196468 140727047187344 139858892785904 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32684] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32684/stat : 32684 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133835 27969658880 26233 33554432000 4194304 4196468 140727047187344 139857087163232 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32685] ppid=32663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32666/task/32685/stat : 32685 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133835 27969658880 26233 33554432000 4194304 4196468 140727047187344 139858891733808 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106324 KiB

[startup+0.210112 s]*
/proc/loadavg: 6.06 7.55 7.82 3/211 32685
/proc/meminfo: memFree=30488896/32770624 swapFree=66927260/67108860
[pid=32663] ppid=32660 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32663/stat : 32663 (scop.sh) S 32660 32663 31706 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420133827 115843072 348 33554432000 4194304 5098028 140725064453648 140725064450904 139906415800956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34287616 140725064454949 140725064455276 140725064455276 140725064458189 0
/proc/32663/statm: 28282 348 296 221 0 87 0
[pid=32666] ppid=32663 vsize=27314120 memory=123972 CPUtime=0.25 cores=0-7
/proc/32666/stat : 32666 (java) S 32663 32663 31706 0 -1 1077944320 12323 0 0 0 21 4 0 0 20 0 20 0 420133827 27969658880 30993 33554432000 4194304 4196468 140727047187344 140727047169888 139860443246327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
/proc/32666/statm: 6828530 30993 2935 1 0 6790935 0
[pid=32666/tid=32667] ppid=32663 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32666/task/32667/stat : 32667 (java) R 32663 32663 31706 0 -1 4202560 10028 0 0 0 17 3 0 0 20 0 20 0 420133827 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860415067248 139860423521707 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32668] ppid=32663 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/32666/task/32668/stat : 32668 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860447488912 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32669] ppid=32663 vsize=27314120 memory=139639157578390 CPUtime=0 cores=0-7
/proc/32666/task/32669/stat : 32669 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860261645072 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32670] ppid=32663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32666/task/32670/stat : 32670 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860260592784 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32671] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32671/stat : 32671 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860259539984 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32672] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32672/stat : 32672 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860258486672 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32673] ppid=32663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32666/task/32673/stat : 32673 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860257433872 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32674] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32674/stat : 32674 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860256381584 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32675] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32675/stat : 32675 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 30993 33554432000 4194304 4196468 140727047187344 139860255328784 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32676] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32676/stat : 32676 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133831 27969658880 30993 33554432000 4194304 4196468 140727047187344 139858896996976 139860443257474 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32677] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32677/stat : 32677 (java) S 32663 32663 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420133832 27969658880 30993 33554432000 4194304 4196468 140727047187344 139858093794592 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32678] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32678/stat : 32678 (java) S 32663 32663 31706 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420133832 27969658880 30993 33554432000 4194304 4196468 140727047187344 139857959573104 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32679] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32679/stat : 32679 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 30993 33554432000 4194304 4196468 140727047187344 139857585068624 139860443264923 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32680] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32680/stat : 32680 (java) S 32663 32663 31706 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 30993 33554432000 4194304 4196468 140727047187344 139858895943792 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32681] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32681/stat : 32681 (java) S 32663 32663 31706 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 30993 33554432000 4194304 4196468 140727047187344 139858894890992 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32682] ppid=32663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32666/task/32682/stat : 32682 (java) S 32663 32663 31706 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 30993 33554432000 4194304 4196468 140727047187344 139858893838704 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32683] ppid=32663 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32666/task/32683/stat : 32683 (java) S 32663 32663 31706 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 20 0 420133834 27969658880 30993 33554432000 4194304 4196468 140727047187344 139858892785904 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32684] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32684/stat : 32684 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133835 27969658880 30993 33554432000 4194304 4196468 140727047187344 139857087163232 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32685] ppid=32663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32666/task/32685/stat : 32685 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133835 27969658880 30993 33554432000 4194304 4196468 140727047187344 139858891733808 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125364 KiB

[startup+0.309492 s]*
/proc/loadavg: 6.06 7.55 7.82 3/211 32685
/proc/meminfo: memFree=30485856/32770624 swapFree=66927260/67108860
[pid=32663] ppid=32660 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32663/stat : 32663 (scop.sh) S 32660 32663 31706 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420133827 115843072 348 33554432000 4194304 5098028 140725064453648 140725064450904 139906415800956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34287616 140725064454949 140725064455276 140725064455276 140725064458189 0
/proc/32663/statm: 28282 348 296 221 0 87 0
[pid=32666] ppid=32663 vsize=27314120 memory=127680 CPUtime=0.42 cores=0-7
/proc/32666/stat : 32666 (java) S 32663 32663 31706 0 -1 1077944320 13300 0 0 0 38 4 0 0 20 0 20 0 420133827 27969658880 31920 33554432000 4194304 4196468 140727047187344 140727047169888 139860443246327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
/proc/32666/statm: 6828530 31920 3029 1 0 6790935 0
[pid=32666/tid=32667] ppid=32663 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32666/task/32667/stat : 32667 (java) R 32663 32663 31706 0 -1 4202560 10835 0 0 0 26 3 0 0 20 0 20 0 420133827 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860415076400 139860424809856 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32668] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32668/stat : 32668 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860447488912 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32669] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32669/stat : 32669 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860261645072 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32670] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32670/stat : 32670 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860260592784 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32671] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32671/stat : 32671 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860259539984 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32672] ppid=32663 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32666/task/32672/stat : 32672 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860258486672 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32673] ppid=32663 vsize=27314120 memory=139639050564527 CPUtime=0 cores=0-7
/proc/32666/task/32673/stat : 32673 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860257433872 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32674] ppid=32663 vsize=27314120 memory=139639050566832 CPUtime=0 cores=0-7
/proc/32666/task/32674/stat : 32674 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860256381584 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32675] ppid=32663 vsize=27314120 memory=139639050569136 CPUtime=0 cores=0-7
/proc/32666/task/32675/stat : 32675 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133830 27969658880 31920 33554432000 4194304 4196468 140727047187344 139860255328784 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32676] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32676/stat : 32676 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133831 27969658880 31920 33554432000 4194304 4196468 140727047187344 139858896996976 139860443257474 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32677] ppid=32663 vsize=27314120 memory=279278101145232 CPUtime=0 cores=0-7
/proc/32666/task/32677/stat : 32677 (java) S 32663 32663 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420133832 27969658880 31920 33554432000 4194304 4196468 140727047187344 139858093794592 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32678] ppid=32663 vsize=27314120 memory=279278101152144 CPUtime=0 cores=0-7
/proc/32666/task/32678/stat : 32678 (java) S 32663 32663 31706 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420133832 27969658880 31920 33554432000 4194304 4196468 140727047187344 139857959573104 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32679] ppid=32663 vsize=27314120 memory=279278101093424 CPUtime=0 cores=0-7
/proc/32666/task/32679/stat : 32679 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 31920 33554432000 4194304 4196468 140727047187344 139857585068624 139860443264923 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32680] ppid=32663 vsize=27314120 memory=279278101165968 CPUtime=0 cores=0-7
/proc/32666/task/32680/stat : 32680 (java) S 32663 32663 31706 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 420133834 27969658880 31920 33554432000 4194304 4196468 140727047187344 139858895943792 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32681] ppid=32663 vsize=27314120 memory=279278101172880 CPUtime=0.01 cores=0-7
/proc/32666/task/32681/stat : 32681 (java) S 32663 32663 31706 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 20 0 420133834 27969658880 31920 33554432000 4194304 4196468 140727047187344 139858894890992 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32682] ppid=32663 vsize=27314120 memory=279278101170576 CPUtime=0.01 cores=0-7
/proc/32666/task/32682/stat : 32682 (java) S 32663 32663 31706 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 420133834 27969658880 31920 33554432000 4194304 4196468 140727047187344 139858893838704 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32683] ppid=32663 vsize=27314120 memory=279278101186736 CPUtime=0.07 cores=0-7
/proc/32666/task/32683/stat : 32683 (java) S 32663 32663 31706 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 20 0 420133834 27969658880 31920 33554432000 4194304 4196468 140727047187344 139858892785904 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32684] ppid=32663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32684/stat : 32684 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133835 27969658880 31920 33554432000 4194304 4196468 140727047187344 139857087163232 139860443256533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32685] ppid=32663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32666/task/32685/stat : 32685 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133835 27969658880 31920 33554432000 4194304 4196468 140727047187344 139858891733808 139860443257474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129072 KiB

[startup+0.70089 s]
/proc/loadavg: 6.06 7.55 7.82 2/211 32685
/proc/meminfo: memFree=30464576/32770624 swapFree=66927260/67108860
[pid=32663] ppid=32660 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32663/stat : 32663 (scop.sh) S 32660 32663 31706 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420133827 115843072 348 33554432000 4194304 5098028 140725064453648 140725064450904 139906415800956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34287616 140725064454949 140725064455276 140725064455276 140725064458189 0
/proc/32663/statm: 28282 348 296 221 0 87 0
[pid=32666] ppid=32663 vsize=27320392 memory=163128 CPUtime=0.98 cores=0-7
/proc/32666/stat : 32666 (java) S 32663 32663 31706 0 -1 1077944320 20435 0 0 0 91 7 0 0 20 0 20 0 420133827 27976081408 40782 33554432000 4194304 4196468 140727047187344 140727047169888 139860443246327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
/proc/32666/statm: 6830098 40782 3182 1 0 6791447 0
[pid=32666/tid=32667] ppid=32663 vsize=27320392 memory=279278101544624 CPUtime=0.68 cores=0-7
/proc/32666/task/32667/stat : 32667 (java) R 32663 32663 31706 0 -1 4202560 17402 0 0 0 62 6 0 0 20 0 20 0 420133827 27976081408 40782 33554432000 4194304 4196468 140727047187344 139860415085088 139860443258262 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32668] ppid=32663 vsize=27320392 memory=139639050773360 CPUtime=0 cores=0-7
/proc/32666/task/32668/stat : 32668 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133830 27976081408 40782 33554432000 4194304 4196468 140727047187344 139860447488912 139860443256533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32669] ppid=32663 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/32666/task/32669/stat : 32669 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133830 27976081408 40782 33554432000 4194304 4196468 140727047187344 139860261645072 139860443256533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0
[pid=32666/tid=32670] ppid=32663 vsize=27320392 memory=1124 CPUtime=0 cores=0-7
/proc/32666/task/32670/stat : 32670 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133830 27976081408 40782 33554432000 4194304 4196468 140727047187344 139860260592784 139860443256533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13516800 140727047193323 140727047193750 140727047193750 140727047196623 0

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

/proc/32686/task/32690/stat : 32690 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139778236856976 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32691] ppid=32663 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/32686/task/32691/stat : 32691 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139778235804176 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32692] ppid=32663 vsize=8414124 memory=7686721470334671765 CPUtime=0 cores=0-7
/proc/32686/task/32692/stat : 32692 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777915480976 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32693] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32693/stat : 32693 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777914428176 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32694] ppid=32663 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/32686/task/32694/stat : 32694 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777913375888 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32695] ppid=32663 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/32686/task/32695/stat : 32695 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777912323088 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32696] ppid=32663 vsize=8414124 memory=15538522534712410 CPUtime=0 cores=0-7
/proc/32686/task/32696/stat : 32696 (java) S 32663 32663 31706 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420134029 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777661212784 139778433510018 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32697] ppid=32663 vsize=8414124 memory=7372769041412745585 CPUtime=0 cores=0-7
/proc/32686/task/32697/stat : 32697 (java) S 32663 32663 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420134029 8616062976 30149 33554432000 4194304 4196468 140733008190992 139776892068640 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32698] ppid=32663 vsize=8414124 memory=7235433459213554006 CPUtime=0 cores=0-7
/proc/32686/task/32698/stat : 32698 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134030 8616062976 30149 33554432000 4194304 4196468 140733008190992 139776623633520 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32699] ppid=32663 vsize=8414124 memory=7235433459213554006 CPUtime=0 cores=0-7
/proc/32686/task/32699/stat : 32699 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139776249124944 139778433517467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32700] ppid=32663 vsize=8414124 memory=7235433459213554006 CPUtime=0.04 cores=0-7
/proc/32686/task/32700/stat : 32700 (java) S 32663 32663 31706 0 -1 1077944384 431 0 0 0 4 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777660160624 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32701] ppid=32663 vsize=8414124 memory=287983876 CPUtime=0.08 cores=0-7
/proc/32686/task/32701/stat : 32701 (java) S 32663 32663 31706 0 -1 1077944384 328 0 0 0 8 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777659107824 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32702] ppid=32663 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/32686/task/32702/stat : 32702 (java) S 32663 32663 31706 0 -1 1077944384 404 0 0 0 5 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777658055536 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32703] ppid=32663 vsize=8414124 memory=57 CPUtime=0.2 cores=0-7
/proc/32686/task/32703/stat : 32703 (java) S 32663 32663 31706 0 -1 1077944384 721 0 0 0 20 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777657002736 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32704] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32704/stat : 32704 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139775751219552 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32705] ppid=32663 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/32686/task/32705/stat : 32705 (java) S 32663 32663 31706 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 420134033 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777655949616 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32707] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32707/stat : 32707 (java) S 32663 32663 31706 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420134099 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777647916352 139778433523481 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32709] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32709/stat : 32709 (java) S 32663 32663 31706 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420134100 8616062976 30149 33554432000 4194304 4196468 140733008190992 139775080120208 139778433520797 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32715] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32715/stat : 32715 (java) S 32663 32663 31706 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420134100 8616062976 30149 33554432000 4194304 4196468 140733008190992 139775348555536 139778433520797 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32719] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32719/stat : 32719 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420134102 8616062976 30149 33554432000 4194304 4196468 140733008190992 139774811692848 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
Current children cumulated CPU time: 664.39 s
Current children cumulated vsize: 9369488 KiB
Current children cumulated memory: 667580 KiB

[startup+90.8012 s]
/proc/loadavg: 6.88 7.33 7.71 9/224 32726
/proc/meminfo: memFree=29955616/32770624 swapFree=66927260/67108860
[pid=32663] ppid=32660 vsize=113128 memory=1472 CPUtime=4.31 cores=0-7
/proc/32663/stat : 32663 (scop.sh) S 32660 32663 31706 0 -1 4202496 582 27207 0 0 0 0 416 15 20 0 1 0 420133827 115843072 368 33554432000 4194304 5098028 140725064453648 140725064450392 139906415800956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34287616 140725064454949 140725064455276 140725064455276 140725064458189 0
/proc/32663/statm: 28282 368 311 221 0 87 0
[pid=32686] ppid=32663 vsize=8414124 memory=120596 CPUtime=1.22 cores=0-7
/proc/32686/stat : 32686 (java) S 32663 32663 31706 0 -1 1077944320 19683 0 0 0 114 8 0 0 20 0 24 0 420134026 8616062976 30149 33554432000 4194304 4196468 140733008190992 140733008173536 139778433498871 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
/proc/32686/statm: 2103531 30149 3200 1 0 2064875 0
[pid=32706] ppid=32686 vsize=842236 memory=545516 CPUtime=659.77 cores=0-7
/proc/32706/stat : 32706 (manyglucose-4.1) S 32686 32663 31706 0 -1 1077944320 427159 0 0 0 65870 107 0 0 20 0 2 0 420134099 862449664 136379 33554432000 4194304 4454172 140734581052208 140734581050592 140635842092791 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 13549568 140734581056361 140734581056560 140734581056560 140734581059514 0
/proc/32706/statm: 210559 136379 418 64 0 206227 0
[pid=32706/tid=32711] ppid=32686 vsize=842236 memory=0 CPUtime=85.45 cores=0-7
/proc/32706/task/32711/stat : 32711 (manyglucose-4.1) R 32686 32663 31706 0 -1 4202560 65460 0 0 0 8534 11 0 0 20 0 2 0 420134100 862449664 136379 33554432000 4194304 4454172 140734581052208 140635818482824 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 13549568 140734581056361 140734581056560 140734581056560 140734581059514 0
[pid=32686/tid=32687] ppid=32663 vsize=8414124 memory=497872 CPUtime=0.76 cores=0-7
/proc/32686/task/32687/stat : 32687 (java) S 32663 32663 31706 0 -1 1077944384 16395 0 0 0 70 6 0 0 20 0 24 0 420134026 8616062976 30149 33554432000 4194304 4196468 140733008190992 139778405339040 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32688] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32688/stat : 32688 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139778437740944 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32689] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32689/stat : 32689 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139778237909264 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32690] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32690/stat : 32690 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139778236856976 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32691] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32691/stat : 32691 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139778235804176 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32692] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32692/stat : 32692 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777915480976 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32693] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32693/stat : 32693 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777914428176 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32694] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32694/stat : 32694 (java) S 32663 32663 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777913375888 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32695] ppid=32663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32686/task/32695/stat : 32695 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134027 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777912323088 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32696] ppid=32663 vsize=8414124 memory=279278101178368 CPUtime=0 cores=0-7
/proc/32686/task/32696/stat : 32696 (java) S 32663 32663 31706 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420134029 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777661212784 139778433510018 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32697] ppid=32663 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/32686/task/32697/stat : 32697 (java) S 32663 32663 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420134029 8616062976 30149 33554432000 4194304 4196468 140733008190992 139776892068640 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32698] ppid=32663 vsize=8414124 memory=120596 CPUtime=0 cores=0-7
/proc/32686/task/32698/stat : 32698 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134030 8616062976 30149 33554432000 4194304 4196468 140733008190992 139776623633520 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32699] ppid=32663 vsize=8414124 memory=543412 CPUtime=0 cores=0-7
/proc/32686/task/32699/stat : 32699 (java) S 32663 32663 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139776249124944 139778433517467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32700] ppid=32663 vsize=8414124 memory=1412 CPUtime=0.04 cores=0-7
/proc/32686/task/32700/stat : 32700 (java) S 32663 32663 31706 0 -1 1077944384 431 0 0 0 4 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777660160624 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32701] ppid=32663 vsize=8414124 memory=3584 CPUtime=0.08 cores=0-7
/proc/32686/task/32701/stat : 32701 (java) S 32663 32663 31706 0 -1 1077944384 328 0 0 0 8 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777659107824 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32702] ppid=32663 vsize=8414124 memory=1472 CPUtime=0.05 cores=0-7
/proc/32686/task/32702/stat : 32702 (java) S 32663 32663 31706 0 -1 1077944384 404 0 0 0 5 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777658055536 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32703] ppid=32663 vsize=8414124 memory=1472 CPUtime=0.2 cores=0-7
/proc/32686/task/32703/stat : 32703 (java) S 32663 32663 31706 0 -1 1077944384 721 0 0 0 20 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777657002736 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32704] ppid=32663 vsize=8414124 memory=120596 CPUtime=0 cores=0-7
/proc/32686/task/32704/stat : 32704 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420134032 8616062976 30149 33554432000 4194304 4196468 140733008190992 139775751219552 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32705] ppid=32663 vsize=8414124 memory=555692 CPUtime=0.04 cores=0-7
/proc/32686/task/32705/stat : 32705 (java) S 32663 32663 31706 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 420134033 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777655949616 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32707] ppid=32663 vsize=8414124 memory=120596 CPUtime=0 cores=0-7
/proc/32686/task/32707/stat : 32707 (java) S 32663 32663 31706 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420134099 8616062976 30149 33554432000 4194304 4196468 140733008190992 139777647916352 139778433523481 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32709] ppid=32663 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/32686/task/32709/stat : 32709 (java) S 32663 32663 31706 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420134100 8616062976 30149 33554432000 4194304 4196468 140733008190992 139775080120208 139778433520797 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32715] ppid=32663 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/32686/task/32715/stat : 32715 (java) S 32663 32663 31706 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420134100 8616062976 30149 33554432000 4194304 4196468 140733008190992 139775348555536 139778433520797 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32719] ppid=32663 vsize=8414124 memory=15538522534712410 CPUtime=0 cores=0-7
/proc/32686/task/32719/stat : 32719 (java) S 32663 32663 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420134102 8616062976 30149 33554432000 4194304 4196468 140733008190992 139774811692848 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
Current children cumulated CPU time: 665.3 s
Current children cumulated vsize: 9369488 KiB
Current children cumulated memory: 667584 KiB

[startup+91.201 s]
/proc/loadavg: 6.88 7.33 7.71 2/217 32726
/proc/meminfo: memFree=29951816/32770624 swapFree=66927260/67108860
[pid=32663] ppid=32660 vsize=113128 memory=1472 CPUtime=4.31 cores=0-7
/proc/32663/stat : 32663 (scop.sh) S 32660 32663 31706 0 -1 4202496 582 27207 0 0 0 0 416 15 20 0 1 0 420133827 115843072 368 33554432000 4194304 5098028 140725064453648 140725064450392 139906415800956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34287616 140725064454949 140725064455276 140725064455276 140725064458189 0
/proc/32663/statm: 28282 368 311 221 0 87 0
[pid=32686] ppid=32663 vsize=8151972 memory=125860 CPUtime=661.45 cores=0-7
/proc/32686/stat : 32686 (java) S 32663 32663 31706 0 -1 1077944320 21442 427174 0 0 120 10 65906 109 20 0 21 0 420134026 8347619328 31465 33554432000 4194304 4196468 140733008190992 140733008173536 139778433498871 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
/proc/32686/statm: 2037993 31465 3204 1 0 1999337 0
[pid=32686/tid=32687] ppid=32663 vsize=8151972 memory=6370719275257063784 CPUtime=660.91 cores=0-7
/proc/32686/task/32687/stat : 32687 (java) S 32663 32663 31706 0 -1 1077944384 16409 427174 0 0 70 6 65906 109 20 0 21 0 420134026 8347619328 31465 33554432000 4194304 4196468 140733008190992 139778405342352 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32688] ppid=32663 vsize=8151972 memory=1472 CPUtime=660.15 cores=0-7
/proc/32686/task/32688/stat : 32688 (java) S 32663 32663 31706 0 -1 1077944384 3 427174 0 0 0 0 65906 109 20 0 21 0 420134027 8347619328 31465 33554432000 4194304 4196468 140733008190992 139778437740944 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32689] ppid=32663 vsize=8151972 memory=1472 CPUtime=660.15 cores=0-7
/proc/32686/task/32689/stat : 32689 (java) S 32663 32663 31706 0 -1 1077944384 1 427174 0 0 0 0 65906 109 20 0 21 0 420134027 8347619328 31465 33554432000 4194304 4196468 140733008190992 139778237909264 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32690] ppid=32663 vsize=8151972 memory=120596 CPUtime=660.15 cores=0-7
/proc/32686/task/32690/stat : 32690 (java) S 32663 32663 31706 0 -1 1077944384 3 427174 0 0 0 0 65906 109 20 0 21 0 420134027 8347619328 31465 33554432000 4194304 4196468 140733008190992 139778236856976 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32691] ppid=32663 vsize=8151972 memory=545516 CPUtime=660.15 cores=0-7
/proc/32686/task/32691/stat : 32691 (java) S 32663 32663 31706 0 -1 1077944384 2 427174 0 0 0 0 65906 109 20 0 21 0 420134027 8347619328 31465 33554432000 4194304 4196468 140733008190992 139778235804176 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32692] ppid=32663 vsize=8151972 memory=988 CPUtime=660.15 cores=0-7
/proc/32686/task/32692/stat : 32692 (java) S 32663 32663 31706 0 -1 1077944384 2 427174 0 0 0 0 65906 109 20 0 21 0 420134027 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777915480976 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32693] ppid=32663 vsize=8151972 memory=14068 CPUtime=660.15 cores=0-7
/proc/32686/task/32693/stat : 32693 (java) S 32663 32663 31706 0 -1 1077944384 1 427174 0 0 0 0 65906 109 20 0 21 0 420134027 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777914428176 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32694] ppid=32663 vsize=8151972 memory=528 CPUtime=660.15 cores=0-7
/proc/32686/task/32694/stat : 32694 (java) S 32663 32663 31706 0 -1 1077944384 2 427174 0 0 0 0 65906 109 20 0 21 0 420134027 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777913375888 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32695] ppid=32663 vsize=8151972 memory=1560 CPUtime=660.15 cores=0-7
/proc/32686/task/32695/stat : 32695 (java) S 32663 32663 31706 0 -1 1077944384 1 427174 0 0 0 0 65906 109 20 0 21 0 420134027 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777912323088 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32696] ppid=32663 vsize=8151972 memory=928 CPUtime=660.15 cores=0-7
/proc/32686/task/32696/stat : 32696 (java) S 32663 32663 31706 0 -1 1077944384 7 427174 0 0 0 0 65906 109 20 0 21 0 420134029 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777661212992 139778433510018 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32697] ppid=32663 vsize=8151972 memory=1700 CPUtime=660.15 cores=0-7
/proc/32686/task/32697/stat : 32697 (java) S 32663 32663 31706 0 -1 1077944384 13 427174 0 0 0 0 65906 109 20 0 21 0 420134029 8347619328 31465 33554432000 4194304 4196468 140733008190992 139776892068640 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32698] ppid=32663 vsize=8151972 memory=832 CPUtime=660.15 cores=0-7
/proc/32686/task/32698/stat : 32698 (java) S 32663 32663 31706 0 -1 1077944384 1 427174 0 0 0 0 65906 109 20 0 21 0 420134030 8347619328 31465 33554432000 4194304 4196468 140733008190992 139776623633520 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32699] ppid=32663 vsize=8151972 memory=1440 CPUtime=660.15 cores=0-7
/proc/32686/task/32699/stat : 32699 (java) S 32663 32663 31706 0 -1 1077944384 2 427174 0 0 0 0 65906 109 20 0 21 0 420134032 8347619328 31465 33554432000 4194304 4196468 140733008190992 139776249124592 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32700] ppid=32663 vsize=8151972 memory=832 CPUtime=660.19 cores=0-7
/proc/32686/task/32700/stat : 32700 (java) S 32663 32663 31706 0 -1 1077944384 437 427174 0 0 4 0 65906 109 20 0 21 0 420134032 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777660160624 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32701] ppid=32663 vsize=8151972 memory=1440 CPUtime=660.23 cores=0-7
/proc/32686/task/32701/stat : 32701 (java) S 32663 32663 31706 0 -1 1077944384 328 427174 0 0 8 0 65906 109 20 0 21 0 420134032 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777659107824 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32702] ppid=32663 vsize=8151972 memory=1472 CPUtime=660.22 cores=0-7
/proc/32686/task/32702/stat : 32702 (java) S 32663 32663 31706 0 -1 1077944384 408 427174 0 0 7 0 65906 109 20 0 21 0 420134032 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777658034896 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32703] ppid=32663 vsize=8151972 memory=120596 CPUtime=660.37 cores=0-7
/proc/32686/task/32703/stat : 32703 (java) S 32663 32663 31706 0 -1 1077944384 757 427174 0 0 22 0 65906 109 20 0 21 0 420134032 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777657002736 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32704] ppid=32663 vsize=8151972 memory=1472 CPUtime=660.15 cores=0-7
/proc/32686/task/32704/stat : 32704 (java) S 32663 32663 31706 0 -1 1077944384 3 427174 0 0 0 0 65906 109 20 0 21 0 420134032 8347619328 31465 33554432000 4194304 4196468 140733008190992 139775751219552 139778433509077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32707] ppid=32663 vsize=8151972 memory=551604 CPUtime=660.15 cores=0-7
/proc/32686/task/32707/stat : 32707 (java) S 32663 32663 31706 0 -1 1077944384 26 427174 0 0 0 0 65906 109 20 0 21 0 420134099 8347619328 31465 33554432000 4194304 4196468 140733008190992 139777647915536 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
[pid=32686/tid=32719] ppid=32663 vsize=8151972 memory=1124 CPUtime=660.15 cores=0-7
/proc/32686/task/32719/stat : 32719 (java) S 32663 32663 31706 0 -1 1077944384 10 427174 0 0 0 0 65906 109 20 0 21 0 420134102 8347619328 31465 33554432000 4194304 4196468 140733008190992 139774811694640 139778433510018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15855616 140733008192503 140733008192662 140733008192662 140733008195535 0
Current children cumulated CPU time: 665.76 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 127332 KiB

Child status: 0
Real time (s): 91.2132
CPU time (s): 665.802
CPU user time (s): 664.445
CPU system time (s): 1.3576
CPU usage (%): 729.94
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 683004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 664.445
system time used= 1.3576
maximum resident set size= 563544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476421
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= 12848
involuntary context switches= 5783


# summary of solver processes directly reported to runsolver:
#   pid: 32663
#   total CPU time (s): 665.802
#   total CPU user time (s): 664.445
#   total CPU system time (s): 1.3576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.850313 second user time and 1.26963 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 07:27:03
IDJOB=4392492
IDBENCH=135540
IDSOLVER=2838
FILE ID=node137/4392492-1568438865
RUNJOBID= node137-1568437903-31733
PBS_JOBID= 21702324
Free space on /tmp= 61428 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
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 /tmp/evaluation-result-4392492-1568438865/watcher-4392492-1568438865 -o /tmp/evaluation-result-4392492-1568438865/solver-4392492-1568438865 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --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-4392492-1568438865.xml

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

MD5SUM BENCH= b45d1707d0c27f8ab51c2199585eb6c5
RANDOM SEED=1129721323

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30603124 kB
MemAvailable:   31817992 kB
Buffers:           92916 kB
Cached:          1401684 kB
SwapCached:        77548 kB
Active:          1426888 kB
Inactive:         149216 kB
Active(anon):       4528 kB
Inactive(anon):   118296 kB
Active(file):    1422360 kB
Inactive(file):    30920 kB
Unevictable:      108700 kB
Mlocked:          108700 kB
SwapTotal:      67108860 kB
SwapFree:       66927260 kB
Dirty:             20424 kB
Writeback:             0 kB
AnonPages:         45916 kB
Mapped:            44780 kB
Shmem:             32772 kB
Slab:             183828 kB
SReclaimable:     154844 kB
SUnreclaim:        28984 kB
KernelStack:        3872 kB
PageTables:         5412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61408 MiB
End job on node137 at 2019-09-14 07:28:34