Trace number 4392297

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)SAT 1435.45 1161.65

General information on the benchmark

NameMagicSequence/MagicSequence-card-s1/
MagicSequence-1000-ca.xml
MD5SUMd2780e3631970b53a6f91cd037f7d107
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.15721
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints3
Number of domains1
Minimum domain size1000
Maximum domain size1000
Distribution of domain sizes[{"size":1000,"count":1000}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":1000}]
Minimum constraint arity1000
Maximum constraint arity1000
Distribution of constraint arities[{"arity":1000,"count":3}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-17828-serial-file.bin HOME/instance-4392297-1568421919.xml
0.65/0.53	
0.65/0.53	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 02:44:40 CEST 2019
0.65/0.56	c PID: 17831
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.80/1.07	c (0,0) Parsing End
1.80/1.08	c (0,0) CSP: 1000 int (0 aux), 0 bool (0 aux), 3 ctr, max domain size 1000
1.80/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.08	c (0,0) Constraint Name Generate Begin
1.80/1.09	c (0,0) Ctr:HOME/instance-4392297-1568421919.xml,Cardinality:Num:Var:WeightedSum
1.80/1.09	c (0,0) Constraint Name Generate End
1.80/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.09	c (0,0) CSP to CSPinCNF Begin
2.14/1.13	c (0,0) translated 1 (10%) constraints
686.47/617.29	c (616,607) translated 2 (20%) constraints
687.35/618.10	c (617,608) translated 3 (30%) constraints
688.16/618.90	c (618,608) ===========================================
688.26/618.95	c (618,608) Order
688.26/618.95	c (618,608) ===========================================
882.33/790.23	c (789,777) translated 200101 (10%) constraints
891.43/799.30	c (798,786) translated 400201 (20%) constraints
907.75/810.00	c (809,796) translated 600301 (30%) constraints
916.86/819.06	c (818,805) translated 800401 (40%) constraints
934.10/829.17	c (828,814) translated 1000501 (50%) constraints
943.23/838.28	c (837,823) translated 1200602 (60%) constraints
952.49/847.40	c (846,832) translated 1400702 (70%) constraints
966.59/857.16	c (856,841) translated 1600802 (80%) constraints
975.69/866.28	c (865,850) translated 1800902 (90%) constraints
992.73/876.59	c (876,860) translated 2001002 (100%) constraints
993.07/876.81	c (876,860) CSP to CSPinCNF End
993.69/877.49	c (876,861) CSP: 311068 int (310567 aux), 2003992 bool (2003493 aux), 4630124 ctr, max domain size 69750
993.69/877.49	c (876,861) Heap : 9686 MiB used (max 21632 MiB), NonHeap : 26 MiB used (max 0 MiB)
993.69/877.49	c (876,861) CSPinCNF Propagation Begin
1114.96/951.96	c (951,928) 10669457 values, 3965448 unsatisfiable literals, and 4525250 valid clauses are removed
1114.96/951.96	c (951,928) CSPinCNF Propagation End
1115.96/952.98	c (952,929) CSP: 16160 int (15659 aux), 2298900 bool (2298401 aux), 104874 ctr, max domain size 1083
1115.96/952.98	c (952,929) Heap : 14885 MiB used (max 21682 MiB), NonHeap : 27 MiB used (max 0 MiB)
1116.17/953.15	c (952,930) Simplify CSPinCNF Begin
1116.44/953.38	c (952,930) Simplify CSPinCNF End
1117.68/954.41	c (953,931) CSP: 16160 int (15659 aux), 2298900 bool (2298401 aux), 104874 ctr, max domain size 1083
1117.68/954.41	c (953,931) Heap : 15001 MiB used (max 21682 MiB), NonHeap : 27 MiB used (max 0 MiB)
1117.68/954.41	c (953,931) Calculate Precise Domain Begin
1129.77/959.35	c (958,935) 390661 values are removed by re-calculation
1129.77/959.35	c (958,935) Calculate Precise Domain End
1130.78/960.37	c (959,936) CSP: 16160 int (15659 aux), 2298900 bool (2298401 aux), 104874 ctr, max domain size 1083
1130.78/960.37	c (959,936) Heap : 12406 MiB used (max 21633 MiB), NonHeap : 29 MiB used (max 0 MiB)
1130.78/960.37	c (959,936) CSPinCNF to SatSolver Begin
1152.63/970.19	c (969,944) 10488 (10 %) CSP clauses are encoded (0 SAT variables, 3326413 SAT clauses)
1153.30/970.56	c (970,945) 20975 (20 %) CSP clauses are encoded (0 SAT variables, 3392385 SAT clauses)
1153.50/970.79	c (970,945) 31463 (30 %) CSP clauses are encoded (0 SAT variables, 3423559 SAT clauses)
1153.72/970.99	c (970,945) 41950 (40 %) CSP clauses are encoded (0 SAT variables, 3443594 SAT clauses)
1153.93/971.17	c (970,945) 52437 (50 %) CSP clauses are encoded (0 SAT variables, 3457757 SAT clauses)
1154.12/971.35	c (970,945) 62925 (60 %) CSP clauses are encoded (0 SAT variables, 3468793 SAT clauses)
1154.52/971.50	c (970,946) 73412 (70 %) CSP clauses are encoded (0 SAT variables, 3479538 SAT clauses)
1154.52/971.59	c (971,946) 83900 (80 %) CSP clauses are encoded (0 SAT variables, 3490026 SAT clauses)
1154.77/971.69	c (971,946) 94387 (90 %) CSP clauses are encoded (0 SAT variables, 3500513 SAT clauses)
1232.65/1042.60	c (1042,1008) 104874 (100 %) CSP clauses are encoded (0 SAT variables, 40923232 SAT clauses)
1232.76/1042.60	c (1042,1008) CSPinCNF to SatSolver End
1232.76/1042.60	c (1042,1008) Heap : 14581 MiB used (max 21838 MiB), NonHeap : 31 MiB used (max 0 MiB)
1232.76/1042.60	c (1042,1008) 377027 bool, 40923873 clause
1232.76/1042.60	c (1042,1008) Export Begin
1232.93/1042.75	c (1042,1008) Export to HOME/scop-17828-serial-file.bin
1232.93/1042.75	c (1042,1008) Export End
1232.93/1042.75	c (1042,1008) Export File Size: 0.15 MB
1232.93/1042.75	c (1042,1008) 0,0,876,952,953,959,1042,STOP-AFTER(DIMACS)
1232.93/1042.75	c END-Prog: Sat Sep 14 03:02:02 CEST 2019
0.00/1042.84	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17828-serial-file.bin
1233.80/1043.31	c (0,0) Read Serial File Begin
1233.80/1043.31	c (0,0) HOME/scop-17828-serial-file.bin
1234.09/1043.57	c (0,0) Read Serial File End
1234.09/1043.58	
1234.09/1043.58	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1234.09/1043.58	(Solving Process)
1234.09/1043.58	
1234.43/1043.60	c BEGIN-Prog: Sat Sep 14 03:02:03 CEST 2019
1234.43/1043.60	c PID: 17955
1234.43/1043.60	c IP: 172.20.3.151
1234.43/1043.60	c HOST: node151.alineos.net
1234.43/1043.61	c (0,0) SatSolver.solve Begin
1234.43/1043.61	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392297-1568421919.xml-scop-17831.cnf
1234.43/1043.63	c (0,0) c
1234.43/1043.63	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)
1234.43/1043.63	c (0,0) c
1234.43/1043.63	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1234.43/1043.63	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1234.43/1043.63	c (0,0) c ========================================[ Problem Statistics ]===========================================
1234.43/1043.63	c (0,0) c |                                                                                                       |
1245.59/1054.64	c (11,0) c |  Number of variables:        377027                                                                   |
1245.59/1054.64	c (11,0) c |  Number of clauses:        40923606                                                                   |
1245.59/1054.64	c (11,0) c |  Parse time:                   9.96 s                                                                 |
1245.59/1054.64	c (11,0) c |                                                                                                       |
1247.59/1056.68	c (13,0) c | Too many clauses... No preprocessing                                                                  |
1247.59/1056.68	c (13,0) c |  Simplification time:          1.75 s                                                                 |
1247.59/1056.68	c (13,0) c |                                                                                                       |
1247.59/1056.68	c (13,0) c |  One Solver is taking   3100.49Mb... Let's take   2 solvers for this run (max 40% of the maxmemory).  |
1247.59/1056.68	c (13,0) c |  Generating clones                                                                                    |
1248.49/1057.58	c (14,0) c |  all clones generated. Memory =  5013.65Mb.                                                           |
1248.49/1057.58	c (14,0) c ========================================================================================================|
1248.49/1057.58	c (14,0) c
1248.49/1057.58	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1248.49/1057.58	c (14,0) c
1248.49/1057.58	c (14,0) c |-----------------------|------------|------------|
1248.49/1057.58	c (14,0) c | Threads               |          0 |          1 |
1248.49/1057.58	c (14,0) c |-----------------------|------------|------------|
1248.49/1057.58	c (14,0) c | randomizeFirstDescent |      False |       True |
1248.49/1057.58	c (14,0) c | adaptStrategeis       |       True |      False |
1248.49/1057.58	c (14,0) c | forceUnsatOnNewDescent|       True |       True |
1248.49/1057.58	c (14,0) c | Initial random_seed   |   91648253 |   91648254 |
1248.49/1057.58	c (14,0) c | chanseokStrategy      |      False |      False |
1248.49/1057.58	c (14,0) c | coLBDBound            |          5 |          5 |
1248.49/1057.58	c (14,0) c | glureduce             |       True |       True |
1248.49/1057.58	c (14,0) c | firstReduceDB         |       2000 |       2000 |
1248.49/1057.58	c (14,0) c | incReduceDB           |        300 |        300 |
1248.49/1057.59	c (14,0) c | luby_restart          |      False |      False |
1248.49/1057.59	c (14,0) c | luby_restart_factor   |        100 |        100 |
1248.49/1057.59	c (14,0) c | var_decay             |     0.8000 |     0.8000 |
1248.49/1057.59	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |
1248.49/1057.59	c (14,0) c | randomize_on_restarts |      False |      False |
1248.49/1057.59	c (14,0) c | remove_satisfied      |       True |       True |
1248.49/1057.59	c (14,0) c |-----------------------|------------|------------|
1298.96/1086.94	c (43,0) c
1298.96/1086.94	c (43,0) c |------------------------------------------------------------------------------------------------------------------------|
1298.96/1086.94	c (43,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1298.96/1086.94	c (43,0) c |------------------------------------------------------------------------------------------------------------------------|
1298.96/1086.94	c (43,0) c |  0 |      1 |       1745 |        133 |   161986 |      132 |        2 |        0 |        0 |      253 |  20 |  0.189 |
1298.96/1086.94	c (43,0) c |  1 |      1 |       1371 |        121 |   162961 |      121 |        4 |        0 |        0 |      237 |  20 |  0.178 |
1298.96/1086.94	c (43,0) c 
1298.96/1086.94	c (43,0) c synthesis         254 conflicts    15817959 propagations        4 conflicts/sec   269982 propagations/sec
1298.96/1086.94	c (43,0) c real: 43.31 s, cpu: 58.5889 s, memory: 5640.04 Mb
1350.57/1115.94	c (72,0) c
1350.57/1115.94	c (72,0) c |------------------------------------------------------------------------------------------------------------------------|
1350.57/1115.94	c (72,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1350.57/1115.94	c (72,0) c |------------------------------------------------------------------------------------------------------------------------|
1350.57/1115.94	c (72,0) c |  0 |      1 |       3325 |        303 |   243600 |      302 |        3 |        0 |        0 |      550 |  20 |  0.189 |
1350.57/1115.94	c (72,0) c |  1 |      1 |       1707 |        246 |   186556 |      245 |        5 |        0 |        0 |      530 |  20 |  0.178 |
1350.57/1115.94	c (72,0) c 
1350.57/1115.94	c (72,0) c synthesis         549 conflicts    35637999 propagations        5 conflicts/sec   325073 propagations/sec
1350.57/1115.94	c (72,0) c real: 72.31 s, cpu: 109.631 s, memory: 5667.26 Mb
1404.99/1144.94	c (101,0) c
1404.99/1144.94	c (101,0) c |------------------------------------------------------------------------------------------------------------------------|
1404.99/1144.94	c (101,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1404.99/1144.94	c (101,0) c |------------------------------------------------------------------------------------------------------------------------|
1404.99/1144.94	c (101,0) c |  0 |      1 |       4817 |        546 |   353147 |      545 |        9 |        0 |        0 |      983 |  20 |  0.189 |
1404.99/1144.94	c (101,0) c |  1 |      1 |       3944 |        531 |   238083 |      531 |        8 |        0 |        0 |      990 |  20 |  0.178 |
1404.99/1144.94	c (101,0) c 
1404.99/1144.94	c (101,0) c synthesis        1077 conflicts    68578699 propagations        7 conflicts/sec   419007 propagations/sec
1404.99/1144.94	c (101,0) c real: 101.31 s, cpu: 163.67 s, memory: 5681.10 Mb
1433.45/1160.91	c (117,0) c
1433.45/1160.91	c (117,0) c real time : 117.277 s
1433.45/1160.91	c (117,0) c cpu time  : 191.094 s
1433.45/1160.91	c (117,0) c
1433.45/1160.91	c (117,0) c
1433.45/1160.91	c (117,0) c
1433.45/1160.91	c (117,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1433.45/1160.91	c (117,0) c
1433.45/1160.91	c (117,0) c |---------------|-----------------|------------|------------|
1433.45/1160.91	c (117,0) c | Threads       |      Total      |          0 |          1 |
1433.45/1160.91	c (117,0) c |---------------|-----------------|------------|------------|
1433.45/1160.91	c (117,0) c | Conflicts     |            1306 |        643 |        663 |
1433.45/1160.91	c (117,0) c | Decisions     |           10775 |       6023 |       4752 |
1433.45/1160.91	c (117,0) c | Propagations  |        83297710 |   40989521 |   42308189 |
1433.45/1160.91	c (117,0) c | ReduceDBs     |               0 |          0 |          0 |
1433.45/1160.91	c (117,0) c | SimpDBs       |               2 |          1 |          1 |
1433.45/1160.91	c (117,0) c | Restarts      |               4 |          3 |          1 |
1433.45/1160.91	c (117,0) c | ForcedImports |               0 |          0 |          0 |
1433.45/1160.91	c (117,0) c | PropBinClauses|       296529351 |  175532042 |  120997309 |
1433.45/1160.91	c (117,0) c | PropPreBlocker|     11672673635 | 5854100946 | 5818572689 |
1433.45/1160.91	c (117,0) c | PropNotBlocker|      1936478819 |  975371607 |  961107212 |
1433.45/1160.91	c (117,0) c | LitFullScans  |     15329460182 | 7106887183 | 8222572999 |
1433.45/1160.91	c (117,0) c | LitScanFracts |      1000515134 |    6411028 |  994104106 |
1433.45/1160.91	c (117,0) c | DecisionLevel0|               5 |          4 |          1 |
1433.45/1160.91	c (117,0) c | Periods       |            2387 |       1183 |       1204 |
1433.45/1160.91	c (117,0) c | Margin        |              40 |         20 |         20 |
1433.45/1160.91	c (117,0) c | Avg_Trail     |                 |     270160 |     319344 |
1433.45/1160.91	c (117,0) c | Avg_DL        |                 |        341 |        248 |
1433.45/1160.91	c (117,0) c | Avg_Res       |                 |          0 |          0 |
1433.45/1160.91	c (117,0) c | Avg_Res_Seen  |                 |          0 |          0 |
1433.45/1160.91	c (117,0) c |---------------|-----------------|------------|------------|
1433.45/1160.91	c (117,0) c | Exported      |              19 |          9 |         10 |
1433.45/1160.91	c (117,0) c | Imported      |               8 |          8 |          0 |
1433.45/1160.91	c (117,0) c | Good          |               5 |          5 |          0 |
1433.45/1160.91	c (117,0) c | Purge         |               3 |          3 |          0 |
1433.45/1160.91	c (117,0) c | Promoted      |               0 |          0 |          0 |
1433.45/1160.91	c (117,0) c | Remove_Imp    |               0 |          0 |          0 |
1433.45/1160.91	c (117,0) c | Blocked_Reuse |               0 |          0 |          0 |
1433.45/1160.91	c (117,0) c |---------------|-----------------|------------|------------|
1433.45/1160.91	c (117,0) c | Unaries       |                 |          1 |          0 |
1433.45/1160.91	c (117,0) c | Binaries      |                 |          4 |          5 |
1433.45/1160.91	c (117,0) c | Glues         |                 |          9 |         10 |
1433.45/1160.91	c (117,0) c |---------------|-----------------|------------|------------|
1433.45/1160.91	c (117,0) c | Orig_Seen     |             0 % |     382304 |     253068 |
1433.45/1160.91	c (117,0) c | Diff Orig seen|                 |      X     | -   129236 |
1433.45/1160.91	c (117,0) c | Hamming       |             4 % |      X     |      16418 |
1433.45/1160.91	c (117,0) c |---------------|-----------------|------------|------------|
1433.45/1160.91	c (117,0) c | RunningTime   |                 |   86.7  84%|   98.2  95%|
1433.45/1160.91	c (117,0) c | WaitingTime   |                 |   16.6  16%|    5.1   5%|
1433.45/1160.91	c (117,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|
1433.45/1160.91	c (117,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|
1433.45/1160.91	c (117,0) c | SolvingTime   |                 |  103.3     |  103.3     |
1433.45/1160.91	c (117,0) c | PropagationTim|                 |  100.2  97%|   71.3  69%|
1433.45/1160.91	c (117,0) c | AnalysisTime  |                 |    2.4   2%|   31.6  31%|
1433.45/1160.91	c (117,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|
1433.45/1160.91	c (117,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|
1433.45/1160.91	c (117,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|
1433.45/1160.91	c (117,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|
1433.45/1160.91	c (117,0) c |---------------|-----------------|------------|------------|
1433.45/1160.91	c (117,0) c
1433.45/1160.91	c (117,0) c
1433.45/1160.91	c (117,0) c Threads : 2
1433.45/1160.91	c (117,0) c Winner : 0
1433.45/1160.91	c (117,0) c Conflicts_0 : 643
1433.45/1160.91	c (117,0) c Conflicts_1 : 663
1433.45/1160.91	c (117,0) c Conflicts_total : 1306
1433.45/1160.91	c (117,0) c Conflicts_winner : 643
1433.45/1160.91	c (117,0) c Decisions_0 : 6023
1433.45/1160.91	c (117,0) c Decisions_1 : 4752
1433.45/1160.91	c (117,0) c Decisions_total : 10775
1433.45/1160.91	c (117,0) c Decisions_winner : 6023
1433.45/1160.91	c (117,0) c Propagations_0 : 40989521
1433.45/1160.91	c (117,0) c Propagations_1 : 42308189
1433.45/1160.91	c (117,0) c Propagations_total : 83297710
1433.45/1160.91	c (117,0) c Propagations_winner : 40989521
1433.45/1160.91	c (117,0) c ReduceDBs_0 : 0
1433.45/1160.91	c (117,0) c ReduceDBs_1 : 0
1433.45/1160.91	c (117,0) c ReduceDBs_total : 0
1433.45/1160.91	c (117,0) c ReduceDBs_winner : 0
1433.45/1160.91	c (117,0) c SimpDBs_0 : 1
1433.45/1160.91	c (117,0) c SimpDBs_1 : 1
1433.45/1160.91	c (117,0) c SimpDBs_total : 2
1433.45/1160.91	c (117,0) c SimpDBs_winner : 1
1433.45/1160.91	c (117,0) c Restarts_0 : 3
1433.45/1160.91	c (117,0) c Restarts_1 : 1
1433.45/1160.91	c (117,0) c Restarts_total : 4
1433.45/1160.91	c (117,0) c Restarts_winner : 3
1433.45/1160.91	c (117,0) c ForcedImports_0 : 0
1433.45/1160.91	c (117,0) c ForcedImports_1 : 0
1433.45/1160.91	c (117,0) c ForcedImports_total : 0
1433.45/1160.91	c (117,0) c ForcedImports_winner : 0
1433.45/1160.91	c (117,0) c PropsBinClauses_0 : 175532042
1433.45/1160.91	c (117,0) c PropsBinClauses_1 : 120997309
1433.45/1160.91	c (117,0) c PropsBinClauses_total : 296529351
1433.45/1160.91	c (117,0) c PropsBinClauses_winner : 175532042
1433.45/1160.91	c (117,0) c PropsPreBlocker_0 : 5854100946
1433.45/1160.91	c (117,0) c PropsPreBlocker_1 : 5818572689
1433.45/1160.91	c (117,0) c PropsPreBlocker_total : 11672673635
1433.45/1160.91	c (117,0) c PropsPreBlocker_winner : 5854100946
1433.45/1160.91	c (117,0) c PropsNotBlocker_0 : 975371607
1433.45/1160.91	c (117,0) c PropsNotBlocker_1 : 961107212
1433.45/1160.91	c (117,0) c PropsNotBlocker_total : 1936478819
1433.45/1160.91	c (117,0) c PropsNotBlocker_winner : 975371607
1433.45/1160.91	c (117,0) c PropsLitFullScans_0 : 7106887183
1433.45/1160.91	c (117,0) c PropsLitFullScans_1 : 8222572999
1433.45/1160.91	c (117,0) c PropsLitFullScans_total : 15329460182
1433.45/1160.91	c (117,0) c PropsLitFullScans_winner : 7106887183
1433.45/1160.91	c (117,0) c LitScanFractions_0 : 6411028
1433.45/1160.91	c (117,0) c LitScanFractions_1 : 994104106
1433.45/1160.91	c (117,0) c LitScanFractions_total : 1000515134
1433.45/1160.91	c (117,0) c LitScanFractions_winner : 6411028
1433.45/1160.91	c (117,0) c DecisionLevel0_0 : 4
1433.45/1160.91	c (117,0) c DecisionLevel0_1 : 1
1433.45/1160.91	c (117,0) c DecisionLevel0_total : 5
1433.45/1160.91	c (117,0) c DecisionLevel0_winner : 4
1433.45/1160.91	c (117,0) c Periods_0 : 1183
1433.45/1160.91	c (117,0) c Periods_1 : 1204
1433.45/1160.91	c (117,0) c Periods_total : 2387
1433.45/1160.91	c (117,0) c Periods_winner : 1183
1433.45/1160.91	c (117,0) c Margin_0 : 20
1433.45/1160.91	c (117,0) c Margin_1 : 20
1433.45/1160.91	c (117,0) c Margin_total : 40
1433.45/1160.91	c (117,0) c Margin_winner : 20
1433.45/1160.91	c (117,0) c Exported_0 : 9
1433.45/1160.91	c (117,0) c Exported_1 : 10
1433.45/1160.91	c (117,0) c Exported_total : 19
1433.45/1160.91	c (117,0) c Exported_winner : 9
1433.45/1160.91	c (117,0) c Imported_0 : 8
1433.45/1160.91	c (117,0) c Imported_1 : 0
1433.45/1160.91	c (117,0) c Imported_total : 8
1433.45/1160.91	c (117,0) c Imported_winner : 8
1433.45/1160.91	c (117,0) c Good_0 : 5
1433.45/1160.91	c (117,0) c Good_1 : 0
1433.45/1160.91	c (117,0) c Good_total : 5
1433.45/1160.91	c (117,0) c Good_winner : 5
1433.45/1160.91	c (117,0) c Purge_0 : 3
1433.45/1160.91	c (117,0) c Purge_1 : 0
1433.45/1160.91	c (117,0) c Purge_total : 3
1433.45/1160.91	c (117,0) c Purge_winner : 3
1433.45/1160.91	c (117,0) c Promoted_0 : 0
1433.45/1160.91	c (117,0) c Promoted_1 : 0
1433.45/1160.91	c (117,0) c Promoted_total : 0
1433.45/1160.91	c (117,0) c Promoted_winner : 0
1433.45/1160.91	c (117,0) c Remove_Imp_0 : 0
1433.45/1160.91	c (117,0) c Remove_Imp_1 : 0
1433.45/1160.91	c (117,0) c Remove_Imp_total : 0
1433.45/1160.91	c (117,0) c Remove_Imp_winner : 0
1433.45/1160.91	c (117,0) c Blocked_Reuse_0 : 0
1433.45/1160.91	c (117,0) c Blocked_Reuse_1 : 0
1433.45/1160.91	c (117,0) c Blocked_Reuse_total : 0
1433.45/1160.91	c (117,0) c Blocked_Reuse_winner : 0
1433.45/1160.91	c (117,0) c Unaries_0 : 1
1433.45/1160.91	c (117,0) c Unaries_1 : 0
1433.45/1160.91	c (117,0) c Unaries_total : 1
1433.45/1160.91	c (117,0) c Unaries_winner : 1
1433.45/1160.91	c (117,0) c Binaries_0 : 4
1433.45/1160.91	c (117,0) c Binaries_1 : 5
1433.45/1160.91	c (117,0) c Binaries_total : 9
1433.45/1160.91	c (117,0) c Binaries_winner : 4
1433.45/1160.91	c (117,0) c Glues_0 : 9
1433.45/1160.91	c (117,0) c Glues_1 : 10
1433.45/1160.91	c (117,0) c Glues_total : 19
1433.45/1160.91	c (117,0) c Glues_winner : 9
1433.45/1160.91	c (117,0) c RunningTime_0 : 86.678759
1433.45/1160.91	c (117,0) c RunningTime_1 : 98.240088
1433.45/1160.91	c (117,0) c RunningTime_total : 184.918846
1433.45/1160.91	c (117,0) c RunningTime_winner : 86.678759
1433.45/1160.91	c (117,0) c WaitingTime_0 : 16.577391
1433.45/1160.91	c (117,0) c WaitingTime_1 : 5.050281
1433.45/1160.91	c (117,0) c WaitingTime_total : 21.627672
1433.45/1160.91	c (117,0) c WaitingTime_winner : 16.577391
1433.45/1160.91	c (117,0) c ExchangingTime_0 : 0.002096
1433.45/1160.91	c (117,0) c ExchangingTime_1 : 0.002190
1433.45/1160.91	c (117,0) c ExchangingTime_total : 0.004286
1433.45/1160.91	c (117,0) c ExchangingTime_winner : 0.002096
1433.45/1160.91	c (117,0) c PeriodProcTime_0 : 0.011416
1433.45/1160.91	c (117,0) c PeriodProcTime_1 : 0.011485
1433.45/1160.91	c (117,0) c PeriodProcTime_total : 0.022901
1433.45/1160.91	c (117,0) c PeriodProcTime_winner : 0.011416
1433.45/1160.91	c (117,0) c SolvingTime_0 : 103.269661
1433.45/1160.91	c (117,0) c SolvingTime_1 : 103.304044
1433.45/1160.91	c (117,0) c SolvingTime_total : 206.573705
1433.45/1160.91	c (117,0) c SolvingTime_winner : 103.269661
1433.45/1160.92	c (117,0) c PropagationTime_0 : 100.171141
1433.45/1160.92	c (117,0) c PropagationTime_1 : 71.330203
1433.45/1160.92	c (117,0) c PropagationTime_total : 171.501344
1433.45/1160.92	c (117,0) c PropagationTime_winner : 100.171141
1433.45/1160.92	c (117,0) c AnalysisTime_0 : 2.410871
1433.45/1160.92	c (117,0) c AnalysisTime_1 : 31.557788
1433.45/1160.92	c (117,0) c AnalysisTime_total : 33.968658
1433.45/1160.92	c (117,0) c AnalysisTime_winner : 2.410871
1433.45/1160.92	c (117,0) c ReductionTime_0 : 0.000000
1433.45/1160.92	c (117,0) c ReductionTime_1 : 0.000000
1433.45/1160.92	c (117,0) c ReductionTime_total : 0.000000
1433.45/1160.92	c (117,0) c ReductionTime_winner : 0.000000
1433.45/1160.92	c (117,0) c SimplifyTime_0 : 0.000001
1433.45/1160.92	c (117,0) c SimplifyTime_1 : 0.000000
1433.45/1160.92	c (117,0) c SimplifyTime_total : 0.000001
1433.45/1160.92	c (117,0) c SimplifyTime_winner : 0.000001
1433.45/1160.92	c (117,0) c UsedRateTime_0 : 0.000000
1433.45/1160.92	c (117,0) c UsedRateTime_1 : 0.000000
1433.45/1160.92	c (117,0) c UsedRateTime_total : 0.000000
1433.45/1160.92	c (117,0) c UsedRateTime_winner : 0.000000
1433.45/1160.92	c (117,0) c OverlapRateTime_0 : 0.000000
1433.45/1160.92	c (117,0) c OverlapRateTime_1 : 0.000000
1433.45/1160.92	c (117,0) c OverlapRateTime_total : 0.000000
1433.45/1160.92	c (117,0) c OverlapRateTime_winner : 0.000000
1433.45/1160.92	c (117,0) c
1433.45/1160.92	c (117,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1433.45/1160.92	c (117,0) c
1433.45/1160.92	c (117,0) c |-----------------------|------------|------------|
1433.45/1160.92	c (117,0) c | Threads               |          0 |          1 |
1433.45/1160.92	c (117,0) c |-----------------------|------------|------------|
1433.45/1160.92	c (117,0) c | randomizeFirstDescent |      False |       True |
1433.45/1160.92	c (117,0) c | adaptStrategeis       |       True |      False |
1433.45/1160.92	c (117,0) c | forceUnsatOnNewDescent|       True |       True |
1433.45/1160.92	c (117,0) c | Initial random_seed   | 1455270626 |    4584728 |
1433.45/1160.92	c (117,0) c | chanseokStrategy      |      False |      False |
1433.45/1160.92	c (117,0) c | coLBDBound            |          5 |          5 |
1433.45/1160.92	c (117,0) c | glureduce             |       True |       True |
1433.45/1160.92	c (117,0) c | firstReduceDB         |       2000 |       2000 |
1433.45/1160.92	c (117,0) c | incReduceDB           |        300 |        300 |
1433.45/1160.92	c (117,0) c | luby_restart          |      False |      False |
1433.45/1160.92	c (117,0) c | luby_restart_factor   |        100 |        100 |
1433.45/1160.92	c (117,0) c | var_decay             |     0.8000 |     0.8000 |
1433.45/1160.92	c (117,0) c | max_var_decay         |     0.9500 |     0.9500 |
1433.45/1160.92	c (117,0) c | randomize_on_restarts |      False |      False |
1433.45/1160.92	c (117,0) c | remove_satisfied      |       True |       True |
1433.45/1160.92	c (117,0) c |-----------------------|------------|------------|
1433.45/1160.92	c (117,0) 
1433.45/1160.92	c (117,0) s SATISFIABLE
1235.18/1161.26	c (118,0) SatSolver.solve End
1235.18/1161.26	c (118,0) Heap : 209 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1235.18/1161.26	c (118,0) Show results Begin
1434.59/1161.47	c (118,0) x[0] = 996
1434.59/1161.47	c (118,0) x[1] = 2
1434.59/1161.47	c (118,0) x[2] = 1
1434.59/1161.47	c (118,0) x[3] = 0
1434.59/1161.47	c (118,0) x[4] = 0
1434.59/1161.47	c (118,0) x[5] = 0
1434.59/1161.47	c (118,0) x[6] = 0
1434.59/1161.47	c (118,0) x[7] = 0
1434.59/1161.47	c (118,0) x[8] = 0
1434.59/1161.47	c (118,0) x[9] = 0
1434.59/1161.47	c (118,0) x[10] = 0
1434.59/1161.47	c (118,0) x[11] = 0
1434.59/1161.47	c (118,0) x[12] = 0
1434.59/1161.47	c (118,0) x[13] = 0
1434.59/1161.47	c (118,0) x[14] = 0
1434.59/1161.47	c (118,0) x[15] = 0
1434.59/1161.47	c (118,0) x[16] = 0
1434.59/1161.47	c (118,0) x[17] = 0
1434.59/1161.47	c (118,0) x[18] = 0
1434.59/1161.47	c (118,0) x[19] = 0
1434.59/1161.47	c (118,0) x[20] = 0
1434.59/1161.47	c (118,0) x[21] = 0
1434.59/1161.47	c (118,0) x[22] = 0
1434.59/1161.47	c (118,0) x[23] = 0
1434.59/1161.47	c (118,0) x[24] = 0
1434.59/1161.47	c (118,0) x[25] = 0
1434.59/1161.47	c (118,0) x[26] = 0
1434.59/1161.47	c (118,0) x[27] = 0
1434.59/1161.47	c (118,0) x[28] = 0
1434.59/1161.47	c (118,0) x[29] = 0
1434.59/1161.47	c (118,0) x[30] = 0
1434.59/1161.47	c (118,0) x[31] = 0
1434.59/1161.47	c (118,0) x[32] = 0
1434.59/1161.47	c (118,0) x[33] = 0
1434.59/1161.47	c (118,0) x[34] = 0
1434.59/1161.47	c (118,0) x[35] = 0
1434.59/1161.47	c (118,0) x[36] = 0
1434.59/1161.47	c (118,0) x[37] = 0
1434.59/1161.47	c (118,0) x[38] = 0
1434.59/1161.47	c (118,0) x[39] = 0
1434.59/1161.47	c (118,0) x[40] = 0
1434.59/1161.47	c (118,0) x[41] = 0
1434.59/1161.47	c (118,0) x[42] = 0
1434.59/1161.47	c (118,0) x[43] = 0
1434.59/1161.47	c (118,0) x[44] = 0
1434.59/1161.47	c (118,0) x[45] = 0
1434.59/1161.47	c (118,0) x[46] = 0
1434.59/1161.47	c (118,0) x[47] = 0
1434.59/1161.47	c (118,0) x[48] = 0
1434.59/1161.47	c (118,0) x[49] = 0
1434.59/1161.47	c (118,0) x[50] = 0
1434.59/1161.47	c (118,0) x[51] = 0
1434.59/1161.47	c (118,0) x[52] = 0
1434.59/1161.47	c (118,0) x[53] = 0
1434.59/1161.47	c (118,0) x[54] = 0
1434.59/1161.47	c (118,0) x[55] = 0
1434.59/1161.47	c (118,0) x[56] = 0
1434.59/1161.47	c (118,0) x[57] = 0
1434.59/1161.47	c (118,0) x[58] = 0
1434.59/1161.47	c (118,0) x[59] = 0
1434.59/1161.47	c (118,0) x[60] = 0
1434.59/1161.47	c (118,0) x[61] = 0
1434.59/1161.47	c (118,0) x[62] = 0
1434.59/1161.47	c (118,0) x[63] = 0
1434.59/1161.47	c (118,0) x[64] = 0
1434.59/1161.47	c (118,0) x[65] = 0
1434.59/1161.47	c (118,0) x[66] = 0
1434.59/1161.47	c (118,0) x[67] = 0
1434.59/1161.47	c (118,0) x[68] = 0
1434.59/1161.47	c (118,0) x[69] = 0
1434.59/1161.47	c (118,0) x[70] = 0
1434.59/1161.47	c (118,0) x[71] = 0
1434.59/1161.47	c (118,0) x[72] = 0
1434.59/1161.47	c (118,0) x[73] = 0
1434.59/1161.47	c (118,0) x[74] = 0
1434.59/1161.47	c (118,0) x[75] = 0
1434.59/1161.47	c (118,0) x[76] = 0
1434.59/1161.47	c (118,0) x[77] = 0
1434.59/1161.47	c (118,0) x[78] = 0
1434.59/1161.47	c (118,0) x[79] = 0
1434.59/1161.47	c (118,0) x[80] = 0
1434.59/1161.47	c (118,0) x[81] = 0
1434.59/1161.47	c (118,0) x[82] = 0
1434.59/1161.47	c (118,0) x[83] = 0
1434.59/1161.47	c (118,0) x[84] = 0
1434.59/1161.47	c (118,0) x[85] = 0
1434.59/1161.47	c (118,0) x[86] = 0
1434.59/1161.47	c (118,0) x[87] = 0
1434.59/1161.47	c (118,0) x[88] = 0
1434.59/1161.47	c (118,0) x[89] = 0
1434.59/1161.47	c (118,0) x[90] = 0
1434.59/1161.47	c (118,0) x[91] = 0
1434.59/1161.47	c (118,0) x[92] = 0
1434.59/1161.47	c (118,0) x[93] = 0
1434.59/1161.47	c (118,0) x[94] = 0
1434.59/1161.47	c (118,0) x[95] = 0
1434.59/1161.47	c (118,0) x[96] = 0
1434.59/1161.47	c (118,0) x[97] = 0
1434.59/1161.47	c (118,0) x[98] = 0
1434.59/1161.47	c (118,0) x[99] = 0
1434.59/1161.47	c (118,0) x[100] = 0
1434.59/1161.47	c (118,0) x[101] = 0
1434.59/1161.47	c (118,0) x[102] = 0
1434.59/1161.47	c (118,0) x[103] = 0
1434.59/1161.47	c (118,0) x[104] = 0
1434.59/1161.47	c (118,0) x[105] = 0
1434.59/1161.47	c (118,0) x[106] = 0
1434.59/1161.47	c (118,0) x[107] = 0
1434.59/1161.47	c (118,0) x[108] = 0
1434.59/1161.47	c (118,0) x[109] = 0
1434.59/1161.47	c (118,0) x[110] = 0
1434.59/1161.47	c (118,0) x[111] = 0
1434.59/1161.47	c (118,0) x[112] = 0
1434.59/1161.47	c (118,0) x[113] = 0
1434.59/1161.47	c (118,0) x[114] = 0
1434.59/1161.47	c (118,0) x[115] = 0
1434.59/1161.47	c (118,0) x[116] = 0
1434.59/1161.47	c (118,0) x[117] = 0
1434.59/1161.47	c (118,0) x[118] = 0
1434.59/1161.47	c (118,0) x[119] = 0
1434.59/1161.47	c (118,0) x[120] = 0
1434.59/1161.47	c (118,0) x[121] = 0
1434.59/1161.47	c (118,0) x[122] = 0
1434.59/1161.47	c (118,0) x[123] = 0
1434.59/1161.47	c (118,0) x[124] = 0
1434.59/1161.47	c (118,0) x[125] = 0
1434.59/1161.47	c (118,0) x[126] = 0
1434.59/1161.47	c (118,0) x[127] = 0
1434.59/1161.47	c (118,0) x[128] = 0
1434.59/1161.47	c (118,0) x[129] = 0
1434.59/1161.47	c (118,0) x[130] = 0
1434.59/1161.47	c (118,0) x[131] = 0
1434.59/1161.47	c (118,0) x[132] = 0
1434.59/1161.47	c (118,0) x[133] = 0
1434.59/1161.47	c (118,0) x[134] = 0
1434.59/1161.47	c (118,0) x[135] = 0
1434.59/1161.47	c (118,0) x[136] = 0
1434.59/1161.47	c (118,0) x[137] = 0
1434.59/1161.47	c (118,0) x[138] = 0
1434.59/1161.47	c (118,0) x[139] = 0
1434.59/1161.47	c (118,0) x[140] = 0
1434.59/1161.47	c (118,0) x[141] = 0
1434.59/1161.47	c (118,0) x[142] = 0
1434.59/1161.47	c (118,0) x[143] = 0
1434.59/1161.47	c (118,0) x[144] = 0
1434.59/1161.47	c (118,0) x[145] = 0
1434.59/1161.47	c (118,0) x[146] = 0
1434.59/1161.47	c (118,0) x[147] = 0
1434.59/1161.47	c (118,0) x[148] = 0
1434.59/1161.47	c (118,0) x[149] = 0
1434.59/1161.47	c (118,0) x[150] = 0
1434.59/1161.47	c (118,0) x[151] = 0
1434.59/1161.47	c (118,0) x[152] = 0
1434.59/1161.47	c (118,0) x[153] = 0
1434.59/1161.47	c (118,0) x[154] = 0
1434.59/1161.47	c (118,0) x[155] = 0
1434.59/1161.47	c (118,0) x[156] = 0
1434.59/1161.47	c (118,0) x[157] = 0
1434.59/1161.47	c (118,0) x[158] = 0
1434.59/1161.47	c (118,0) x[159] = 0
1434.59/1161.47	c (118,0) x[160] = 0
1434.59/1161.47	c (118,0) x[161] = 0
1434.59/1161.47	c (118,0) x[162] = 0
1434.59/1161.47	c (118,0) x[163] = 0
1434.59/1161.47	c (118,0) x[164] = 0
1434.59/1161.47	c (118,0) x[165] = 0
1434.59/1161.47	c (118,0) x[166] = 0
1434.59/1161.47	c (118,0) x[167] = 0
1434.59/1161.47	c (118,0) x[168] = 0
1434.59/1161.47	c (118,0) x[169] = 0
1434.59/1161.47	c (118,0) x[170] = 0
1434.59/1161.47	c (118,0) x[171] = 0
1434.59/1161.47	c (118,0) x[172] = 0
1434.59/1161.47	c (118,0) x[173] = 0
1434.59/1161.47	c (118,0) x[174] = 0
1434.59/1161.47	c (118,0) x[175] = 0
1434.59/1161.47	c (118,0) x[176] = 0
1434.59/1161.47	c (118,0) x[177] = 0
1434.59/1161.47	c (118,0) x[178] = 0
1434.59/1161.47	c (118,0) x[179] = 0
1434.59/1161.47	c (118,0) x[180] = 0
1434.59/1161.47	c (118,0) x[181] = 0
1434.59/1161.47	c (118,0) x[182] = 0
1434.59/1161.47	c (118,0) x[183] = 0
1434.59/1161.47	c (118,0) x[184] = 0
1434.59/1161.47	c (118,0) x[185] = 0
1434.59/1161.47	c (118,0) x[186] = 0
1434.59/1161.47	c (118,0) x[187] = 0
1434.59/1161.47	c (118,0) x[188] = 0
1434.59/1161.47	c (118,0) x[189] = 0
1434.59/1161.47	c (118,0) x[190] = 0
1434.59/1161.47	c (118,0) x[191] = 0
1434.59/1161.47	c (118,0) x[192] = 0
1434.59/1161.47	c (118,0) x[193] = 0
1434.59/1161.47	c (118,0) x[194] = 0
1434.59/1161.47	c (118,0) x[195] = 0
1434.59/1161.47	c (118,0) x[196] = 0
1434.59/1161.47	c (118,0) x[197] = 0
1434.59/1161.47	c (118,0) x[198] = 0
1434.59/1161.47	c (118,0) x[199] = 0
1434.59/1161.47	c (118,0) x[200] = 0
1434.59/1161.47	c (118,0) x[201] = 0
1434.59/1161.47	c (118,0) x[202] = 0
1434.59/1161.47	c (118,0) x[203] = 0
1434.59/1161.47	c (118,0) x[204] = 0
1434.59/1161.47	c (118,0) x[205] = 0
1434.59/1161.47	c (118,0) x[206] = 0
1434.59/1161.47	c (118,0) x[207] = 0
1434.59/1161.47	c (118,0) x[208] = 0
1434.59/1161.47	c (118,0) x[209] = 0
1434.59/1161.47	c (118,0) x[210] = 0
1434.59/1161.47	c (118,0) x[211] = 0
1434.59/1161.47	c (118,0) x[212] = 0
1434.59/1161.47	c (118,0) x[213] = 0
1434.59/1161.47	c (118,0) x[214] = 0
1434.59/1161.47	c (118,0) x[215] = 0
1434.59/1161.47	c (118,0) x[216] = 0
1434.59/1161.47	c (118,0) x[217] = 0
1434.59/1161.47	c (118,0) x[218] = 0
1434.59/1161.47	c (118,0) x[219] = 0
1434.59/1161.47	c (118,0) x[220] = 0
1434.59/1161.47	c (118,0) x[221] = 0
1434.59/1161.47	c (118,0) x[222] = 0
1434.59/1161.47	c (118,0) x[223] = 0
1434.59/1161.47	c (118,0) x[224] = 0
1434.59/1161.47	c (118,0) x[225] = 0
1434.59/1161.47	c (118,0) x[226] = 0
1434.59/1161.47	c (118,0) x[227] = 0
1434.59/1161.47	c (118,0) x[228] = 0
1434.59/1161.47	c (118,0) x[229] = 0
1434.59/1161.47	c (118,0) x[230] = 0
1434.59/1161.47	c (118,0) x[231] = 0
1434.59/1161.47	c (118,0) x[232] = 0
1434.59/1161.47	c (118,0) x[233] = 0
1434.59/1161.47	c (118,0) x[234] = 0
1434.59/1161.47	c (118,0) x[235] = 0
1434.59/1161.47	c (118,0) x[236] = 0
1434.59/1161.47	c (118,0) x[237] = 0
1434.59/1161.47	c (118,0) x[238] = 0
1434.59/1161.47	c (118,0) x[239] = 0
1434.59/1161.47	c (118,0) x[240] = 0
1434.59/1161.47	c (118,0) x[241] = 0
1434.59/1161.47	c (118,0) x[242] = 0
1434.59/1161.47	c (118,0) x[243] = 0
1434.59/1161.47	c (118,0) x[244] = 0
1434.59/1161.47	c (118,0) x[245] = 0
1434.59/1161.47	c (118,0) x[246] = 0
1434.59/1161.47	c (118,0) x[247] = 0
1434.59/1161.47	c (118,0) x[248] = 0
1434.59/1161.47	c (118,0) x[249] = 0
1434.59/1161.47	c (118,0) x[250] = 0
1434.59/1161.47	c (118,0) x[251] = 0
1434.59/1161.47	c (118,0) x[252] = 0
1434.59/1161.47	c (118,0) x[253] = 0
1434.59/1161.47	c (118,0) x[254] = 0
1434.59/1161.47	c (118,0) x[255] = 0
1434.59/1161.47	c (118,0) x[256] = 0
1434.59/1161.47	c (118,0) x[257] = 0
1434.59/1161.47	c (118,0) x[258] = 0
1434.59/1161.47	c (118,0) x[259] = 0
1434.59/1161.47	c (118,0) x[260] = 0
1434.59/1161.47	c (118,0) x[261] = 0
1434.59/1161.47	c (118,0) x[262] = 0
1434.59/1161.47	c (118,0) x[263] = 0
1434.59/1161.47	c (118,0) x[264] = 0
1434.59/1161.47	c (118,0) x[265] = 0
1434.59/1161.47	c (118,0) x[266] = 0
1434.59/1161.47	c (118,0) x[267] = 0
1434.59/1161.47	c (118,0) x[268] = 0
1434.59/1161.47	c (118,0) x[269] = 0
1434.59/1161.47	c (118,0) x[270] = 0
1434.59/1161.47	c (118,0) x[271] = 0
1434.59/1161.47	c (118,0) x[272] = 0
1434.59/1161.48	c (118,0) x[273] = 0
1434.59/1161.48	c (118,0) x[274] = 0
1434.59/1161.48	c (118,0) x[275] = 0
1434.59/1161.48	c (118,0) x[276] = 0
1434.59/1161.48	c (118,0) x[277] = 0
1434.59/1161.48	c (118,0) x[278] = 0
1434.59/1161.48	c (118,0) x[279] = 0
1434.59/1161.48	c (118,0) x[280] = 0
1434.59/1161.48	c (118,0) x[281] = 0
1434.59/1161.48	c (118,0) x[282] = 0
1434.59/1161.48	c (118,0) x[283] = 0
1434.59/1161.48	c (118,0) x[284] = 0
1434.59/1161.48	c (118,0) x[285] = 0
1434.59/1161.48	c (118,0) x[286] = 0
1434.59/1161.48	c (118,0) x[287] = 0
1434.59/1161.48	c (118,0) x[288] = 0
1434.59/1161.48	c (118,0) x[289] = 0
1434.59/1161.48	c (118,0) x[290] = 0
1434.59/1161.48	c (118,0) x[291] = 0
1434.59/1161.48	c (118,0) x[292] = 0
1434.59/1161.48	c (118,0) x[293] = 0
1434.59/1161.48	c (118,0) x[294] = 0
1434.59/1161.48	c (118,0) x[295] = 0
1434.59/1161.48	c (118,0) x[296] = 0
1434.59/1161.48	c (118,0) x[297] = 0
1434.59/1161.48	c (118,0) x[298] = 0
1434.59/1161.48	c (118,0) x[299] = 0
1434.59/1161.48	c (118,0) x[300] = 0
1434.59/1161.48	c (118,0) x[301] = 0
1434.59/1161.48	c (118,0) x[302] = 0
1434.59/1161.48	c (118,0) x[303] = 0
1434.59/1161.48	c (118,0) x[304] = 0
1434.59/1161.48	c (118,0) x[305] = 0
1434.59/1161.48	c (118,0) x[306] = 0
1434.59/1161.48	c (118,0) x[307] = 0
1434.59/1161.48	c (118,0) x[308] = 0
1434.59/1161.48	c (118,0) x[309] = 0
1434.59/1161.48	c (118,0) x[310] = 0
1434.59/1161.48	c (118,0) x[311] = 0
1434.59/1161.48	c (118,0) x[312] = 0
1434.59/1161.48	c (118,0) x[313] = 0
1434.59/1161.48	c (118,0) x[314] = 0
1434.59/1161.48	c (118,0) x[315] = 0
1434.59/1161.48	c (118,0) x[316] = 0
1434.59/1161.48	c (118,0) x[317] = 0
1434.59/1161.48	c (118,0) x[318] = 0
1434.59/1161.48	c (118,0) x[319] = 0
1434.59/1161.48	c (118,0) x[320] = 0
1434.59/1161.48	c (118,0) x[321] = 0
1434.59/1161.48	c (118,0) x[322] = 0
1434.59/1161.48	c (118,0) x[323] = 0
1434.59/1161.48	c (118,0) x[324] = 0
1434.59/1161.48	c (118,0) x[325] = 0
1434.59/1161.48	c (118,0) x[326] = 0
1434.59/1161.48	c (118,0) x[327] = 0
1434.59/1161.48	c (118,0) x[328] = 0
1434.59/1161.48	c (118,0) x[329] = 0
1434.59/1161.48	c (118,0) x[330] = 0
1434.59/1161.48	c (118,0) x[331] = 0
1434.59/1161.48	c (118,0) x[332] = 0
1434.59/1161.48	c (118,0) x[333] = 0
1434.59/1161.48	c (118,0) x[334] = 0
1434.59/1161.48	c (118,0) x[335] = 0
1434.59/1161.48	c (118,0) x[336] = 0
1434.59/1161.48	c (118,0) x[337] = 0
1434.59/1161.48	c (118,0) x[338] = 0
1434.59/1161.48	c (118,0) x[339] = 0
1434.59/1161.48	c (118,0) x[340] = 0
1434.59/1161.48	c (118,0) x[341] = 0
1434.59/1161.48	c (118,0) x[342] = 0
1434.59/1161.48	c (118,0) x[343] = 0
1434.59/1161.48	c (118,0) x[344] = 0
1434.59/1161.48	c (118,0) x[345] = 0
1434.59/1161.48	c (118,0) x[346] = 0
1434.59/1161.48	c (118,0) x[347] = 0
1434.59/1161.48	c (118,0) x[348] = 0
1434.59/1161.48	c (118,0) x[349] = 0
1434.59/1161.48	c (118,0) x[350] = 0
1434.59/1161.48	c (118,0) x[351] = 0
1434.59/1161.48	c (118,0) x[352] = 0
1434.59/1161.48	c (118,0) x[353] = 0
1434.59/1161.48	c (118,0) x[354] = 0
1434.59/1161.48	c (118,0) x[355] = 0
1434.59/1161.48	c (118,0) x[356] = 0
1434.59/1161.48	c (118,0) x[357] = 0
1434.59/1161.48	c (118,0) x[358] = 0
1434.59/1161.48	c (118,0) x[359] = 0
1434.59/1161.48	c (118,0) x[360] = 0
1434.59/1161.48	c (118,0) x[361] = 0
1434.59/1161.48	c (118,0) x[362] = 0
1434.59/1161.48	c (118,0) x[363] = 0
1434.59/1161.48	c (118,0) x[364] = 0
1434.59/1161.48	c (118,0) x[365] = 0
1434.59/1161.48	c (118,0) x[366] = 0
1434.59/1161.48	c (118,0) x[367] = 0
1434.59/1161.48	c (118,0) x[368] = 0
1434.59/1161.48	c (118,0) x[369] = 0
1434.59/1161.48	c (118,0) x[370] = 0
1434.59/1161.48	c (118,0) x[371] = 0
1434.59/1161.48	c (118,0) x[372] = 0
1434.59/1161.48	c (118,0) x[373] = 0
1434.59/1161.48	c (118,0) x[374] = 0
1434.59/1161.48	c (118,0) x[375] = 0
1434.59/1161.48	c (118,0) x[376] = 0
1434.59/1161.48	c (118,0) x[377] = 0
1434.59/1161.48	c (118,0) x[378] = 0
1434.59/1161.48	c (118,0) x[379] = 0
1434.59/1161.48	c (118,0) x[380] = 0
1434.59/1161.48	c (118,0) x[381] = 0
1434.59/1161.48	c (118,0) x[382] = 0
1434.59/1161.48	c (118,0) x[383] = 0
1434.59/1161.48	c (118,0) x[384] = 0
1434.59/1161.48	c (118,0) x[385] = 0
1434.59/1161.48	c (118,0) x[386] = 0
1434.59/1161.48	c (118,0) x[387] = 0
1434.59/1161.48	c (118,0) x[388] = 0
1434.59/1161.48	c (118,0) x[389] = 0
1434.59/1161.48	c (118,0) x[390] = 0
1434.59/1161.48	c (118,0) x[391] = 0
1434.59/1161.48	c (118,0) x[392] = 0
1434.59/1161.48	c (118,0) x[393] = 0
1434.59/1161.48	c (118,0) x[394] = 0
1434.59/1161.48	c (118,0) x[395] = 0
1434.59/1161.48	c (118,0) x[396] = 0
1434.59/1161.48	c (118,0) x[397] = 0
1434.59/1161.48	c (118,0) x[398] = 0
1434.59/1161.48	c (118,0) x[399] = 0
1434.59/1161.48	c (118,0) x[400] = 0
1434.59/1161.48	c (118,0) x[401] = 0
1434.59/1161.48	c (118,0) x[402] = 0
1434.59/1161.48	c (118,0) x[403] = 0
1434.59/1161.48	c (118,0) x[404] = 0
1434.59/1161.48	c (118,0) x[405] = 0
1434.59/1161.48	c (118,0) x[406] = 0
1434.59/1161.48	c (118,0) x[407] = 0
1434.59/1161.48	c (118,0) x[408] = 0
1434.59/1161.48	c (118,0) x[409] = 0
1434.59/1161.48	c (118,0) x[410] = 0
1434.59/1161.48	c (118,0) x[411] = 0
1434.59/1161.48	c (118,0) x[412] = 0
1434.59/1161.48	c (118,0) x[413] = 0
1434.59/1161.48	c (118,0) x[414] = 0
1434.59/1161.48	c (118,0) x[415] = 0
1434.59/1161.48	c (118,0) x[416] = 0
1434.59/1161.48	c (118,0) x[417] = 0
1434.59/1161.48	c (118,0) x[418] = 0
1434.59/1161.48	c (118,0) x[419] = 0
1434.59/1161.48	c (118,0) x[420] = 0
1434.59/1161.48	c (118,0) x[421] = 0
1434.59/1161.48	c (118,0) x[422] = 0
1434.59/1161.48	c (118,0) x[423] = 0
1434.59/1161.48	c (118,0) x[424] = 0
1434.59/1161.48	c (118,0) x[425] = 0
1434.59/1161.48	c (118,0) x[426] = 0
1434.59/1161.48	c (118,0) x[427] = 0
1434.59/1161.48	c (118,0) x[428] = 0
1434.59/1161.48	c (118,0) x[429] = 0
1434.59/1161.48	c (118,0) x[430] = 0
1434.59/1161.48	c (118,0) x[431] = 0
1434.59/1161.48	c (118,0) x[432] = 0
1434.59/1161.48	c (118,0) x[433] = 0
1434.59/1161.48	c (118,0) x[434] = 0
1434.59/1161.48	c (118,0) x[435] = 0
1434.59/1161.48	c (118,0) x[436] = 0
1434.59/1161.48	c (118,0) x[437] = 0
1434.59/1161.48	c (118,0) x[438] = 0
1434.59/1161.48	c (118,0) x[439] = 0
1434.59/1161.48	c (118,0) x[440] = 0
1434.59/1161.48	c (118,0) x[441] = 0
1434.59/1161.48	c (118,0) x[442] = 0
1434.59/1161.48	c (118,0) x[443] = 0
1434.59/1161.48	c (118,0) x[444] = 0
1434.59/1161.48	c (118,0) x[445] = 0
1434.59/1161.48	c (118,0) x[446] = 0
1434.59/1161.48	c (118,0) x[447] = 0
1434.59/1161.48	c (118,0) x[448] = 0
1434.59/1161.48	c (118,0) x[449] = 0
1434.59/1161.48	c (118,0) x[450] = 0
1434.59/1161.48	c (118,0) x[451] = 0
1434.59/1161.48	c (118,0) x[452] = 0
1434.59/1161.48	c (118,0) x[453] = 0
1434.59/1161.48	c (118,0) x[454] = 0
1434.59/1161.48	c (118,0) x[455] = 0
1434.59/1161.48	c (118,0) x[456] = 0
1434.59/1161.48	c (118,0) x[457] = 0
1434.59/1161.48	c (118,0) x[458] = 0
1434.59/1161.48	c (118,0) x[459] = 0
1434.59/1161.48	c (118,0) x[460] = 0
1434.59/1161.48	c (118,0) x[461] = 0
1434.59/1161.48	c (118,0) x[462] = 0
1434.59/1161.48	c (118,0) x[463] = 0
1434.59/1161.48	c (118,0) x[464] = 0
1434.59/1161.48	c (118,0) x[465] = 0
1434.59/1161.48	c (118,0) x[466] = 0
1434.59/1161.48	c (118,0) x[467] = 0
1434.59/1161.48	c (118,0) x[468] = 0
1434.59/1161.48	c (118,0) x[469] = 0
1434.59/1161.48	c (118,0) x[470] = 0
1434.59/1161.48	c (118,0) x[471] = 0
1434.59/1161.48	c (118,0) x[472] = 0
1434.59/1161.48	c (118,0) x[473] = 0
1434.59/1161.48	c (118,0) x[474] = 0
1434.59/1161.48	c (118,0) x[475] = 0
1434.59/1161.48	c (118,0) x[476] = 0
1434.59/1161.48	c (118,0) x[477] = 0
1434.59/1161.48	c (118,0) x[478] = 0
1434.59/1161.48	c (118,0) x[479] = 0
1434.59/1161.48	c (118,0) x[480] = 0
1434.59/1161.48	c (118,0) x[481] = 0
1434.59/1161.48	c (118,0) x[482] = 0
1434.59/1161.48	c (118,0) x[483] = 0
1434.59/1161.48	c (118,0) x[484] = 0
1434.59/1161.48	c (118,0) x[485] = 0
1434.59/1161.48	c (118,0) x[486] = 0
1434.59/1161.48	c (118,0) x[487] = 0
1434.59/1161.48	c (118,0) x[488] = 0
1434.59/1161.48	c (118,0) x[489] = 0
1434.59/1161.48	c (118,0) x[490] = 0
1434.59/1161.48	c (118,0) x[491] = 0
1434.59/1161.48	c (118,0) x[492] = 0
1434.59/1161.48	c (118,0) x[493] = 0
1434.59/1161.48	c (118,0) x[494] = 0
1434.59/1161.48	c (118,0) x[495] = 0
1434.59/1161.48	c (118,0) x[496] = 0
1434.59/1161.48	c (118,0) x[497] = 0
1434.59/1161.48	c (118,0) x[498] = 0
1434.59/1161.48	c (118,0) x[499] = 0
1434.59/1161.48	c (118,0) x[500] = 0
1434.59/1161.48	c (118,0) x[501] = 0
1434.59/1161.48	c (118,0) x[502] = 0
1434.59/1161.48	c (118,0) x[503] = 0
1434.59/1161.48	c (118,0) x[504] = 0
1434.59/1161.48	c (118,0) x[505] = 0
1434.59/1161.48	c (118,0) x[506] = 0
1434.59/1161.48	c (118,0) x[507] = 0
1434.59/1161.48	c (118,0) x[508] = 0
1434.59/1161.48	c (118,0) x[509] = 0
1434.59/1161.48	c (118,0) x[510] = 0
1434.59/1161.48	c (118,0) x[511] = 0
1434.59/1161.48	c (118,0) x[512] = 0
1434.59/1161.48	c (118,0) x[513] = 0
1434.59/1161.48	c (118,0) x[514] = 0
1434.59/1161.48	c (118,0) x[515] = 0
1434.59/1161.48	c (118,0) x[516] = 0
1434.59/1161.48	c (118,0) x[517] = 0
1434.59/1161.48	c (118,0) x[518] = 0
1434.59/1161.48	c (118,0) x[519] = 0
1434.59/1161.48	c (118,0) x[520] = 0
1434.59/1161.48	c (118,0) x[521] = 0
1434.59/1161.48	c (118,0) x[522] = 0
1434.59/1161.48	c (118,0) x[523] = 0
1434.59/1161.48	c (118,0) x[524] = 0
1434.59/1161.48	c (118,0) x[525] = 0
1434.59/1161.48	c (118,0) x[526] = 0
1434.59/1161.48	c (118,0) x[527] = 0
1434.59/1161.48	c (118,0) x[528] = 0
1434.59/1161.48	c (118,0) x[529] = 0
1434.59/1161.48	c (118,0) x[530] = 0
1434.59/1161.48	c (118,0) x[531] = 0
1434.59/1161.48	c (118,0) x[532] = 0
1434.59/1161.48	c (118,0) x[533] = 0
1434.59/1161.48	c (118,0) x[534] = 0
1434.59/1161.48	c (118,0) x[535] = 0
1434.59/1161.48	c (118,0) x[536] = 0
1434.59/1161.48	c (118,0) x[537] = 0
1434.59/1161.48	c (118,0) x[538] = 0
1434.59/1161.48	c (118,0) x[539] = 0
1434.59/1161.48	c (118,0) x[540] = 0
1434.59/1161.48	c (118,0) x[541] = 0
1434.59/1161.48	c (118,0) x[542] = 0
1434.59/1161.48	c (118,0) x[543] = 0
1434.59/1161.48	c (118,0) x[544] = 0
1434.59/1161.48	c (118,0) x[545] = 0
1434.59/1161.48	c (118,0) x[546] = 0
1434.59/1161.48	c (118,0) x[547] = 0
1434.59/1161.48	c (118,0) x[548] = 0
1434.59/1161.48	c (118,0) x[549] = 0
1434.59/1161.48	c (118,0) x[550] = 0
1434.59/1161.48	c (118,0) x[551] = 0
1434.59/1161.48	c (118,0) x[552] = 0
1434.59/1161.48	c (118,0) x[553] = 0
1434.59/1161.48	c (118,0) x[554] = 0
1434.59/1161.48	c (118,0) x[555] = 0
1434.59/1161.48	c (118,0) x[556] = 0
1434.59/1161.48	c (118,0) x[557] = 0
1434.59/1161.48	c (118,0) x[558] = 0
1434.59/1161.48	c (118,0) x[559] = 0
1434.59/1161.48	c (118,0) x[560] = 0
1434.59/1161.48	c (118,0) x[561] = 0
1434.59/1161.48	c (118,0) x[562] = 0
1434.59/1161.48	c (118,0) x[563] = 0
1434.59/1161.48	c (118,0) x[564] = 0
1434.59/1161.48	c (118,0) x[565] = 0
1434.59/1161.48	c (118,0) x[566] = 0
1434.59/1161.48	c (118,0) x[567] = 0
1434.59/1161.48	c (118,0) x[568] = 0
1434.59/1161.48	c (118,0) x[569] = 0
1434.59/1161.48	c (118,0) x[570] = 0
1434.59/1161.48	c (118,0) x[571] = 0
1434.59/1161.48	c (118,0) x[572] = 0
1434.59/1161.48	c (118,0) x[573] = 0
1434.59/1161.48	c (118,0) x[574] = 0
1434.59/1161.48	c (118,0) x[575] = 0
1434.59/1161.48	c (118,0) x[576] = 0
1434.59/1161.48	c (118,0) x[577] = 0
1434.59/1161.48	c (118,0) x[578] = 0
1434.59/1161.48	c (118,0) x[579] = 0
1434.59/1161.48	c (118,0) x[580] = 0
1434.59/1161.48	c (118,0) x[581] = 0
1434.59/1161.48	c (118,0) x[582] = 0
1434.59/1161.48	c (118,0) x[583] = 0
1434.59/1161.48	c (118,0) x[584] = 0
1434.59/1161.48	c (118,0) x[585] = 0
1434.59/1161.48	c (118,0) x[586] = 0
1434.59/1161.48	c (118,0) x[587] = 0
1434.59/1161.48	c (118,0) x[588] = 0
1434.59/1161.48	c (118,0) x[589] = 0
1434.59/1161.48	c (118,0) x[590] = 0
1434.59/1161.48	c (118,0) x[591] = 0
1434.59/1161.48	c (118,0) x[592] = 0
1434.59/1161.48	c (118,0) x[593] = 0
1434.59/1161.48	c (118,0) x[594] = 0
1434.59/1161.48	c (118,0) x[595] = 0
1434.59/1161.48	c (118,0) x[596] = 0
1434.59/1161.48	c (118,0) x[597] = 0
1434.59/1161.48	c (118,0) x[598] = 0
1434.59/1161.48	c (118,0) x[599] = 0
1434.59/1161.48	c (118,0) x[600] = 0
1434.59/1161.48	c (118,0) x[601] = 0
1434.59/1161.48	c (118,0) x[602] = 0
1434.59/1161.48	c (118,0) x[603] = 0
1434.59/1161.48	c (118,0) x[604] = 0
1434.59/1161.48	c (118,0) x[605] = 0
1434.59/1161.48	c (118,0) x[606] = 0
1434.59/1161.48	c (118,0) x[607] = 0
1434.59/1161.48	c (118,0) x[608] = 0
1434.59/1161.48	c (118,0) x[609] = 0
1434.59/1161.48	c (118,0) x[610] = 0
1434.59/1161.48	c (118,0) x[611] = 0
1434.59/1161.48	c (118,0) x[612] = 0
1434.59/1161.48	c (118,0) x[613] = 0
1434.59/1161.48	c (118,0) x[614] = 0
1434.59/1161.48	c (118,0) x[615] = 0
1434.59/1161.48	c (118,0) x[616] = 0
1434.59/1161.48	c (118,0) x[617] = 0
1434.59/1161.49	c (118,0) x[618] = 0
1434.59/1161.49	c (118,0) x[619] = 0
1434.59/1161.49	c (118,0) x[620] = 0
1434.59/1161.49	c (118,0) x[621] = 0
1434.59/1161.49	c (118,0) x[622] = 0
1434.59/1161.49	c (118,0) x[623] = 0
1434.59/1161.49	c (118,0) x[624] = 0
1434.59/1161.49	c (118,0) x[625] = 0
1434.59/1161.49	c (118,0) x[626] = 0
1434.59/1161.49	c (118,0) x[627] = 0
1434.59/1161.49	c (118,0) x[628] = 0
1434.59/1161.49	c (118,0) x[629] = 0
1434.59/1161.49	c (118,0) x[630] = 0
1434.59/1161.49	c (118,0) x[631] = 0
1434.59/1161.49	c (118,0) x[632] = 0
1434.59/1161.49	c (118,0) x[633] = 0
1434.59/1161.49	c (118,0) x[634] = 0
1434.59/1161.49	c (118,0) x[635] = 0
1434.59/1161.49	c (118,0) x[636] = 0
1434.59/1161.49	c (118,0) x[637] = 0
1434.59/1161.49	c (118,0) x[638] = 0
1434.59/1161.49	c (118,0) x[639] = 0
1434.59/1161.49	c (118,0) x[640] = 0
1434.59/1161.49	c (118,0) x[641] = 0
1434.59/1161.49	c (118,0) x[642] = 0
1434.59/1161.49	c (118,0) x[643] = 0
1434.59/1161.49	c (118,0) x[644] = 0
1434.59/1161.49	c (118,0) x[645] = 0
1434.59/1161.49	c (118,0) x[646] = 0
1434.59/1161.49	c (118,0) x[647] = 0
1434.59/1161.49	c (118,0) x[648] = 0
1434.59/1161.49	c (118,0) x[649] = 0
1434.59/1161.49	c (118,0) x[650] = 0
1434.59/1161.49	c (118,0) x[651] = 0
1434.59/1161.49	c (118,0) x[652] = 0
1434.59/1161.49	c (118,0) x[653] = 0
1434.59/1161.49	c (118,0) x[654] = 0
1434.59/1161.49	c (118,0) x[655] = 0
1434.59/1161.49	c (118,0) x[656] = 0
1434.59/1161.49	c (118,0) x[657] = 0
1434.59/1161.49	c (118,0) x[658] = 0
1434.59/1161.49	c (118,0) x[659] = 0
1434.59/1161.49	c (118,0) x[660] = 0
1434.59/1161.49	c (118,0) x[661] = 0
1434.59/1161.49	c (118,0) x[662] = 0
1434.59/1161.49	c (118,0) x[663] = 0
1434.59/1161.49	c (118,0) x[664] = 0
1434.59/1161.49	c (118,0) x[665] = 0
1434.59/1161.49	c (118,0) x[666] = 0
1434.59/1161.49	c (118,0) x[667] = 0
1434.59/1161.49	c (118,0) x[668] = 0
1434.59/1161.49	c (118,0) x[669] = 0
1434.59/1161.49	c (118,0) x[670] = 0
1434.59/1161.49	c (118,0) x[671] = 0
1434.59/1161.49	c (118,0) x[672] = 0
1434.59/1161.49	c (118,0) x[673] = 0
1434.59/1161.49	c (118,0) x[674] = 0
1434.59/1161.49	c (118,0) x[675] = 0
1434.59/1161.49	c (118,0) x[676] = 0
1434.59/1161.49	c (118,0) x[677] = 0
1434.59/1161.49	c (118,0) x[678] = 0
1434.59/1161.49	c (118,0) x[679] = 0
1434.59/1161.49	c (118,0) x[680] = 0
1434.59/1161.49	c (118,0) x[681] = 0
1434.59/1161.49	c (118,0) x[682] = 0
1434.59/1161.49	c (118,0) x[683] = 0
1434.59/1161.49	c (118,0) x[684] = 0
1434.59/1161.49	c (118,0) x[685] = 0
1434.59/1161.49	c (118,0) x[686] = 0
1434.59/1161.49	c (118,0) x[687] = 0
1434.59/1161.49	c (118,0) x[688] = 0
1434.59/1161.49	c (118,0) x[689] = 0
1434.59/1161.49	c (118,0) x[690] = 0
1434.59/1161.49	c (118,0) x[691] = 0
1434.59/1161.49	c (118,0) x[692] = 0
1434.59/1161.49	c (118,0) x[693] = 0
1434.59/1161.49	c (118,0) x[694] = 0
1434.59/1161.49	c (118,0) x[695] = 0
1434.59/1161.49	c (118,0) x[696] = 0
1434.59/1161.49	c (118,0) x[697] = 0
1434.59/1161.49	c (118,0) x[698] = 0
1434.59/1161.49	c (118,0) x[699] = 0
1434.59/1161.49	c (118,0) x[700] = 0
1434.59/1161.49	c (118,0) x[701] = 0
1434.59/1161.49	c (118,0) x[702] = 0
1434.59/1161.49	c (118,0) x[703] = 0
1434.59/1161.49	c (118,0) x[704] = 0
1434.59/1161.49	c (118,0) x[705] = 0
1434.59/1161.49	c (118,0) x[706] = 0
1434.59/1161.49	c (118,0) x[707] = 0
1434.59/1161.49	c (118,0) x[708] = 0
1434.59/1161.49	c (118,0) x[709] = 0
1434.59/1161.49	c (118,0) x[710] = 0
1434.59/1161.49	c (118,0) x[711] = 0
1434.59/1161.49	c (118,0) x[712] = 0
1434.59/1161.49	c (118,0) x[713] = 0
1434.59/1161.49	c (118,0) x[714] = 0
1434.59/1161.49	c (118,0) x[715] = 0
1434.59/1161.49	c (118,0) x[716] = 0
1434.59/1161.49	c (118,0) x[717] = 0
1434.59/1161.49	c (118,0) x[718] = 0
1434.59/1161.49	c (118,0) x[719] = 0
1434.59/1161.49	c (118,0) x[720] = 0
1434.59/1161.49	c (118,0) x[721] = 0
1434.59/1161.49	c (118,0) x[722] = 0
1434.59/1161.49	c (118,0) x[723] = 0
1434.59/1161.49	c (118,0) x[724] = 0
1434.59/1161.49	c (118,0) x[725] = 0
1434.59/1161.49	c (118,0) x[726] = 0
1434.59/1161.49	c (118,0) x[727] = 0
1434.59/1161.49	c (118,0) x[728] = 0
1434.59/1161.49	c (118,0) x[729] = 0
1434.59/1161.49	c (118,0) x[730] = 0
1434.59/1161.49	c (118,0) x[731] = 0
1434.59/1161.49	c (118,0) x[732] = 0
1434.59/1161.49	c (118,0) x[733] = 0
1434.59/1161.49	c (118,0) x[734] = 0
1434.59/1161.49	c (118,0) x[735] = 0
1434.59/1161.49	c (118,0) x[736] = 0
1434.59/1161.49	c (118,0) x[737] = 0
1434.59/1161.49	c (118,0) x[738] = 0
1434.59/1161.49	c (118,0) x[739] = 0
1434.59/1161.49	c (118,0) x[740] = 0
1434.59/1161.49	c (118,0) x[741] = 0
1434.59/1161.49	c (118,0) x[742] = 0
1434.59/1161.49	c (118,0) x[743] = 0
1434.59/1161.49	c (118,0) x[744] = 0
1434.59/1161.49	c (118,0) x[745] = 0
1434.59/1161.49	c (118,0) x[746] = 0
1434.59/1161.49	c (118,0) x[747] = 0
1434.59/1161.49	c (118,0) x[748] = 0
1434.59/1161.49	c (118,0) x[749] = 0
1434.59/1161.49	c (118,0) x[750] = 0
1434.59/1161.49	c (118,0) x[751] = 0
1434.59/1161.49	c (118,0) x[752] = 0
1434.59/1161.49	c (118,0) x[753] = 0
1434.59/1161.49	c (118,0) x[754] = 0
1434.59/1161.49	c (118,0) x[755] = 0
1434.59/1161.49	c (118,0) x[756] = 0
1434.59/1161.49	c (118,0) x[757] = 0
1434.59/1161.49	c (118,0) x[758] = 0
1434.59/1161.49	c (118,0) x[759] = 0
1434.59/1161.49	c (118,0) x[760] = 0
1434.59/1161.49	c (118,0) x[761] = 0
1434.59/1161.49	c (118,0) x[762] = 0
1434.59/1161.49	c (118,0) x[763] = 0
1434.59/1161.49	c (118,0) x[764] = 0
1434.59/1161.49	c (118,0) x[765] = 0
1434.59/1161.49	c (118,0) x[766] = 0
1434.59/1161.49	c (118,0) x[767] = 0
1434.59/1161.49	c (118,0) x[768] = 0
1434.59/1161.49	c (118,0) x[769] = 0
1434.59/1161.49	c (118,0) x[770] = 0
1434.59/1161.49	c (118,0) x[771] = 0
1434.59/1161.49	c (118,0) x[772] = 0
1434.59/1161.49	c (118,0) x[773] = 0
1434.59/1161.49	c (118,0) x[774] = 0
1434.59/1161.49	c (118,0) x[775] = 0
1434.59/1161.49	c (118,0) x[776] = 0
1434.59/1161.49	c (118,0) x[777] = 0
1434.59/1161.49	c (118,0) x[778] = 0
1434.59/1161.49	c (118,0) x[779] = 0
1434.59/1161.49	c (118,0) x[780] = 0
1434.59/1161.49	c (118,0) x[781] = 0
1434.59/1161.49	c (118,0) x[782] = 0
1434.59/1161.49	c (118,0) x[783] = 0
1434.59/1161.49	c (118,0) x[784] = 0
1434.59/1161.49	c (118,0) x[785] = 0
1434.59/1161.49	c (118,0) x[786] = 0
1434.59/1161.49	c (118,0) x[787] = 0
1434.59/1161.49	c (118,0) x[788] = 0
1434.59/1161.49	c (118,0) x[789] = 0
1434.59/1161.49	c (118,0) x[790] = 0
1434.59/1161.49	c (118,0) x[791] = 0
1434.59/1161.49	c (118,0) x[792] = 0
1434.59/1161.49	c (118,0) x[793] = 0
1434.59/1161.49	c (118,0) x[794] = 0
1434.59/1161.49	c (118,0) x[795] = 0
1434.59/1161.49	c (118,0) x[796] = 0
1434.59/1161.49	c (118,0) x[797] = 0
1434.59/1161.49	c (118,0) x[798] = 0
1434.59/1161.49	c (118,0) x[799] = 0
1434.59/1161.49	c (118,0) x[800] = 0
1434.59/1161.49	c (118,0) x[801] = 0
1434.59/1161.49	c (118,0) x[802] = 0
1434.59/1161.49	c (118,0) x[803] = 0
1434.59/1161.49	c (118,0) x[804] = 0
1434.59/1161.49	c (118,0) x[805] = 0
1434.59/1161.49	c (118,0) x[806] = 0
1434.59/1161.49	c (118,0) x[807] = 0
1434.59/1161.49	c (118,0) x[808] = 0
1434.59/1161.49	c (118,0) x[809] = 0
1434.59/1161.49	c (118,0) x[810] = 0
1434.59/1161.49	c (118,0) x[811] = 0
1434.59/1161.49	c (118,0) x[812] = 0
1434.59/1161.49	c (118,0) x[813] = 0
1434.59/1161.49	c (118,0) x[814] = 0
1434.59/1161.49	c (118,0) x[815] = 0
1434.59/1161.49	c (118,0) x[816] = 0
1434.59/1161.49	c (118,0) x[817] = 0
1434.59/1161.49	c (118,0) x[818] = 0
1434.59/1161.49	c (118,0) x[819] = 0
1434.59/1161.49	c (118,0) x[820] = 0
1434.59/1161.49	c (118,0) x[821] = 0
1434.59/1161.49	c (118,0) x[822] = 0
1434.59/1161.49	c (118,0) x[823] = 0
1434.59/1161.49	c (118,0) x[824] = 0
1434.59/1161.49	c (118,0) x[825] = 0
1434.59/1161.49	c (118,0) x[826] = 0
1434.59/1161.49	c (118,0) x[827] = 0
1434.59/1161.49	c (118,0) x[828] = 0
1434.59/1161.49	c (118,0) x[829] = 0
1434.59/1161.49	c (118,0) x[830] = 0
1434.59/1161.49	c (118,0) x[831] = 0
1434.59/1161.49	c (118,0) x[832] = 0
1434.59/1161.49	c (118,0) x[833] = 0
1434.59/1161.49	c (118,0) x[834] = 0
1434.59/1161.49	c (118,0) x[835] = 0
1434.59/1161.49	c (118,0) x[836] = 0
1434.59/1161.49	c (118,0) x[837] = 0
1434.59/1161.49	c (118,0) x[838] = 0
1434.59/1161.49	c (118,0) x[839] = 0
1434.59/1161.49	c (118,0) x[840] = 0
1434.59/1161.49	c (118,0) x[841] = 0
1434.59/1161.49	c (118,0) x[842] = 0
1434.59/1161.49	c (118,0) x[843] = 0
1434.59/1161.49	c (118,0) x[844] = 0
1434.59/1161.49	c (118,0) x[845] = 0
1434.59/1161.49	c (118,0) x[846] = 0
1434.59/1161.49	c (118,0) x[847] = 0
1434.59/1161.49	c (118,0) x[848] = 0
1434.59/1161.49	c (118,0) x[849] = 0
1434.59/1161.49	c (118,0) x[850] = 0
1434.59/1161.49	c (118,0) x[851] = 0
1434.59/1161.49	c (118,0) x[852] = 0
1434.59/1161.49	c (118,0) x[853] = 0
1434.59/1161.49	c (118,0) x[854] = 0
1434.59/1161.49	c (118,0) x[855] = 0
1434.59/1161.49	c (118,0) x[856] = 0
1434.59/1161.49	c (118,0) x[857] = 0
1434.59/1161.49	c (118,0) x[858] = 0
1434.59/1161.49	c (118,0) x[859] = 0
1434.59/1161.49	c (118,0) x[860] = 0
1434.59/1161.49	c (118,0) x[861] = 0
1434.59/1161.49	c (118,0) x[862] = 0
1434.59/1161.49	c (118,0) x[863] = 0
1434.59/1161.49	c (118,0) x[864] = 0
1434.59/1161.49	c (118,0) x[865] = 0
1434.59/1161.49	c (118,0) x[866] = 0
1434.59/1161.49	c (118,0) x[867] = 0
1434.59/1161.49	c (118,0) x[868] = 0
1434.59/1161.49	c (118,0) x[869] = 0
1434.59/1161.49	c (118,0) x[870] = 0
1434.59/1161.49	c (118,0) x[871] = 0
1434.59/1161.49	c (118,0) x[872] = 0
1434.59/1161.49	c (118,0) x[873] = 0
1434.59/1161.49	c (118,0) x[874] = 0
1434.59/1161.49	c (118,0) x[875] = 0
1434.59/1161.49	c (118,0) x[876] = 0
1434.59/1161.49	c (118,0) x[877] = 0
1434.59/1161.49	c (118,0) x[878] = 0
1434.59/1161.49	c (118,0) x[879] = 0
1434.59/1161.49	c (118,0) x[880] = 0
1434.59/1161.49	c (118,0) x[881] = 0
1434.59/1161.49	c (118,0) x[882] = 0
1434.59/1161.49	c (118,0) x[883] = 0
1434.59/1161.49	c (118,0) x[884] = 0
1434.59/1161.49	c (118,0) x[885] = 0
1434.59/1161.49	c (118,0) x[886] = 0
1434.59/1161.49	c (118,0) x[887] = 0
1434.59/1161.49	c (118,0) x[888] = 0
1434.59/1161.49	c (118,0) x[889] = 0
1434.59/1161.49	c (118,0) x[890] = 0
1434.59/1161.49	c (118,0) x[891] = 0
1434.59/1161.49	c (118,0) x[892] = 0
1434.59/1161.49	c (118,0) x[893] = 0
1434.59/1161.49	c (118,0) x[894] = 0
1434.59/1161.49	c (118,0) x[895] = 0
1434.59/1161.49	c (118,0) x[896] = 0
1434.59/1161.49	c (118,0) x[897] = 0
1434.59/1161.49	c (118,0) x[898] = 0
1434.59/1161.49	c (118,0) x[899] = 0
1434.59/1161.49	c (118,0) x[900] = 0
1434.59/1161.49	c (118,0) x[901] = 0
1434.59/1161.49	c (118,0) x[902] = 0
1434.59/1161.49	c (118,0) x[903] = 0
1434.59/1161.49	c (118,0) x[904] = 0
1434.59/1161.49	c (118,0) x[905] = 0
1434.59/1161.49	c (118,0) x[906] = 0
1434.59/1161.49	c (118,0) x[907] = 0
1434.59/1161.49	c (118,0) x[908] = 0
1434.59/1161.49	c (118,0) x[909] = 0
1434.59/1161.49	c (118,0) x[910] = 0
1434.59/1161.49	c (118,0) x[911] = 0
1434.59/1161.49	c (118,0) x[912] = 0
1434.59/1161.49	c (118,0) x[913] = 0
1434.59/1161.49	c (118,0) x[914] = 0
1434.59/1161.49	c (118,0) x[915] = 0
1434.59/1161.49	c (118,0) x[916] = 0
1434.59/1161.49	c (118,0) x[917] = 0
1434.59/1161.49	c (118,0) x[918] = 0
1434.59/1161.49	c (118,0) x[919] = 0
1434.59/1161.49	c (118,0) x[920] = 0
1434.59/1161.49	c (118,0) x[921] = 0
1434.59/1161.49	c (118,0) x[922] = 0
1434.59/1161.49	c (118,0) x[923] = 0
1434.59/1161.49	c (118,0) x[924] = 0
1434.59/1161.49	c (118,0) x[925] = 0
1434.59/1161.49	c (118,0) x[926] = 0
1434.59/1161.49	c (118,0) x[927] = 0
1434.59/1161.49	c (118,0) x[928] = 0
1434.59/1161.49	c (118,0) x[929] = 0
1434.59/1161.49	c (118,0) x[930] = 0
1434.59/1161.49	c (118,0) x[931] = 0
1434.59/1161.49	c (118,0) x[932] = 0
1434.59/1161.49	c (118,0) x[933] = 0
1434.59/1161.49	c (118,0) x[934] = 0
1434.59/1161.49	c (118,0) x[935] = 0
1434.59/1161.49	c (118,0) x[936] = 0
1434.59/1161.49	c (118,0) x[937] = 0
1434.59/1161.49	c (118,0) x[938] = 0
1434.59/1161.49	c (118,0) x[939] = 0
1434.59/1161.49	c (118,0) x[940] = 0
1434.59/1161.49	c (118,0) x[941] = 0
1434.59/1161.49	c (118,0) x[942] = 0
1434.59/1161.49	c (118,0) x[943] = 0
1434.59/1161.49	c (118,0) x[944] = 0
1434.59/1161.49	c (118,0) x[945] = 0
1434.59/1161.49	c (118,0) x[946] = 0
1434.59/1161.49	c (118,0) x[947] = 0
1434.59/1161.49	c (118,0) x[948] = 0
1434.59/1161.49	c (118,0) x[949] = 0
1434.59/1161.49	c (118,0) x[950] = 0
1434.59/1161.49	c (118,0) x[951] = 0
1434.59/1161.49	c (118,0) x[952] = 0
1434.59/1161.49	c (118,0) x[953] = 0
1434.59/1161.49	c (118,0) x[954] = 0
1434.59/1161.49	c (118,0) x[955] = 0
1434.59/1161.49	c (118,0) x[956] = 0
1434.59/1161.49	c (118,0) x[957] = 0
1434.59/1161.49	c (118,0) x[958] = 0
1434.59/1161.49	c (118,0) x[959] = 0
1434.59/1161.49	c (118,0) x[960] = 0
1434.59/1161.49	c (118,0) x[961] = 0
1434.59/1161.49	c (118,0) x[962] = 0
1434.59/1161.49	c (118,0) x[963] = 0
1434.59/1161.49	c (118,0) x[964] = 0
1434.59/1161.49	c (118,0) x[965] = 0
1434.59/1161.49	c (118,0) x[966] = 0
1434.59/1161.49	c (118,0) x[967] = 0
1434.59/1161.49	c (118,0) x[968] = 0
1434.59/1161.49	c (118,0) x[969] = 0
1434.59/1161.49	c (118,0) x[970] = 0
1434.59/1161.49	c (118,0) x[971] = 0
1434.59/1161.49	c (118,0) x[972] = 0
1434.59/1161.49	c (118,0) x[973] = 0
1434.59/1161.49	c (118,0) x[974] = 0
1434.59/1161.49	c (118,0) x[975] = 0
1434.59/1161.49	c (118,0) x[976] = 0
1434.59/1161.49	c (118,0) x[977] = 0
1434.59/1161.49	c (118,0) x[978] = 0
1434.59/1161.49	c (118,0) x[979] = 0
1434.59/1161.49	c (118,0) x[980] = 0
1434.59/1161.49	c (118,0) x[981] = 0
1434.59/1161.49	c (118,0) x[982] = 0
1434.59/1161.49	c (118,0) x[983] = 0
1434.59/1161.49	c (118,0) x[984] = 0
1434.59/1161.49	c (118,0) x[985] = 0
1434.59/1161.49	c (118,0) x[986] = 0
1434.59/1161.49	c (118,0) x[987] = 0
1434.59/1161.49	c (118,0) x[988] = 0
1434.59/1161.49	c (118,0) x[989] = 0
1434.59/1161.49	c (118,0) x[990] = 0
1434.59/1161.49	c (118,0) x[991] = 0
1434.59/1161.49	c (118,0) x[992] = 0
1434.59/1161.49	c (118,0) x[993] = 0
1434.59/1161.49	c (118,0) x[994] = 0
1434.59/1161.49	c (118,0) x[995] = 0
1434.59/1161.49	c (118,0) x[996] = 1
1434.59/1161.49	c (118,0) x[997] = 0
1434.59/1161.49	c (118,0) x[998] = 0
1434.59/1161.49	c (118,0) x[999] = 0
1434.59/1161.49	s SATISFIABLE
1434.59/1161.49	v <instantiation>
1434.59/1161.49	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999]</list>
1434.59/1161.49	v     <values>996 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0</values>
1434.59/1161.49	v </instantiation>
1434.59/1161.49	c (118,0) Show results End
1434.59/1161.49	c (118,0) Heap : 209 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1434.59/1161.49	c (118,0) 118,118,STOP-AFTER(ALL)
1434.59/1161.49	c END-Prog: Sat Sep 14 03:04:01 CEST 2019

Verifier Data 

OK

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 (14880 MiB free)
  memory of node 1: 16384 MiB (15383 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392297-1568421919/watcher-4392297-1568421919 -o /tmp/evaluation-result-4392297-1568421919/solver-4392297-1568421919 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --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-4392297-1568421919.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=17828, runsolver pid=17825

[startup+0.100154 s]*
/proc/loadavg: 7.79 8.28 8.13 2/212 17850
/proc/meminfo: memFree=30899208/32770624 swapFree=66935096/67108860
[pid=17828] ppid=17825 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17828/stat : 17828 (scop.sh) S 17825 17828 14714 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 418463320 115843072 348 33554432000 4194304 5098028 140721865129440 140721865126696 140303554183804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23760896 140721865130789 140721865131116 140721865131116 140721865134029 0
/proc/17828/statm: 28282 348 296 221 0 87 0
[pid=17831] ppid=17828 vsize=27314120 memory=106128 CPUtime=0.11 cores=0-7
/proc/17831/stat : 17831 (java) S 17828 17828 14714 0 -1 1077944320 6654 0 0 0 8 3 0 0 20 0 20 0 418463321 27969658880 26532 33554432000 4194304 4196468 140727341468944 140727341451488 140691477409527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
/proc/17831/statm: 6828530 26532 2793 1 0 6790935 0
[pid=17831/tid=17832] ppid=17828 vsize=27314120 memory=8258364149829900954 CPUtime=0.08 cores=0-7
/proc/17831/task/17832/stat : 17832 (java) R 17828 17828 14714 0 -1 4202560 4739 0 0 0 6 2 0 0 20 0 20 0 418463321 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691449233080 140691469646654 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17833] ppid=17828 vsize=27314120 memory=732370404451630053 CPUtime=0 cores=0-7
/proc/17831/task/17833/stat : 17833 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691481651472 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17834] ppid=17828 vsize=27314120 memory=140266114176640 CPUtime=0 cores=0-7
/proc/17831/task/17834/stat : 17834 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691265046928 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17835] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17835/stat : 17835 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691263994384 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17836] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17836/stat : 17836 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691262941840 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17837] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17837/stat : 17837 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691261889296 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17838] ppid=17828 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17831/task/17838/stat : 17838 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691260836752 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17839] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17839/stat : 17839 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691259784208 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17840] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17840/stat : 17840 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 26597 33554432000 4194304 4196468 140727341468944 140691258731664 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17841] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17841/stat : 17841 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 26597 33554432000 4194304 4196468 140727341468944 140690850457584 140691477420674 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17842] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17842/stat : 17842 (java) S 17828 17828 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 26597 33554432000 4194304 4196468 140727341468944 140689237074848 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17843] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17843/stat : 17843 (java) S 17828 17828 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 26597 33554432000 4194304 4196468 140727341468944 140689102853104 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17844] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17844/stat : 17844 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 26597 33554432000 4194304 4196468 140727341468944 140688728348880 140691477428123 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17845] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17845/stat : 17845 (java) S 17828 17828 14714 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 26597 33554432000 4194304 4196468 140727341468944 140690849405424 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17846] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17846/stat : 17846 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 26597 33554432000 4194304 4196468 140727341468944 140690734443120 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17847] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17847/stat : 17847 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 26597 33554432000 4194304 4196468 140727341468944 140690733390576 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17848] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17848/stat : 17848 (java) R 17828 17828 14714 0 -1 4202560 297 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 26597 33554432000 4194304 4196468 140727341468944 140690732334712 140691456368975 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17849] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17849/stat : 17849 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 26597 33554432000 4194304 4196468 140727341468944 140688230443232 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17850] ppid=17828 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17831/task/17850/stat : 17850 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 26597 33554432000 4194304 4196468 140727341468944 140690731284912 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107520 KiB

[startup+0.21017 s]*
/proc/loadavg: 7.79 8.28 8.13 3/212 17850
/proc/meminfo: memFree=30877460/32770624 swapFree=66935096/67108860
[pid=17828] ppid=17825 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17828/stat : 17828 (scop.sh) S 17825 17828 14714 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 418463320 115843072 348 33554432000 4194304 5098028 140721865129440 140721865126696 140303554183804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23760896 140721865130789 140721865131116 140721865131116 140721865134029 0
/proc/17828/statm: 28282 348 296 221 0 87 0
[pid=17831] ppid=17828 vsize=27314120 memory=123492 CPUtime=0.24 cores=0-7
/proc/17831/stat : 17831 (java) S 17828 17828 14714 0 -1 1077944320 12254 0 0 0 20 4 0 0 20 0 20 0 418463321 27969658880 30873 33554432000 4194304 4196468 140727341468944 140727341451488 140691477409527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
/proc/17831/statm: 6828530 30873 2942 1 0 6790935 0
[pid=17831/tid=17832] ppid=17828 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/17831/task/17832/stat : 17832 (java) R 17828 17828 14714 0 -1 4202560 9948 0 0 0 16 4 0 0 20 0 20 0 418463321 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691449228768 140691458962832 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17833] ppid=17828 vsize=27314120 memory=732370404451630053 CPUtime=0 cores=0-7
/proc/17831/task/17833/stat : 17833 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691481651472 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17834] ppid=17828 vsize=27314120 memory=140266114176640 CPUtime=0 cores=0-7
/proc/17831/task/17834/stat : 17834 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691265046928 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17835] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17835/stat : 17835 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691263994384 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17836] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17836/stat : 17836 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691262941840 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17837] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17837/stat : 17837 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691261889296 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17838] ppid=17828 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17831/task/17838/stat : 17838 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691260836752 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17839] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17839/stat : 17839 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691259784208 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17840] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17840/stat : 17840 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 30873 33554432000 4194304 4196468 140727341468944 140691258731664 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17841] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17841/stat : 17841 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 30873 33554432000 4194304 4196468 140727341468944 140690850457584 140691477420674 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17842] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17842/stat : 17842 (java) S 17828 17828 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 30873 33554432000 4194304 4196468 140727341468944 140689237074848 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17843] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17843/stat : 17843 (java) S 17828 17828 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 30873 33554432000 4194304 4196468 140727341468944 140689102853104 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17844] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17844/stat : 17844 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 30873 33554432000 4194304 4196468 140727341468944 140688728348880 140691477428123 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17845] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17845/stat : 17845 (java) S 17828 17828 14714 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 30873 33554432000 4194304 4196468 140727341468944 140690849405424 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17846] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17846/stat : 17846 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 30873 33554432000 4194304 4196468 140727341468944 140690734443120 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17847] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17847/stat : 17847 (java) S 17828 17828 14714 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 30873 33554432000 4194304 4196468 140727341468944 140690733390576 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17848] ppid=17828 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/17831/task/17848/stat : 17848 (java) S 17828 17828 14714 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 418463328 27969658880 30873 33554432000 4194304 4196468 140727341468944 140690732338032 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17849] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17849/stat : 17849 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 30873 33554432000 4194304 4196468 140727341468944 140688230443232 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17850] ppid=17828 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17831/task/17850/stat : 17850 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 30873 33554432000 4194304 4196468 140727341468944 140690731284912 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124884 KiB

[startup+0.309447 s]*
/proc/loadavg: 7.79 8.28 8.13 2/212 17850
/proc/meminfo: memFree=30874296/32770624 swapFree=66935096/67108860
[pid=17828] ppid=17825 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17828/stat : 17828 (scop.sh) S 17825 17828 14714 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 418463320 115843072 348 33554432000 4194304 5098028 140721865129440 140721865126696 140303554183804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23760896 140721865130789 140721865131116 140721865131116 140721865134029 0
/proc/17828/statm: 28282 348 296 221 0 87 0
[pid=17831] ppid=17828 vsize=27314120 memory=127528 CPUtime=0.42 cores=0-7
/proc/17831/stat : 17831 (java) S 17828 17828 14714 0 -1 1077944320 13330 0 0 0 37 5 0 0 20 0 20 0 418463321 27969658880 31882 33554432000 4194304 4196468 140727341468944 140727341451488 140691477409527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
/proc/17831/statm: 6828530 31882 3026 1 0 6790935 0
[pid=17831/tid=17832] ppid=17828 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17831/task/17832/stat : 17832 (java) R 17828 17828 14714 0 -1 4202560 10804 0 0 0 25 4 0 0 20 0 20 0 418463321 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691449239600 140691462575199 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17833] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17833/stat : 17833 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691481651472 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17834] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17834/stat : 17834 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691265046928 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17835] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17835/stat : 17835 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691263994384 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17836] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17836/stat : 17836 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691262941840 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17837] ppid=17828 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/17831/task/17837/stat : 17837 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691261889296 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17838] ppid=17828 vsize=27314120 memory=140265981572015 CPUtime=0 cores=0-7
/proc/17831/task/17838/stat : 17838 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691260836752 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17839] ppid=17828 vsize=27314120 memory=140265981574320 CPUtime=0 cores=0-7
/proc/17831/task/17839/stat : 17839 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691259784208 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17840] ppid=17828 vsize=27314120 memory=140265981576624 CPUtime=0 cores=0-7
/proc/17831/task/17840/stat : 17840 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463323 27969658880 31882 33554432000 4194304 4196468 140727341468944 140691258731664 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17841] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17841/stat : 17841 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 31882 33554432000 4194304 4196468 140727341468944 140690850457584 140691477420674 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17842] ppid=17828 vsize=27314120 memory=280531963160208 CPUtime=0 cores=0-7
/proc/17831/task/17842/stat : 17842 (java) S 17828 17828 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 31882 33554432000 4194304 4196468 140727341468944 140689237074848 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17843] ppid=17828 vsize=27314120 memory=280531963167120 CPUtime=0 cores=0-7
/proc/17831/task/17843/stat : 17843 (java) S 17828 17828 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418463325 27969658880 31882 33554432000 4194304 4196468 140727341468944 140689102853104 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17844] ppid=17828 vsize=27314120 memory=280531963108400 CPUtime=0 cores=0-7
/proc/17831/task/17844/stat : 17844 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 31882 33554432000 4194304 4196468 140727341468944 140688728348880 140691477428123 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17845] ppid=17828 vsize=27314120 memory=280531963180944 CPUtime=0.01 cores=0-7
/proc/17831/task/17845/stat : 17845 (java) S 17828 17828 14714 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 20 0 418463328 27969658880 31882 33554432000 4194304 4196468 140727341468944 140690849405424 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17846] ppid=17828 vsize=27314120 memory=280531963187856 CPUtime=0 cores=0-7
/proc/17831/task/17846/stat : 17846 (java) R 17828 17828 14714 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 31882 33554432000 4194304 4196468 140727341468944 140690734443120 140691469698976 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17847] ppid=17828 vsize=27314120 memory=280531963185552 CPUtime=0.01 cores=0-7
/proc/17831/task/17847/stat : 17847 (java) S 17828 17828 14714 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 418463328 27969658880 31882 33554432000 4194304 4196468 140727341468944 140690733390576 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17848] ppid=17828 vsize=27314120 memory=280531963201712 CPUtime=0.07 cores=0-7
/proc/17831/task/17848/stat : 17848 (java) S 17828 17828 14714 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 20 0 418463328 27969658880 31882 33554432000 4194304 4196468 140727341468944 140690732338032 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17849] ppid=17828 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17849/stat : 17849 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 31882 33554432000 4194304 4196468 140727341468944 140688230443232 140691477419733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17850] ppid=17828 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17831/task/17850/stat : 17850 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463328 27969658880 31882 33554432000 4194304 4196468 140727341468944 140690731284912 140691477420674 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128920 KiB

[startup+0.700884 s]
/proc/loadavg: 7.79 8.28 8.13 3/212 17850
/proc/meminfo: memFree=30853400/32770624 swapFree=66935096/67108860
[pid=17828] ppid=17825 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17828/stat : 17828 (scop.sh) S 17825 17828 14714 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 418463320 115843072 348 33554432000 4194304 5098028 140721865129440 140721865126696 140303554183804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23760896 140721865130789 140721865131116 140721865131116 140721865134029 0
/proc/17828/statm: 28282 348 296 221 0 87 0
[pid=17831] ppid=17828 vsize=27322516 memory=164108 CPUtime=0.99 cores=0-7
/proc/17831/stat : 17831 (java) S 17828 17828 14714 0 -1 1077944320 20803 0 0 0 92 7 0 0 20 0 20 0 418463321 27978256384 41027 33554432000 4194304 4196468 140727341468944 140727341451488 140691477409527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
/proc/17831/statm: 6830629 41027 3205 1 0 6791959 0
[pid=17831/tid=17832] ppid=17828 vsize=27322516 memory=280531963496640 CPUtime=0.67 cores=0-7
/proc/17831/task/17832/stat : 17832 (java) R 17828 17828 14714 0 -1 4202560 17712 0 0 0 62 5 0 0 20 0 20 0 418463321 27978256384 41027 33554432000 4194304 4196468 140727341468944 140691449226912 140691477431453 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17833] ppid=17828 vsize=27322516 memory=5076651345044 CPUtime=0 cores=0-7
/proc/17831/task/17833/stat : 17833 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27978256384 41027 33554432000 4194304 4196468 140727341468944 140691481651472 140691477419733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17834] ppid=17828 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17834/stat : 17834 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418463323 27978256384 41027 33554432000 4194304 4196468 140727341468944 140691265046928 140691477419733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0
[pid=17831/tid=17835] ppid=17828 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/17831/task/17835/stat : 17835 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418463323 27978256384 41027 33554432000 4194304 4196468 140727341468944 140691263994384 140691477419733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6848512 140727341474539 140727341474966 140727341474966 140727341477839 0

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

[pid=17955/tid=17958] ppid=17828 vsize=8414124 memory=5194144 CPUtime=0 cores=0-7
/proc/17955/task/17958/stat : 17958 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715984055184 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17959] ppid=17828 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17955/task/17959/stat : 17959 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715983002640 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17960] ppid=17828 vsize=8414124 memory=123116 CPUtime=0 cores=0-7
/proc/17955/task/17960/stat : 17960 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715981950096 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17961] ppid=17828 vsize=8414124 memory=5203328 CPUtime=0 cores=0-7
/proc/17955/task/17961/stat : 17961 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715980896528 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17962] ppid=17828 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/17955/task/17962/stat : 17962 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715979843984 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17963] ppid=17828 vsize=8414124 memory=1332 CPUtime=0 cores=0-7
/proc/17955/task/17963/stat : 17963 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715978791440 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17964] ppid=17828 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/17955/task/17964/stat : 17964 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715977738896 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17965] ppid=17828 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/17955/task/17965/stat : 17965 (java) S 17828 17828 14714 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418567608 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715272960496 139716179655298 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17966] ppid=17828 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/17955/task/17966/stat : 17966 (java) S 17828 17828 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418567608 8616062976 30779 33554432000 4194304 4196468 140732778704112 139714615043488 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17967] ppid=17828 vsize=8414124 memory=3932 CPUtime=0 cores=0-7
/proc/17955/task/17967/stat : 17967 (java) S 17828 17828 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418567609 8616062976 30779 33554432000 4194304 4196468 140732778704112 139714480821744 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17968] ppid=17828 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/17955/task/17968/stat : 17968 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418567611 8616062976 30779 33554432000 4194304 4196468 140732778704112 139714106317520 139716179662747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17969] ppid=17828 vsize=8414124 memory=1548 CPUtime=0.12 cores=0-7
/proc/17955/task/17969/stat : 17969 (java) S 17828 17828 14714 0 -1 1077944384 650 0 0 0 12 0 0 0 20 0 24 0 418567611 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715271907312 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17970] ppid=17828 vsize=8414124 memory=1056 CPUtime=0.12 cores=0-7
/proc/17955/task/17970/stat : 17970 (java) S 17828 17828 14714 0 -1 1077944384 329 0 0 0 12 0 0 0 20 0 24 0 418567611 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715270854768 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17971] ppid=17828 vsize=8414124 memory=744 CPUtime=0.1 cores=0-7
/proc/17955/task/17971/stat : 17971 (java) S 17828 17828 14714 0 -1 1077944384 712 0 0 0 10 0 0 0 20 0 24 0 418567611 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715269802224 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17972] ppid=17828 vsize=8414124 memory=8296 CPUtime=0.23 cores=0-7
/proc/17955/task/17972/stat : 17972 (java) S 17828 17828 14714 0 -1 1077944384 811 0 0 0 23 0 0 0 20 0 24 0 418567611 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715268749680 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17973] ppid=17828 vsize=8414124 memory=5960 CPUtime=0 cores=0-7
/proc/17955/task/17973/stat : 17973 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418567612 8616062976 30779 33554432000 4194304 4196468 140732778704112 139713608411872 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17974] ppid=17828 vsize=8414124 memory=1124 CPUtime=0.06 cores=0-7
/proc/17955/task/17974/stat : 17974 (java) S 17828 17828 14714 0 -1 1077944384 9 0 0 0 2 4 0 0 20 0 24 0 418567612 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715267697584 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17976] ppid=17828 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/17955/task/17976/stat : 17976 (java) S 17828 17828 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418567684 8616062976 30779 33554432000 4194304 4196468 140732778704112 139715259664064 139716179668761 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17978] ppid=17828 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/17955/task/17978/stat : 17978 (java) S 17828 17828 14714 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418567684 8616062976 30779 33554432000 4194304 4196468 140732778704112 139712937311536 139716179666077 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17979] ppid=17828 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/17955/task/17979/stat : 17979 (java) S 17828 17828 14714 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418567684 8616062976 30779 33554432000 4194304 4196468 140732778704112 139713205747120 139716179666077 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17980] ppid=17828 vsize=8414124 memory=7736 CPUtime=0 cores=0-7
/proc/17955/task/17980/stat : 17980 (java) S 17828 17828 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418567686 8616062976 30779 33554432000 4194304 4196468 140732778704112 139712668884144 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
Current children cumulated CPU time: 1433.29 s
Current children cumulated vsize: 14350292 KiB
Current children cumulated memory: 5327936 KiB

[startup+1161.2 s]
/proc/loadavg: 1.74 1.53 3.21 2/217 17990
/proc/meminfo: memFree=24655644/32770624 swapFree=66935124/67108860
[pid=17828] ppid=17825 vsize=113128 memory=1472 CPUtime=1233.21 cores=0-7
/proc/17828/stat : 17828 (scop.sh) S 17825 17828 14714 0 -1 4202496 581 331346 0 0 0 0 119504 3817 20 0 1 0 418463320 115843072 368 33554432000 4194304 5098028 140721865129440 140721865126184 140303554183804 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23760896 140721865130789 140721865131116 140721865131116 140721865134029 0
/proc/17828/statm: 28282 368 311 221 0 87 0
[pid=17955] ppid=17828 vsize=8414124 memory=202304 CPUtime=1.97 cores=0-7
/proc/17955/stat : 17955 (java) S 17828 17828 14714 0 -1 1077944320 22188 0 0 0 182 15 0 0 20 0 24 0 418567604 8616062976 50576 33554432000 4194304 4196468 140732778704112 140732778686656 139716179644151 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
/proc/17955/statm: 2103531 50576 3229 1 0 2064875 0
[pid=17955/tid=17956] ppid=17828 vsize=8414124 memory=6791534058613427641 CPUtime=0.81 cores=0-7
/proc/17955/task/17956/stat : 17956 (java) S 17828 17828 14714 0 -1 1077944384 17016 0 0 0 74 7 0 0 20 0 24 0 418567605 8616062976 50576 33554432000 4194304 4196468 140732778704112 139716151484320 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17957] ppid=17828 vsize=8414124 memory=5203348 CPUtime=0 cores=0-7
/proc/17955/task/17957/stat : 17957 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 50576 33554432000 4194304 4196468 140732778704112 139716183886608 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17958] ppid=17828 vsize=8414124 memory=14133350919046965 CPUtime=0 cores=0-7
/proc/17955/task/17958/stat : 17958 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715984055184 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17959] ppid=17828 vsize=8414124 memory=728 CPUtime=0 cores=0-7
/proc/17955/task/17959/stat : 17959 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715983002640 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17960] ppid=17828 vsize=8414124 memory=123116 CPUtime=0 cores=0-7
/proc/17955/task/17960/stat : 17960 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715981950096 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17961] ppid=17828 vsize=8414124 memory=5202416 CPUtime=0 cores=0-7
/proc/17955/task/17961/stat : 17961 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715980896528 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17962] ppid=17828 vsize=8414124 memory=-8815903358834733458 CPUtime=0 cores=0-7
/proc/17955/task/17962/stat : 17962 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715979843984 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17963] ppid=17828 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/17955/task/17963/stat : 17963 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715978791440 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17964] ppid=17828 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/17955/task/17964/stat : 17964 (java) S 17828 17828 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418567606 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715977738896 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17965] ppid=17828 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/17955/task/17965/stat : 17965 (java) S 17828 17828 14714 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418567608 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715272960496 139716179655298 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17966] ppid=17828 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/17955/task/17966/stat : 17966 (java) S 17828 17828 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418567608 8616062976 50576 33554432000 4194304 4196468 140732778704112 139714615043488 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17967] ppid=17828 vsize=8414124 memory=2532 CPUtime=0 cores=0-7
/proc/17955/task/17967/stat : 17967 (java) S 17828 17828 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418567609 8616062976 50576 33554432000 4194304 4196468 140732778704112 139714480821744 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17968] ppid=17828 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/17955/task/17968/stat : 17968 (java) S 17828 17828 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418567611 8616062976 50576 33554432000 4194304 4196468 140732778704112 139714106317520 139716179662747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17969] ppid=17828 vsize=8414124 memory=808 CPUtime=0.18 cores=0-7
/proc/17955/task/17969/stat : 17969 (java) S 17828 17828 14714 0 -1 1077944384 761 0 0 0 18 0 0 0 20 0 24 0 418567611 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715271907312 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17970] ppid=17828 vsize=8414124 memory=288230574492221466 CPUtime=0.18 cores=0-7
/proc/17955/task/17970/stat : 17970 (java) S 17828 17828 14714 0 -1 1077944384 720 0 0 0 18 0 0 0 20 0 24 0 418567611 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715270854768 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17971] ppid=17828 vsize=8414124 memory=288230621803970871 CPUtime=0.17 cores=0-7
/proc/17955/task/17971/stat : 17971 (java) S 17828 17828 14714 0 -1 1077944384 737 0 0 0 17 0 0 0 20 0 24 0 418567611 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715269802224 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17972] ppid=17828 vsize=8414124 memory=14133350919046965 CPUtime=0.28 cores=0-7
/proc/17955/task/17972/stat : 17972 (java) S 17828 17828 14714 0 -1 1077944384 1072 0 0 0 28 0 0 0 20 0 24 0 418567611 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715268749680 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17973] ppid=17828 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/17955/task/17973/stat : 17973 (java) S 17828 17828 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418567612 8616062976 50576 33554432000 4194304 4196468 140732778704112 139713608411872 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17974] ppid=17828 vsize=8414124 memory=1332 CPUtime=0.06 cores=0-7
/proc/17955/task/17974/stat : 17974 (java) S 17828 17828 14714 0 -1 1077944384 9 0 0 0 2 4 0 0 20 0 24 0 418567612 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715267697584 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17976] ppid=17828 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/17955/task/17976/stat : 17976 (java) S 17828 17828 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418567684 8616062976 50576 33554432000 4194304 4196468 140732778704112 139715259664064 139716179668761 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17978] ppid=17828 vsize=8414124 memory=976 CPUtime=0.22 cores=0-7
/proc/17955/task/17978/stat : 17978 (java) S 17828 17828 14714 0 -1 4202560 461 0 0 0 20 2 0 0 20 0 24 0 418567684 8616062976 50576 33554432000 4194304 4196468 140732778704112 139712937311504 139716179666077 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17979] ppid=17828 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/17955/task/17979/stat : 17979 (java) S 17828 17828 14714 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418567684 8616062976 50576 33554432000 4194304 4196468 140732778704112 139713205747120 139716179666077 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17980] ppid=17828 vsize=8414124 memory=3932 CPUtime=0 cores=0-7
/proc/17955/task/17980/stat : 17980 (java) S 17828 17828 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418567686 8616062976 50576 33554432000 4194304 4196468 140732778704112 139712668884144 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
Current children cumulated CPU time: 1235.18 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 203776 KiB

[startup+1161.6 s]
/proc/loadavg: 1.74 1.53 3.21 2/217 17990
/proc/meminfo: memFree=24655644/32770624 swapFree=66935124/67108860
[pid=17828] ppid=17825 vsize=113128 memory=1472 CPUtime=1233.21 cores=0-7
/proc/17828/stat : 17828 (scop.sh) S 17825 17828 14714 0 -1 4202496 581 331346 0 0 0 0 119504 3817 20 0 1 0 418463320 115843072 368 33554432000 4194304 5098028 140721865129440 140721865126184 140303554183804 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23760896 140721865130789 140721865131116 140721865131116 140721865134029 0
/proc/17828/statm: 28282 368 311 221 0 87 0
[pid=17955] ppid=17828 vsize=8283048 memory=235536 CPUtime=202.13 cores=0-7
/proc/17955/stat : 17955 (java) S 17828 17828 14714 0 -1 1077944320 28492 5279260 0 0 277 28 19118 790 20 0 22 0 418567604 8481841152 58884 33554432000 4194304 4196468 140732778704112 140732778686656 139716179644151 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
/proc/17955/statm: 2070762 58884 3238 1 0 2032106 0
[pid=17955/tid=17956] ppid=17828 vsize=8283048 memory=123116 CPUtime=200.22 cores=0-7
/proc/17955/task/17956/stat : 17956 (java) R 17828 17828 14714 0 -1 4202560 18406 5279260 0 0 96 18 19118 790 20 0 22 0 418567605 8481841152 58884 33554432000 4194304 4196468 140732778704112 139716151485928 139716172329783 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17957] ppid=17828 vsize=8283048 memory=6791534058613427641 CPUtime=199.08 cores=0-7
/proc/17955/task/17957/stat : 17957 (java) S 17828 17828 14714 0 -1 1077944384 1 5279260 0 0 0 0 19118 790 20 0 22 0 418567606 8481841152 58884 33554432000 4194304 4196468 140732778704112 139716183886608 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17958] ppid=17828 vsize=8283048 memory=5203348 CPUtime=199.08 cores=0-7
/proc/17955/task/17958/stat : 17958 (java) S 17828 17828 14714 0 -1 1077944384 2 5279260 0 0 0 0 19118 790 20 0 22 0 418567606 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715984055184 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17959] ppid=17828 vsize=8283048 memory=5203328 CPUtime=199.08 cores=0-7
/proc/17955/task/17959/stat : 17959 (java) S 17828 17828 14714 0 -1 1077944384 1 5279260 0 0 0 0 19118 790 20 0 22 0 418567606 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715983002640 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17960] ppid=17828 vsize=8283048 memory=5203312 CPUtime=199.08 cores=0-7
/proc/17955/task/17960/stat : 17960 (java) S 17828 17828 14714 0 -1 1077944384 3 5279260 0 0 0 0 19118 790 20 0 22 0 418567606 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715981950096 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17961] ppid=17828 vsize=8283048 memory=924 CPUtime=199.08 cores=0-7
/proc/17955/task/17961/stat : 17961 (java) S 17828 17828 14714 0 -1 1077944384 2 5279260 0 0 0 0 19118 790 20 0 22 0 418567606 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715980896528 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17962] ppid=17828 vsize=8283048 memory=1420 CPUtime=199.08 cores=0-7
/proc/17955/task/17962/stat : 17962 (java) S 17828 17828 14714 0 -1 1077944384 2 5279260 0 0 0 0 19118 790 20 0 22 0 418567606 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715979843984 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17963] ppid=17828 vsize=8283048 memory=1984 CPUtime=199.08 cores=0-7
/proc/17955/task/17963/stat : 17963 (java) S 17828 17828 14714 0 -1 1077944384 1 5279260 0 0 0 0 19118 790 20 0 22 0 418567606 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715978791440 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17964] ppid=17828 vsize=8283048 memory=2532 CPUtime=199.08 cores=0-7
/proc/17955/task/17964/stat : 17964 (java) S 17828 17828 14714 0 -1 1077944384 2 5279260 0 0 0 0 19118 790 20 0 22 0 418567606 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715977738896 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17965] ppid=17828 vsize=8283048 memory=1440 CPUtime=199.08 cores=0-7
/proc/17955/task/17965/stat : 17965 (java) S 17828 17828 14714 0 -1 1077944384 8 5279260 0 0 0 0 19118 790 20 0 22 0 418567608 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715272960496 139716179655298 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17966] ppid=17828 vsize=8283048 memory=-8815903358834733458 CPUtime=199.08 cores=0-7
/proc/17955/task/17966/stat : 17966 (java) S 17828 17828 14714 0 -1 1077944384 13 5279260 0 0 0 0 19118 790 20 0 22 0 418567608 8481841152 58884 33554432000 4194304 4196468 140732778704112 139714615043488 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17967] ppid=17828 vsize=8283048 memory=6154848828556269427 CPUtime=199.08 cores=0-7
/proc/17955/task/17967/stat : 17967 (java) S 17828 17828 14714 0 -1 1077944384 21 5279260 0 0 0 0 19118 790 20 0 22 0 418567609 8481841152 58884 33554432000 4194304 4196468 140732778704112 139714480821744 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17968] ppid=17828 vsize=8283048 memory=6944656592387989600 CPUtime=199.08 cores=0-7
/proc/17955/task/17968/stat : 17968 (java) S 17828 17828 14714 0 -1 1077944384 1 5279260 0 0 0 0 19118 790 20 0 22 0 418567611 8481841152 58884 33554432000 4194304 4196468 140732778704112 139714106317520 139716179662747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17969] ppid=17828 vsize=8283048 memory=6943526294502006880 CPUtime=199.46 cores=0-7
/proc/17955/task/17969/stat : 17969 (java) S 17828 17828 14714 0 -1 1077944384 2351 5279260 0 0 37 1 19118 790 20 0 22 0 418567611 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715271907312 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17970] ppid=17828 vsize=8283048 memory=7090988413152880236 CPUtime=199.46 cores=0-7
/proc/17955/task/17970/stat : 17970 (java) R 17828 17828 14714 0 -1 4202560 1903 5279260 0 0 38 0 19118 790 20 0 22 0 418567611 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715270835224 139716163055023 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17971] ppid=17828 vsize=8283048 memory=7090988413152880236 CPUtime=199.47 cores=0-7
/proc/17955/task/17971/stat : 17971 (java) S 17828 17828 14714 0 -1 1077944384 2115 5279260 0 0 38 1 19118 790 20 0 22 0 418567611 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715269802224 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17972] ppid=17828 vsize=8283048 memory=2032 CPUtime=199.49 cores=0-7
/proc/17955/task/17972/stat : 17972 (java) S 17828 17828 14714 0 -1 1077944384 1824 5279260 0 0 41 0 19118 790 20 0 22 0 418567611 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715268749680 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17973] ppid=17828 vsize=8283048 memory=1332 CPUtime=199.08 cores=0-7
/proc/17955/task/17973/stat : 17973 (java) S 17828 17828 14714 0 -1 1077944384 3 5279260 0 0 0 0 19118 790 20 0 22 0 418567612 8481841152 58884 33554432000 4194304 4196468 140732778704112 139713608411872 139716179654357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17974] ppid=17828 vsize=8283048 memory=1564 CPUtime=199.14 cores=0-7
/proc/17955/task/17974/stat : 17974 (java) S 17828 17828 14714 0 -1 1077944384 9 5279260 0 0 2 4 19118 790 20 0 22 0 418567612 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715267697584 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17976] ppid=17828 vsize=8283048 memory=976 CPUtime=199.08 cores=0-7
/proc/17955/task/17976/stat : 17976 (java) S 17828 17828 14714 0 -1 1077944384 25 5279260 0 0 0 0 19118 790 20 0 22 0 418567684 8481841152 58884 33554432000 4194304 4196468 140732778704112 139715259663248 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
[pid=17955/tid=17980] ppid=17828 vsize=8283048 memory=772 CPUtime=199.08 cores=0-7
/proc/17955/task/17980/stat : 17980 (java) S 17828 17828 14714 0 -1 1077944384 10 5279260 0 0 0 0 19118 790 20 0 22 0 418567686 8481841152 58884 33554432000 4194304 4196468 140732778704112 139712668885936 139716179655298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140732778710007 140732778710166 140732778710166 140732778713039 0
Current children cumulated CPU time: 1435.34 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 237008 KiB

Child status: 0
Real time (s): 1161.65
CPU time (s): 1435.45
CPU user time (s): 1389.03
CPU system time (s): 46.4109
CPU usage (%): 123.57
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 18577848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1389.03
system time used= 46.4109
maximum resident set size= 18576456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5639827
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1935680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100545
involuntary context switches= 3742


# summary of solver processes directly reported to runsolver:
#   pid: 17828
#   total CPU time (s): 1435.45
#   total CPU user time (s): 1389.03
#   total CPU system time (s): 46.4109

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.44616 second user time and 11.9281 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-14 02:44:39
IDJOB=4392297
IDBENCH=123183
IDSOLVER=2838
FILE ID=node151/4392297-1568421919
RUNJOBID= node151-1568416728-14741
PBS_JOBID= 21702250
Free space on /tmp= 59308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-1000-ca.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-4392297-1568421919/watcher-4392297-1568421919 -o /tmp/evaluation-result-4392297-1568421919/solver-4392297-1568421919 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --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-4392297-1568421919.xml

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

MD5SUM BENCH= d2780e3631970b53a6f91cd037f7d107
RANDOM SEED=964400374

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30991432 kB
MemAvailable:   31854872 kB
Buffers:          179504 kB
Cached:           976420 kB
SwapCached:        71196 kB
Active:           629384 kB
Inactive:         600540 kB
Active(anon):      10064 kB
Inactive(anon):    96912 kB
Active(file):     619320 kB
Inactive(file):   503628 kB
Unevictable:      110856 kB
Mlocked:          110856 kB
SwapTotal:      67108860 kB
SwapFree:       66935096 kB
Dirty:             20644 kB
Writeback:             0 kB
AnonPages:        254064 kB
Mapped:            37320 kB
Shmem:             24328 kB
Slab:             141408 kB
SReclaimable:     112652 kB
SUnreclaim:        28756 kB
KernelStack:        3728 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59288 MiB
End job on node151 at 2019-09-14 03:04:01