Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 1444.01 | 1189.33 |
Name | MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml |
MD5SUM | 747b40881cd41efe91eebad5da45ed52 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 10.7392 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1000 |
Number of constraints | 1002 |
Number of domains | 1 |
Minimum domain size | 1000 |
Maximum domain size | 1000 |
Distribution of domain sizes | [{"size":1000,"count":1000}] |
Minimum variable degree | 1002 |
Maximum variable degree | 1002 |
Distribution of variable degrees | [{"degree":1002,"count":1000}] |
Minimum constraint arity | 1000 |
Maximum constraint arity | 1000 |
Distribution of constraint arities | [{"arity":1000,"count":1002}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":2},{"type":"count","count":1000}] |
Optimization problem | NO |
Type of objective |
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-23884-serial-file.bin HOME/instance-4392382-1568422003.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Sat Sep 14 02:46:04 CEST 2019 0.66/0.57 c PID: 23887 0.66/0.57 c IP: 172.20.3.119 0.66/0.57 c HOST: node119.alineos.net 0.66/0.58 c (0,0) Parsing Begin 4.64/2.41 c (1,1) Parsing End 4.64/2.42 c (1,1) CSP: 1000 int (0 aux), 0 bool (0 aux), 1002 ctr, max domain size 1000 4.64/2.43 c (1,1) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.64/2.43 c (1,1) Constraint Name Generate Begin 5.06/2.76 c (2,2) Ctr:HOME/instance-4392382-1568422003.xml,Count:Num:Var:WeightedSum 5.06/2.76 c (2,2) Constraint Name Generate End 5.06/2.76 c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.06/2.76 c (2,2) CSP to CSPinCNF Begin 83.46/69.83 c (69,68) translated 101 (10%) constraints 151.31/133.96 c (133,131) translated 201 (20%) constraints 218.64/198.00 c (197,195) translated 301 (30%) constraints 286.57/262.25 c (261,258) translated 401 (40%) constraints 354.27/326.81 c (326,323) translated 501 (50%) constraints 422.77/392.17 c (391,387) translated 602 (60%) constraints 491.26/457.02 c (456,452) translated 702 (70%) constraints 559.68/522.14 c (521,516) translated 802 (80%) constraints 627.80/587.06 c (586,581) translated 902 (90%) constraints 696.56/651.97 c (651,645) translated 1002 (100%) constraints 697.38/652.70 c (652,646) =========================================== 697.38/652.78 c (652,646) Order 697.38/652.78 c (652,646) =========================================== 730.99/678.80 c (678,672) translated 200101 (10%) constraints 760.38/704.49 c (703,697) translated 400201 (20%) constraints 793.33/730.62 c (730,722) translated 600301 (30%) constraints 823.57/756.40 c (755,747) translated 800401 (40%) constraints 855.23/783.14 c (782,773) translated 1000501 (50%) constraints 887.48/809.36 c (808,798) translated 1200602 (60%) constraints 917.51/835.22 c (834,824) translated 1400702 (70%) constraints 947.43/861.00 c (860,849) translated 1600802 (80%) constraints 979.88/887.14 c (886,874) translated 1800902 (90%) constraints 1009.95/913.01 c (912,899) translated 2001002 (100%) constraints 1010.17/913.23 c (912,900) CSP to CSPinCNF End 1010.99/914.06 c (913,900) CSP: 311072 int (310571 aux), 2003992 bool (2003493 aux), 4630132 ctr, max domain size 69750 1010.99/914.06 c (913,900) Heap : 9839 MiB used (max 22293 MiB), NonHeap : 27 MiB used (max 0 MiB) 1010.99/914.06 c (913,900) CSPinCNF Propagation Begin 1134.15/991.60 c (991,971) 10653065 values, 3965448 unsatisfiable literals, and 4525062 valid clauses are removed 1134.15/991.60 c (991,971) CSPinCNF Propagation End 1135.15/992.70 c (992,973) CSP: 16198 int (15697 aux), 2298866 bool (2298367 aux), 105070 ctr, max domain size 1083 1135.15/992.70 c (992,973) Heap : 10752 MiB used (max 21636 MiB), NonHeap : 27 MiB used (max 0 MiB) 1135.46/992.90 c (992,973) Simplify CSPinCNF Begin 1135.81/993.18 c (992,973) Simplify CSPinCNF End 1136.91/994.27 c (993,974) CSP: 16198 int (15697 aux), 2298866 bool (2298367 aux), 105070 ctr, max domain size 1083 1136.91/994.27 c (993,974) Heap : 10868 MiB used (max 21636 MiB), NonHeap : 27 MiB used (max 0 MiB) 1136.91/994.27 c (993,974) Calculate Precise Domain Begin 1142.07/998.42 c (997,978) 386200 values are removed by re-calculation 1142.07/998.42 c (997,978) Calculate Precise Domain End 1143.18/999.51 c (998,979) CSP: 16198 int (15697 aux), 2298866 bool (2298367 aux), 105070 ctr, max domain size 1083 1143.18/999.51 c (998,979) Heap : 13878 MiB used (max 21636 MiB), NonHeap : 29 MiB used (max 0 MiB) 1143.18/999.51 c (998,979) CSPinCNF to SatSolver Begin 1170.14/1008.94 c (1008,987) 10507 (10 %) CSP clauses are encoded (0 SAT variables, 3017973 SAT clauses) 1170.75/1009.48 c (1008,987) 21014 (20 %) CSP clauses are encoded (0 SAT variables, 3287230 SAT clauses) 1171.09/1009.78 c (1009,987) 31521 (30 %) CSP clauses are encoded (0 SAT variables, 3372887 SAT clauses) 1171.58/1010.02 c (1009,988) 42028 (40 %) CSP clauses are encoded (0 SAT variables, 3416356 SAT clauses) 1171.77/1010.22 c (1009,988) 52535 (50 %) CSP clauses are encoded (0 SAT variables, 3444699 SAT clauses) 1171.87/1010.39 c (1009,988) 63042 (60 %) CSP clauses are encoded (0 SAT variables, 3465747 SAT clauses) 1172.07/1010.56 c (1010,988) 73549 (70 %) CSP clauses are encoded (0 SAT variables, 3482153 SAT clauses) 1172.27/1010.72 c (1010,988) 84056 (80 %) CSP clauses are encoded (0 SAT variables, 3495314 SAT clauses) 1172.37/1010.87 c (1010,989) 94563 (90 %) CSP clauses are encoded (0 SAT variables, 3506279 SAT clauses) 1250.41/1082.80 c (1082,1049) 105070 (100 %) CSP clauses are encoded (0 SAT variables, 43424839 SAT clauses) 1251.01/1083.48 c (1082,1049) CSPinCNF to SatSolver End 1251.01/1083.48 c (1082,1049) Heap : 14303 MiB used (max 21811 MiB), NonHeap : 33 MiB used (max 0 MiB) 1251.01/1083.48 c (1082,1049) 379472 bool, 43885976 clause 1251.01/1083.48 c (1082,1049) Export Begin 1251.31/1083.63 c (1083,1050) Export to HOME/scop-23884-serial-file.bin 1251.31/1083.63 c (1083,1050) Export End 1251.31/1083.63 c (1083,1050) Export File Size: 0.15 MB 1251.31/1083.63 c (1083,1050) 1,2,913,992,993,998,1082,STOP-AFTER(DIMACS) 1251.31/1083.63 c END-Prog: Sat Sep 14 03:04:07 CEST 2019 0.00/1083.74 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23884-serial-file.bin 1252.14/1084.20 c (0,0) Read Serial File Begin 1252.14/1084.20 c (0,0) HOME/scop-23884-serial-file.bin 1252.44/1084.47 c (0,0) Read Serial File End 1252.44/1084.48 1252.44/1084.48 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 1252.44/1084.48 (Solving Process) 1252.44/1084.48 1252.44/1084.50 c BEGIN-Prog: Sat Sep 14 03:04:08 CEST 2019 1252.44/1084.50 c PID: 24013 1252.44/1084.50 c IP: 172.20.3.119 1252.44/1084.50 c HOST: node119.alineos.net 1252.76/1084.51 c (0,0) SatSolver.solve Begin 1252.76/1084.51 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392382-1568422003.xml-scop-23887.cnf 1252.76/1084.53 c (0,0) c 1252.76/1084.53 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) 1252.76/1084.53 c (0,0) c 1252.76/1084.53 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 1252.76/1084.53 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 1252.76/1084.53 c (0,0) c ========================================[ Problem Statistics ]=========================================== 1252.76/1084.53 c (0,0) c | | 1264.72/1096.36 c (12,0) c | Number of variables: 379472 | 1264.72/1096.36 c (12,0) c | Number of clauses: 43885745 | 1264.72/1096.36 c (12,0) c | Parse time: 10.69 s | 1264.72/1096.36 c (12,0) c | | 1267.02/1098.65 c (14,0) c | Too many clauses... No preprocessing | 1267.02/1098.65 c (14,0) c | Simplification time: 1.90 s | 1267.02/1098.65 c (14,0) c | | 1267.02/1098.65 c (14,0) c | One Solver is taking 3201.76Mb... Let's take 2 solvers for this run (max 40% of the maxmemory). | 1267.02/1098.65 c (14,0) c | Generating clones | 1268.02/1099.60 c (15,0) c | all clones generated. Memory = 5125.04Mb. | 1268.02/1099.60 c (15,0) c ========================================================================================================| 1268.02/1099.60 c (15,0) c 1268.02/1099.60 c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1268.02/1099.60 c (15,0) c 1268.02/1099.60 c (15,0) c |-----------------------|------------|------------| 1268.02/1099.60 c (15,0) c | Threads | 0 | 1 | 1268.02/1099.60 c (15,0) c |-----------------------|------------|------------| 1268.02/1099.60 c (15,0) c | randomizeFirstDescent | False | True | 1268.02/1099.60 c (15,0) c | adaptStrategeis | True | False | 1268.02/1099.60 c (15,0) c | forceUnsatOnNewDescent| True | True | 1268.02/1099.60 c (15,0) c | Initial random_seed | 91648253 | 91648254 | 1268.02/1099.60 c (15,0) c | chanseokStrategy | False | False | 1268.02/1099.60 c (15,0) c | coLBDBound | 5 | 5 | 1268.02/1099.60 c (15,0) c | glureduce | True | True | 1268.02/1099.60 c (15,0) c | firstReduceDB | 2000 | 2000 | 1268.02/1099.60 c (15,0) c | incReduceDB | 300 | 300 | 1268.02/1099.60 c (15,0) c | luby_restart | False | False | 1268.02/1099.60 c (15,0) c | luby_restart_factor | 100 | 100 | 1268.02/1099.60 c (15,0) c | var_decay | 0.8000 | 0.8000 | 1268.02/1099.60 c (15,0) c | max_var_decay | 0.9500 | 0.9500 | 1268.02/1099.60 c (15,0) c | randomize_on_restarts | False | False | 1268.02/1099.60 c (15,0) c | remove_satisfied | True | True | 1268.02/1099.60 c (15,0) c |-----------------------|------------|------------| 1325.26/1128.77 c (44,0) c 1325.26/1128.77 c (44,0) c |------------------------------------------------------------------------------------------------------------------------| 1325.26/1128.77 c (44,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1325.26/1128.77 c (44,0) c |------------------------------------------------------------------------------------------------------------------------| 1325.26/1128.77 c (44,0) c | 0 | 1 | 1435 | 234 | 169263 | 233 | 3 | 0 | 0 | 539 | 20 | 0.182 | 1325.26/1128.77 c (44,0) c | 1 | 1 | 1525 | 300 | 138373 | 300 | 3 | 0 | 0 | 558 | 20 | 0.172 | 1325.26/1128.77 c (44,0) c 1325.26/1128.77 c (44,0) c synthesis 534 conflicts 42729764 propagations 8 conflicts/sec 641751 propagations/sec 1325.26/1128.77 c (44,0) c real: 44.2431 s, cpu: 66.5831 s, memory: 5793.52 Mb 1383.03/1158.77 c (74,0) c 1383.03/1158.77 c (74,0) c |------------------------------------------------------------------------------------------------------------------------| 1383.03/1158.77 c (74,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1383.03/1158.77 c (74,0) c |------------------------------------------------------------------------------------------------------------------------| 1383.03/1158.77 c (74,0) c | 0 | 1 | 1443 | 376 | 305244 | 375 | 3 | 0 | 0 | 1058 | 20 | 0.182 | 1383.03/1158.77 c (74,0) c | 1 | 1 | 2689 | 556 | 254666 | 556 | 8 | 0 | 0 | 1070 | 20 | 0.172 | 1383.03/1158.77 c (74,0) c 1383.03/1158.77 c (74,0) c synthesis 932 conflicts 73884451 propagations 8 conflicts/sec 598279 propagations/sec 1383.03/1158.77 c (74,0) c real: 74.2431 s, cpu: 123.495 s, memory: 5913.77 Mb 1440.52/1187.77 c (103,0) c 1440.52/1187.77 c (103,0) c |------------------------------------------------------------------------------------------------------------------------| 1440.52/1187.77 c (103,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1440.52/1187.77 c (103,0) c |------------------------------------------------------------------------------------------------------------------------| 1440.52/1187.77 c (103,0) c | 0 | 1 | 2006 | 507 | 509975 | 506 | 3 | 0 | 0 | 1538 | 20 | 0.182 | 1440.52/1187.77 c (103,0) c | 1 | 1 | 3640 | 753 | 339772 | 751 | 22 | 3 | 0 | 1558 | 20 | 0.290 | 1440.52/1187.77 c (103,0) c 1440.52/1187.77 c (103,0) c synthesis 1260 conflicts 105450576 propagations 7 conflicts/sec 584026 propagations/sec 1440.52/1187.77 c (103,0) c real: 103.243 s, cpu: 180.558 s, memory: 5929.40 Mb 1442.02/1188.55 c (104,0) c 1442.02/1188.55 c (104,0) c real time : 104.02 s 1442.02/1188.55 c (104,0) c cpu time : 181.962 s 1442.02/1188.55 c (104,0) c 1442.02/1188.55 c (104,0) c 1442.02/1188.55 c (104,0) c 1442.02/1188.55 c (104,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1442.02/1188.55 c (104,0) c 1442.02/1188.55 c (104,0) c |---------------|-----------------|------------|------------| 1442.02/1188.55 c (104,0) c | Threads | Total | 0 | 1 | 1442.02/1188.55 c (104,0) c |---------------|-----------------|------------|------------| 1442.02/1188.55 c (104,0) c | Conflicts | 1273 | 516 | 757 | 1442.02/1188.55 c (104,0) c | Decisions | 5650 | 2010 | 3640 | 1442.02/1188.55 c (104,0) c | Propagations | 105981048 | 54079094 | 51901954 | 1442.02/1188.55 c (104,0) c | ReduceDBs | 0 | 0 | 0 | 1442.02/1188.55 c (104,0) c | SimpDBs | 2 | 1 | 1 | 1442.02/1188.55 c (104,0) c | Restarts | 2 | 1 | 1 | 1442.02/1188.55 c (104,0) c | ForcedImports | 0 | 0 | 0 | 1442.02/1188.55 c (104,0) c | PropBinClauses| 345019147 | 189818087 | 155201060 | 1442.02/1188.55 c (104,0) c | PropPreBlocker| 16045218561 | 7902695868 | 8142522693 | 1442.02/1188.55 c (104,0) c | PropNotBlocker| 1766286733 | 890987786 | 875298947 | 1442.02/1188.55 c (104,0) c | LitFullScans | 18825097329 | 9355019874 | 9470077455 | 1442.02/1188.55 c (104,0) c | LitScanFracts | 69709023 | 40756690 | 28952333 | 1442.02/1188.55 c (104,0) c | DecisionLevel0| 4 | 2 | 2 | 1442.02/1188.55 c (104,0) c | Periods | 3125 | 1552 | 1573 | 1442.02/1188.55 c (104,0) c | Margin | 40 | 20 | 20 | 1442.02/1188.55 c (104,0) c | Avg_Trail | | 330236 | 316433 | 1442.02/1188.55 c (104,0) c | Avg_DL | | 221 | 352 | 1442.02/1188.55 c (104,0) c | Avg_Res | | 0 | 0 | 1442.02/1188.55 c (104,0) c | Avg_Res_Seen | | 0 | 0 | 1442.02/1188.55 c (104,0) c |---------------|-----------------|------------|------------| 1442.02/1188.55 c (104,0) c | Exported | 25 | 3 | 22 | 1442.02/1188.55 c (104,0) c | Imported | 3 | 0 | 3 | 1442.02/1188.55 c (104,0) c | Good | 2 | 0 | 2 | 1442.02/1188.55 c (104,0) c | Purge | 1 | 0 | 1 | 1442.02/1188.55 c (104,0) c | Promoted | 0 | 0 | 0 | 1442.02/1188.55 c (104,0) c | Remove_Imp | 0 | 0 | 0 | 1442.02/1188.55 c (104,0) c | Blocked_Reuse | 0 | 0 | 0 | 1442.02/1188.55 c (104,0) c |---------------|-----------------|------------|------------| 1442.02/1188.55 c (104,0) c | Unaries | | 1 | 1 | 1442.02/1188.55 c (104,0) c | Binaries | | 2 | 7 | 1442.02/1188.55 c (104,0) c | Glues | | 3 | 22 | 1442.02/1188.55 c (104,0) c |---------------|-----------------|------------|------------| 1442.02/1188.55 c (104,0) c | Orig_Seen | 0 % | 510691 | 341086 | 1442.02/1188.55 c (104,0) c | Diff Orig seen| | X | - 169605 | 1442.02/1188.55 c (104,0) c | Hamming | 2 % | X | 9626 | 1442.02/1188.55 c (104,0) c |---------------|-----------------|------------|------------| 1442.02/1188.55 c (104,0) c | RunningTime | | 88.9 100%| 85.3 96%| 1442.02/1188.55 c (104,0) c | WaitingTime | | 0.0 0%| 3.6 4%| 1442.02/1188.55 c (104,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 1442.02/1188.55 c (104,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 1442.02/1188.55 c (104,0) c | SolvingTime | | 88.9 | 88.9 | 1442.02/1188.55 c (104,0) c | PropagationTim| | 80.4 90%| 81.7 92%| 1442.02/1188.55 c (104,0) c | AnalysisTime | | 7.9 9%| 6.7 8%| 1442.02/1188.55 c (104,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 1442.02/1188.55 c (104,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 1442.02/1188.55 c (104,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 1442.02/1188.55 c (104,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 1442.02/1188.55 c (104,0) c |---------------|-----------------|------------|------------| 1442.02/1188.55 c (104,0) c 1442.02/1188.55 c (104,0) c 1442.02/1188.55 c (104,0) c Threads : 2 1442.02/1188.55 c (104,0) c Winner : 0 1442.02/1188.55 c (104,0) c Conflicts_0 : 516 1442.02/1188.55 c (104,0) c Conflicts_1 : 757 1442.02/1188.55 c (104,0) c Conflicts_total : 1273 1442.02/1188.55 c (104,0) c Conflicts_winner : 516 1442.02/1188.55 c (104,0) c Decisions_0 : 2010 1442.02/1188.55 c (104,0) c Decisions_1 : 3640 1442.02/1188.55 c (104,0) c Decisions_total : 5650 1442.02/1188.55 c (104,0) c Decisions_winner : 2010 1442.02/1188.55 c (104,0) c Propagations_0 : 54079094 1442.02/1188.55 c (104,0) c Propagations_1 : 51901954 1442.02/1188.55 c (104,0) c Propagations_total : 105981048 1442.02/1188.55 c (104,0) c Propagations_winner : 54079094 1442.02/1188.55 c (104,0) c ReduceDBs_0 : 0 1442.02/1188.55 c (104,0) c ReduceDBs_1 : 0 1442.02/1188.55 c (104,0) c ReduceDBs_total : 0 1442.02/1188.55 c (104,0) c ReduceDBs_winner : 0 1442.02/1188.55 c (104,0) c SimpDBs_0 : 1 1442.02/1188.55 c (104,0) c SimpDBs_1 : 1 1442.02/1188.55 c (104,0) c SimpDBs_total : 2 1442.02/1188.55 c (104,0) c SimpDBs_winner : 1 1442.02/1188.55 c (104,0) c Restarts_0 : 1 1442.02/1188.55 c (104,0) c Restarts_1 : 1 1442.02/1188.55 c (104,0) c Restarts_total : 2 1442.02/1188.55 c (104,0) c Restarts_winner : 1 1442.02/1188.55 c (104,0) c ForcedImports_0 : 0 1442.02/1188.55 c (104,0) c ForcedImports_1 : 0 1442.02/1188.55 c (104,0) c ForcedImports_total : 0 1442.02/1188.55 c (104,0) c ForcedImports_winner : 0 1442.02/1188.55 c (104,0) c PropsBinClauses_0 : 189818087 1442.02/1188.55 c (104,0) c PropsBinClauses_1 : 155201060 1442.02/1188.55 c (104,0) c PropsBinClauses_total : 345019147 1442.02/1188.55 c (104,0) c PropsBinClauses_winner : 189818087 1442.02/1188.55 c (104,0) c PropsPreBlocker_0 : 7902695868 1442.02/1188.55 c (104,0) c PropsPreBlocker_1 : 8142522693 1442.02/1188.55 c (104,0) c PropsPreBlocker_total : 16045218561 1442.02/1188.55 c (104,0) c PropsPreBlocker_winner : 7902695868 1442.02/1188.55 c (104,0) c PropsNotBlocker_0 : 890987786 1442.02/1188.55 c (104,0) c PropsNotBlocker_1 : 875298947 1442.02/1188.55 c (104,0) c PropsNotBlocker_total : 1766286733 1442.02/1188.55 c (104,0) c PropsNotBlocker_winner : 890987786 1442.02/1188.55 c (104,0) c PropsLitFullScans_0 : 9355019874 1442.02/1188.55 c (104,0) c PropsLitFullScans_1 : 9470077455 1442.02/1188.55 c (104,0) c PropsLitFullScans_total : 18825097329 1442.02/1188.55 c (104,0) c PropsLitFullScans_winner : 9355019874 1442.02/1188.55 c (104,0) c LitScanFractions_0 : 40756690 1442.02/1188.55 c (104,0) c LitScanFractions_1 : 28952333 1442.02/1188.55 c (104,0) c LitScanFractions_total : 69709023 1442.02/1188.55 c (104,0) c LitScanFractions_winner : 40756690 1442.02/1188.55 c (104,0) c DecisionLevel0_0 : 2 1442.02/1188.55 c (104,0) c DecisionLevel0_1 : 2 1442.02/1188.55 c (104,0) c DecisionLevel0_total : 4 1442.02/1188.55 c (104,0) c DecisionLevel0_winner : 2 1442.02/1188.55 c (104,0) c Periods_0 : 1552 1442.02/1188.55 c (104,0) c Periods_1 : 1573 1442.02/1188.55 c (104,0) c Periods_total : 3125 1442.02/1188.55 c (104,0) c Periods_winner : 1552 1442.02/1188.55 c (104,0) c Margin_0 : 20 1442.02/1188.55 c (104,0) c Margin_1 : 20 1442.02/1188.55 c (104,0) c Margin_total : 40 1442.02/1188.55 c (104,0) c Margin_winner : 20 1442.02/1188.55 c (104,0) c Exported_0 : 3 1442.02/1188.55 c (104,0) c Exported_1 : 22 1442.02/1188.55 c (104,0) c Exported_total : 25 1442.02/1188.55 c (104,0) c Exported_winner : 3 1442.02/1188.55 c (104,0) c Imported_0 : 0 1442.02/1188.55 c (104,0) c Imported_1 : 3 1442.02/1188.55 c (104,0) c Imported_total : 3 1442.02/1188.55 c (104,0) c Imported_winner : 0 1442.02/1188.55 c (104,0) c Good_0 : 0 1442.02/1188.55 c (104,0) c Good_1 : 2 1442.02/1188.55 c (104,0) c Good_total : 2 1442.02/1188.55 c (104,0) c Good_winner : 0 1442.02/1188.55 c (104,0) c Purge_0 : 0 1442.02/1188.55 c (104,0) c Purge_1 : 1 1442.02/1188.55 c (104,0) c Purge_total : 1 1442.02/1188.55 c (104,0) c Purge_winner : 0 1442.02/1188.55 c (104,0) c Promoted_0 : 0 1442.02/1188.55 c (104,0) c Promoted_1 : 0 1442.02/1188.55 c (104,0) c Promoted_total : 0 1442.02/1188.55 c (104,0) c Promoted_winner : 0 1442.02/1188.55 c (104,0) c Remove_Imp_0 : 0 1442.02/1188.55 c (104,0) c Remove_Imp_1 : 0 1442.02/1188.55 c (104,0) c Remove_Imp_total : 0 1442.02/1188.55 c (104,0) c Remove_Imp_winner : 0 1442.02/1188.55 c (104,0) c Blocked_Reuse_0 : 0 1442.02/1188.55 c (104,0) c Blocked_Reuse_1 : 0 1442.02/1188.55 c (104,0) c Blocked_Reuse_total : 0 1442.02/1188.55 c (104,0) c Blocked_Reuse_winner : 0 1442.02/1188.55 c (104,0) c Unaries_0 : 1 1442.02/1188.55 c (104,0) c Unaries_1 : 1 1442.02/1188.55 c (104,0) c Unaries_total : 2 1442.02/1188.55 c (104,0) c Unaries_winner : 1 1442.02/1188.55 c (104,0) c Binaries_0 : 2 1442.02/1188.55 c (104,0) c Binaries_1 : 7 1442.02/1188.55 c (104,0) c Binaries_total : 9 1442.02/1188.55 c (104,0) c Binaries_winner : 2 1442.02/1188.55 c (104,0) c Glues_0 : 3 1442.02/1188.55 c (104,0) c Glues_1 : 22 1442.02/1188.55 c (104,0) c Glues_total : 25 1442.02/1188.55 c (104,0) c Glues_winner : 3 1442.02/1188.55 c (104,0) c RunningTime_0 : 88.884704 1442.02/1188.55 c (104,0) c RunningTime_1 : 85.268490 1442.02/1188.55 c (104,0) c RunningTime_total : 174.153194 1442.02/1188.55 c (104,0) c RunningTime_winner : 88.884704 1442.02/1188.55 c (104,0) c WaitingTime_0 : 0.000239 1442.02/1188.55 c (104,0) c WaitingTime_1 : 3.639364 1442.02/1188.55 c (104,0) c WaitingTime_total : 3.639603 1442.02/1188.55 c (104,0) c WaitingTime_winner : 0.000239 1442.02/1188.56 c (104,0) c ExchangingTime_0 : 0.003031 1442.02/1188.56 c (104,0) c ExchangingTime_1 : 0.003482 1442.02/1188.56 c (104,0) c ExchangingTime_total : 0.006513 1442.02/1188.56 c (104,0) c ExchangingTime_winner : 0.003031 1442.02/1188.56 c (104,0) c PeriodProcTime_0 : 0.018285 1442.02/1188.56 c (104,0) c PeriodProcTime_1 : 0.017235 1442.02/1188.56 c (104,0) c PeriodProcTime_total : 0.035520 1442.02/1188.56 c (104,0) c PeriodProcTime_winner : 0.018285 1442.02/1188.56 c (104,0) c SolvingTime_0 : 88.906260 1442.02/1188.56 c (104,0) c SolvingTime_1 : 88.928571 1442.02/1188.56 c (104,0) c SolvingTime_total : 177.834830 1442.02/1188.56 c (104,0) c SolvingTime_winner : 88.906260 1442.02/1188.56 c (104,0) c PropagationTime_0 : 80.373616 1442.02/1188.56 c (104,0) c PropagationTime_1 : 81.696793 1442.02/1188.56 c (104,0) c PropagationTime_total : 162.070409 1442.02/1188.56 c (104,0) c PropagationTime_winner : 80.373616 1442.02/1188.56 c (104,0) c AnalysisTime_0 : 7.869490 1442.02/1188.56 c (104,0) c AnalysisTime_1 : 6.683939 1442.02/1188.56 c (104,0) c AnalysisTime_total : 14.553430 1442.02/1188.56 c (104,0) c AnalysisTime_winner : 7.869490 1442.02/1188.56 c (104,0) c ReductionTime_0 : 0.000000 1442.02/1188.56 c (104,0) c ReductionTime_1 : 0.000000 1442.02/1188.56 c (104,0) c ReductionTime_total : 0.000000 1442.02/1188.56 c (104,0) c ReductionTime_winner : 0.000000 1442.02/1188.56 c (104,0) c SimplifyTime_0 : 0.000000 1442.02/1188.56 c (104,0) c SimplifyTime_1 : 0.000000 1442.02/1188.56 c (104,0) c SimplifyTime_total : 0.000000 1442.02/1188.56 c (104,0) c SimplifyTime_winner : 0.000000 1442.02/1188.56 c (104,0) c UsedRateTime_0 : 0.000000 1442.02/1188.56 c (104,0) c UsedRateTime_1 : 0.000000 1442.02/1188.56 c (104,0) c UsedRateTime_total : 0.000000 1442.02/1188.56 c (104,0) c UsedRateTime_winner : 0.000000 1442.02/1188.56 c (104,0) c OverlapRateTime_0 : 0.000000 1442.02/1188.56 c (104,0) c OverlapRateTime_1 : 0.000000 1442.02/1188.56 c (104,0) c OverlapRateTime_total : 0.000000 1442.02/1188.56 c (104,0) c OverlapRateTime_winner : 0.000000 1442.02/1188.56 c (104,0) c 1442.02/1188.56 c (104,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1442.02/1188.56 c (104,0) c 1442.02/1188.56 c (104,0) c |-----------------------|------------|------------| 1442.02/1188.56 c (104,0) c | Threads | 0 | 1 | 1442.02/1188.56 c (104,0) c |-----------------------|------------|------------| 1442.02/1188.56 c (104,0) c | randomizeFirstDescent | False | True | 1442.02/1188.56 c (104,0) c | adaptStrategeis | True | False | 1442.02/1188.56 c (104,0) c | forceUnsatOnNewDescent| True | True | 1442.02/1188.56 c (104,0) c | Initial random_seed | 1177032193 | 1475915891 | 1442.02/1188.56 c (104,0) c | chanseokStrategy | False | False | 1442.02/1188.56 c (104,0) c | coLBDBound | 5 | 5 | 1442.02/1188.56 c (104,0) c | glureduce | True | True | 1442.02/1188.56 c (104,0) c | firstReduceDB | 2000 | 2000 | 1442.02/1188.56 c (104,0) c | incReduceDB | 300 | 300 | 1442.02/1188.56 c (104,0) c | luby_restart | False | False | 1442.02/1188.56 c (104,0) c | luby_restart_factor | 100 | 100 | 1442.02/1188.56 c (104,0) c | var_decay | 0.8000 | 0.8000 | 1442.02/1188.56 c (104,0) c | max_var_decay | 0.9500 | 0.9500 | 1442.02/1188.56 c (104,0) c | randomize_on_restarts | False | False | 1442.02/1188.56 c (104,0) c | remove_satisfied | True | True | 1442.02/1188.56 c (104,0) c |-----------------------|------------|------------| 1442.02/1188.56 c (104,0) 1442.02/1188.56 c (104,0) s SATISFIABLE 1253.50/1188.92 c (104,0) SatSolver.solve End 1253.50/1188.92 c (104,0) Heap : 209 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1253.50/1188.92 c (104,0) Show results Begin 1443.37/1189.12 c (104,0) x[0] = 996 1443.37/1189.12 c (104,0) x[1] = 2 1443.37/1189.12 c (104,0) x[2] = 1 1443.37/1189.12 c (104,0) x[3] = 0 1443.37/1189.12 c (104,0) x[4] = 0 1443.37/1189.12 c (104,0) x[5] = 0 1443.37/1189.12 c (104,0) x[6] = 0 1443.37/1189.12 c (104,0) x[7] = 0 1443.37/1189.12 c (104,0) x[8] = 0 1443.37/1189.12 c (104,0) x[9] = 0 1443.37/1189.12 c (104,0) x[10] = 0 1443.37/1189.12 c (104,0) x[11] = 0 1443.37/1189.12 c (104,0) x[12] = 0 1443.37/1189.12 c (104,0) x[13] = 0 1443.37/1189.12 c (104,0) x[14] = 0 1443.37/1189.12 c (104,0) x[15] = 0 1443.37/1189.12 c (104,0) x[16] = 0 1443.37/1189.12 c (104,0) x[17] = 0 1443.37/1189.12 c (104,0) x[18] = 0 1443.37/1189.12 c (104,0) x[19] = 0 1443.37/1189.12 c (104,0) x[20] = 0 1443.37/1189.12 c (104,0) x[21] = 0 1443.37/1189.12 c (104,0) x[22] = 0 1443.37/1189.12 c (104,0) x[23] = 0 1443.37/1189.12 c (104,0) x[24] = 0 1443.37/1189.12 c (104,0) x[25] = 0 1443.37/1189.12 c (104,0) x[26] = 0 1443.37/1189.12 c (104,0) x[27] = 0 1443.37/1189.12 c (104,0) x[28] = 0 1443.37/1189.12 c (104,0) x[29] = 0 1443.37/1189.12 c (104,0) x[30] = 0 1443.37/1189.12 c (104,0) x[31] = 0 1443.37/1189.12 c (104,0) x[32] = 0 1443.37/1189.12 c (104,0) x[33] = 0 1443.37/1189.12 c (104,0) x[34] = 0 1443.37/1189.12 c (104,0) x[35] = 0 1443.37/1189.12 c (104,0) x[36] = 0 1443.37/1189.12 c (104,0) x[37] = 0 1443.37/1189.12 c (104,0) x[38] = 0 1443.37/1189.12 c (104,0) x[39] = 0 1443.37/1189.12 c (104,0) x[40] = 0 1443.37/1189.12 c (104,0) x[41] = 0 1443.37/1189.12 c (104,0) x[42] = 0 1443.37/1189.12 c (104,0) x[43] = 0 1443.37/1189.12 c (104,0) x[44] = 0 1443.37/1189.12 c (104,0) x[45] = 0 1443.37/1189.12 c (104,0) x[46] = 0 1443.37/1189.12 c (104,0) x[47] = 0 1443.37/1189.12 c (104,0) x[48] = 0 1443.37/1189.12 c (104,0) x[49] = 0 1443.37/1189.12 c (104,0) x[50] = 0 1443.37/1189.12 c (104,0) x[51] = 0 1443.37/1189.12 c (104,0) x[52] = 0 1443.37/1189.12 c (104,0) x[53] = 0 1443.37/1189.12 c (104,0) x[54] = 0 1443.37/1189.12 c (104,0) x[55] = 0 1443.37/1189.12 c (104,0) x[56] = 0 1443.37/1189.12 c (104,0) x[57] = 0 1443.37/1189.12 c (104,0) x[58] = 0 1443.37/1189.12 c (104,0) x[59] = 0 1443.37/1189.12 c (104,0) x[60] = 0 1443.37/1189.12 c (104,0) x[61] = 0 1443.37/1189.12 c (104,0) x[62] = 0 1443.37/1189.12 c (104,0) x[63] = 0 1443.37/1189.12 c (104,0) x[64] = 0 1443.37/1189.12 c (104,0) x[65] = 0 1443.37/1189.12 c (104,0) x[66] = 0 1443.37/1189.12 c (104,0) x[67] = 0 1443.37/1189.12 c (104,0) x[68] = 0 1443.37/1189.12 c (104,0) x[69] = 0 1443.37/1189.12 c (104,0) x[70] = 0 1443.37/1189.13 c (104,0) x[71] = 0 1443.37/1189.13 c (104,0) x[72] = 0 1443.37/1189.13 c (104,0) x[73] = 0 1443.37/1189.13 c (104,0) x[74] = 0 1443.37/1189.13 c (104,0) x[75] = 0 1443.37/1189.13 c (104,0) x[76] = 0 1443.37/1189.13 c (104,0) x[77] = 0 1443.37/1189.13 c (104,0) x[78] = 0 1443.37/1189.13 c (104,0) x[79] = 0 1443.37/1189.13 c (104,0) x[80] = 0 1443.37/1189.13 c (104,0) x[81] = 0 1443.37/1189.13 c (104,0) x[82] = 0 1443.37/1189.13 c (104,0) x[83] = 0 1443.37/1189.13 c (104,0) x[84] = 0 1443.37/1189.13 c (104,0) x[85] = 0 1443.37/1189.13 c (104,0) x[86] = 0 1443.37/1189.13 c (104,0) x[87] = 0 1443.37/1189.13 c (104,0) x[88] = 0 1443.37/1189.13 c (104,0) x[89] = 0 1443.37/1189.13 c (104,0) x[90] = 0 1443.37/1189.13 c (104,0) x[91] = 0 1443.37/1189.13 c (104,0) x[92] = 0 1443.37/1189.13 c (104,0) x[93] = 0 1443.37/1189.13 c (104,0) x[94] = 0 1443.37/1189.13 c (104,0) x[95] = 0 1443.37/1189.13 c (104,0) x[96] = 0 1443.37/1189.13 c (104,0) x[97] = 0 1443.37/1189.13 c (104,0) x[98] = 0 1443.37/1189.13 c (104,0) x[99] = 0 1443.37/1189.13 c (104,0) x[100] = 0 1443.37/1189.13 c (104,0) x[101] = 0 1443.37/1189.13 c (104,0) x[102] = 0 1443.37/1189.13 c (104,0) x[103] = 0 1443.37/1189.13 c (104,0) x[104] = 0 1443.37/1189.13 c (104,0) x[105] = 0 1443.37/1189.13 c (104,0) x[106] = 0 1443.37/1189.13 c (104,0) x[107] = 0 1443.37/1189.13 c (104,0) x[108] = 0 1443.37/1189.13 c (104,0) x[109] = 0 1443.37/1189.13 c (104,0) x[110] = 0 1443.37/1189.13 c (104,0) x[111] = 0 1443.37/1189.13 c (104,0) x[112] = 0 1443.37/1189.13 c (104,0) x[113] = 0 1443.37/1189.13 c (104,0) x[114] = 0 1443.37/1189.13 c (104,0) x[115] = 0 1443.37/1189.13 c (104,0) x[116] = 0 1443.37/1189.13 c (104,0) x[117] = 0 1443.37/1189.13 c (104,0) x[118] = 0 1443.37/1189.13 c (104,0) x[119] = 0 1443.37/1189.13 c (104,0) x[120] = 0 1443.37/1189.13 c (104,0) x[121] = 0 1443.37/1189.13 c (104,0) x[122] = 0 1443.37/1189.13 c (104,0) x[123] = 0 1443.37/1189.13 c (104,0) x[124] = 0 1443.37/1189.13 c (104,0) x[125] = 0 1443.37/1189.13 c (104,0) x[126] = 0 1443.37/1189.13 c (104,0) x[127] = 0 1443.37/1189.13 c (104,0) x[128] = 0 1443.37/1189.13 c (104,0) x[129] = 0 1443.37/1189.13 c (104,0) x[130] = 0 1443.37/1189.13 c (104,0) x[131] = 0 1443.37/1189.13 c (104,0) x[132] = 0 1443.37/1189.13 c (104,0) x[133] = 0 1443.37/1189.13 c (104,0) x[134] = 0 1443.37/1189.13 c (104,0) x[135] = 0 1443.37/1189.13 c (104,0) x[136] = 0 1443.37/1189.13 c (104,0) x[137] = 0 1443.37/1189.13 c (104,0) x[138] = 0 1443.37/1189.13 c (104,0) x[139] = 0 1443.37/1189.13 c (104,0) x[140] = 0 1443.37/1189.13 c (104,0) x[141] = 0 1443.37/1189.13 c (104,0) x[142] = 0 1443.37/1189.13 c (104,0) x[143] = 0 1443.37/1189.13 c (104,0) x[144] = 0 1443.37/1189.13 c (104,0) x[145] = 0 1443.37/1189.13 c (104,0) x[146] = 0 1443.37/1189.13 c (104,0) x[147] = 0 1443.37/1189.13 c (104,0) x[148] = 0 1443.37/1189.13 c (104,0) x[149] = 0 1443.37/1189.13 c (104,0) x[150] = 0 1443.37/1189.13 c (104,0) x[151] = 0 1443.37/1189.13 c (104,0) x[152] = 0 1443.37/1189.13 c (104,0) x[153] = 0 1443.37/1189.13 c (104,0) x[154] = 0 1443.37/1189.13 c (104,0) x[155] = 0 1443.37/1189.13 c (104,0) x[156] = 0 1443.37/1189.13 c (104,0) x[157] = 0 1443.37/1189.13 c (104,0) x[158] = 0 1443.37/1189.13 c (104,0) x[159] = 0 1443.37/1189.13 c (104,0) x[160] = 0 1443.37/1189.13 c (104,0) x[161] = 0 1443.37/1189.13 c (104,0) x[162] = 0 1443.37/1189.13 c (104,0) x[163] = 0 1443.37/1189.13 c (104,0) x[164] = 0 1443.37/1189.13 c (104,0) x[165] = 0 1443.37/1189.13 c (104,0) x[166] = 0 1443.37/1189.13 c (104,0) x[167] = 0 1443.37/1189.13 c (104,0) x[168] = 0 1443.37/1189.13 c (104,0) x[169] = 0 1443.37/1189.13 c (104,0) x[170] = 0 1443.37/1189.13 c (104,0) x[171] = 0 1443.37/1189.13 c (104,0) x[172] = 0 1443.37/1189.13 c (104,0) x[173] = 0 1443.37/1189.13 c (104,0) x[174] = 0 1443.37/1189.13 c (104,0) x[175] = 0 1443.37/1189.13 c (104,0) x[176] = 0 1443.37/1189.13 c (104,0) x[177] = 0 1443.37/1189.13 c (104,0) x[178] = 0 1443.37/1189.13 c (104,0) x[179] = 0 1443.37/1189.13 c (104,0) x[180] = 0 1443.37/1189.13 c (104,0) x[181] = 0 1443.37/1189.13 c (104,0) x[182] = 0 1443.37/1189.13 c (104,0) x[183] = 0 1443.37/1189.13 c (104,0) x[184] = 0 1443.37/1189.13 c (104,0) x[185] = 0 1443.37/1189.13 c (104,0) x[186] = 0 1443.37/1189.13 c (104,0) x[187] = 0 1443.37/1189.13 c (104,0) x[188] = 0 1443.37/1189.13 c (104,0) x[189] = 0 1443.37/1189.13 c (104,0) x[190] = 0 1443.37/1189.13 c (104,0) x[191] = 0 1443.37/1189.13 c (104,0) x[192] = 0 1443.37/1189.13 c (104,0) x[193] = 0 1443.37/1189.13 c (104,0) x[194] = 0 1443.37/1189.13 c (104,0) x[195] = 0 1443.37/1189.13 c (104,0) x[196] = 0 1443.37/1189.13 c (104,0) x[197] = 0 1443.37/1189.13 c (104,0) x[198] = 0 1443.37/1189.13 c (104,0) x[199] = 0 1443.37/1189.13 c (104,0) x[200] = 0 1443.37/1189.13 c (104,0) x[201] = 0 1443.37/1189.13 c (104,0) x[202] = 0 1443.37/1189.13 c (104,0) x[203] = 0 1443.37/1189.13 c (104,0) x[204] = 0 1443.37/1189.13 c (104,0) x[205] = 0 1443.37/1189.13 c (104,0) x[206] = 0 1443.37/1189.13 c (104,0) x[207] = 0 1443.37/1189.13 c (104,0) x[208] = 0 1443.37/1189.13 c (104,0) x[209] = 0 1443.37/1189.13 c (104,0) x[210] = 0 1443.37/1189.13 c (104,0) x[211] = 0 1443.37/1189.13 c (104,0) x[212] = 0 1443.37/1189.13 c (104,0) x[213] = 0 1443.37/1189.13 c (104,0) x[214] = 0 1443.37/1189.13 c (104,0) x[215] = 0 1443.37/1189.13 c (104,0) x[216] = 0 1443.37/1189.13 c (104,0) x[217] = 0 1443.37/1189.13 c (104,0) x[218] = 0 1443.37/1189.13 c (104,0) x[219] = 0 1443.37/1189.13 c (104,0) x[220] = 0 1443.37/1189.13 c (104,0) x[221] = 0 1443.37/1189.13 c (104,0) x[222] = 0 1443.37/1189.13 c (104,0) x[223] = 0 1443.37/1189.13 c (104,0) x[224] = 0 1443.37/1189.13 c (104,0) x[225] = 0 1443.37/1189.13 c (104,0) x[226] = 0 1443.37/1189.13 c (104,0) x[227] = 0 1443.37/1189.13 c (104,0) x[228] = 0 1443.37/1189.13 c (104,0) x[229] = 0 1443.37/1189.13 c (104,0) x[230] = 0 1443.37/1189.13 c (104,0) x[231] = 0 1443.37/1189.13 c (104,0) x[232] = 0 1443.37/1189.13 c (104,0) x[233] = 0 1443.37/1189.13 c (104,0) x[234] = 0 1443.37/1189.13 c (104,0) x[235] = 0 1443.37/1189.13 c (104,0) x[236] = 0 1443.37/1189.13 c (104,0) x[237] = 0 1443.37/1189.13 c (104,0) x[238] = 0 1443.37/1189.13 c (104,0) x[239] = 0 1443.37/1189.13 c (104,0) x[240] = 0 1443.37/1189.13 c (104,0) x[241] = 0 1443.37/1189.13 c (104,0) x[242] = 0 1443.37/1189.13 c (104,0) x[243] = 0 1443.37/1189.13 c (104,0) x[244] = 0 1443.37/1189.13 c (104,0) x[245] = 0 1443.37/1189.13 c (104,0) x[246] = 0 1443.37/1189.13 c (104,0) x[247] = 0 1443.37/1189.13 c (104,0) x[248] = 0 1443.37/1189.13 c (104,0) x[249] = 0 1443.37/1189.13 c (104,0) x[250] = 0 1443.37/1189.13 c (104,0) x[251] = 0 1443.37/1189.13 c (104,0) x[252] = 0 1443.37/1189.13 c (104,0) x[253] = 0 1443.37/1189.13 c (104,0) x[254] = 0 1443.37/1189.13 c (104,0) x[255] = 0 1443.37/1189.13 c (104,0) x[256] = 0 1443.37/1189.13 c (104,0) x[257] = 0 1443.37/1189.13 c (104,0) x[258] = 0 1443.37/1189.13 c (104,0) x[259] = 0 1443.37/1189.13 c (104,0) x[260] = 0 1443.37/1189.13 c (104,0) x[261] = 0 1443.37/1189.13 c (104,0) x[262] = 0 1443.37/1189.13 c (104,0) x[263] = 0 1443.37/1189.13 c (104,0) x[264] = 0 1443.37/1189.13 c (104,0) x[265] = 0 1443.37/1189.13 c (104,0) x[266] = 0 1443.37/1189.13 c (104,0) x[267] = 0 1443.37/1189.13 c (104,0) x[268] = 0 1443.37/1189.13 c (104,0) x[269] = 0 1443.37/1189.13 c (104,0) x[270] = 0 1443.37/1189.13 c (104,0) x[271] = 0 1443.37/1189.13 c (104,0) x[272] = 0 1443.37/1189.13 c (104,0) x[273] = 0 1443.37/1189.13 c (104,0) x[274] = 0 1443.37/1189.13 c (104,0) x[275] = 0 1443.37/1189.13 c (104,0) x[276] = 0 1443.37/1189.13 c (104,0) x[277] = 0 1443.37/1189.13 c (104,0) x[278] = 0 1443.37/1189.13 c (104,0) x[279] = 0 1443.37/1189.13 c (104,0) x[280] = 0 1443.37/1189.13 c (104,0) x[281] = 0 1443.37/1189.13 c (104,0) x[282] = 0 1443.37/1189.13 c (104,0) x[283] = 0 1443.37/1189.13 c (104,0) x[284] = 0 1443.37/1189.13 c (104,0) x[285] = 0 1443.37/1189.13 c (104,0) x[286] = 0 1443.37/1189.13 c (104,0) x[287] = 0 1443.37/1189.13 c (104,0) x[288] = 0 1443.37/1189.13 c (104,0) x[289] = 0 1443.37/1189.13 c (104,0) x[290] = 0 1443.37/1189.13 c (104,0) x[291] = 0 1443.37/1189.13 c (104,0) x[292] = 0 1443.37/1189.13 c (104,0) x[293] = 0 1443.37/1189.13 c (104,0) x[294] = 0 1443.37/1189.13 c (104,0) x[295] = 0 1443.37/1189.13 c (104,0) x[296] = 0 1443.37/1189.13 c (104,0) x[297] = 0 1443.37/1189.13 c (104,0) x[298] = 0 1443.37/1189.13 c (104,0) x[299] = 0 1443.37/1189.13 c (104,0) x[300] = 0 1443.37/1189.13 c (104,0) x[301] = 0 1443.37/1189.13 c (104,0) x[302] = 0 1443.37/1189.13 c (104,0) x[303] = 0 1443.37/1189.13 c (104,0) x[304] = 0 1443.37/1189.13 c (104,0) x[305] = 0 1443.37/1189.13 c (104,0) x[306] = 0 1443.37/1189.13 c (104,0) x[307] = 0 1443.37/1189.13 c (104,0) x[308] = 0 1443.37/1189.13 c (104,0) x[309] = 0 1443.37/1189.13 c (104,0) x[310] = 0 1443.37/1189.13 c (104,0) x[311] = 0 1443.37/1189.13 c (104,0) x[312] = 0 1443.37/1189.13 c (104,0) x[313] = 0 1443.37/1189.13 c (104,0) x[314] = 0 1443.37/1189.13 c (104,0) x[315] = 0 1443.37/1189.13 c (104,0) x[316] = 0 1443.37/1189.13 c (104,0) x[317] = 0 1443.37/1189.13 c (104,0) x[318] = 0 1443.37/1189.13 c (104,0) x[319] = 0 1443.37/1189.13 c (104,0) x[320] = 0 1443.37/1189.13 c (104,0) x[321] = 0 1443.37/1189.13 c (104,0) x[322] = 0 1443.37/1189.13 c (104,0) x[323] = 0 1443.37/1189.13 c (104,0) x[324] = 0 1443.37/1189.13 c (104,0) x[325] = 0 1443.37/1189.13 c (104,0) x[326] = 0 1443.37/1189.13 c (104,0) x[327] = 0 1443.37/1189.13 c (104,0) x[328] = 0 1443.37/1189.13 c (104,0) x[329] = 0 1443.37/1189.13 c (104,0) x[330] = 0 1443.37/1189.13 c (104,0) x[331] = 0 1443.37/1189.13 c (104,0) x[332] = 0 1443.37/1189.13 c (104,0) x[333] = 0 1443.37/1189.13 c (104,0) x[334] = 0 1443.37/1189.13 c (104,0) x[335] = 0 1443.37/1189.13 c (104,0) x[336] = 0 1443.37/1189.13 c (104,0) x[337] = 0 1443.37/1189.13 c (104,0) x[338] = 0 1443.37/1189.13 c (104,0) x[339] = 0 1443.37/1189.13 c (104,0) x[340] = 0 1443.37/1189.13 c (104,0) x[341] = 0 1443.37/1189.13 c (104,0) x[342] = 0 1443.37/1189.13 c (104,0) x[343] = 0 1443.37/1189.13 c (104,0) x[344] = 0 1443.37/1189.13 c (104,0) x[345] = 0 1443.37/1189.13 c (104,0) x[346] = 0 1443.37/1189.13 c (104,0) x[347] = 0 1443.37/1189.13 c (104,0) x[348] = 0 1443.37/1189.13 c (104,0) x[349] = 0 1443.37/1189.13 c (104,0) x[350] = 0 1443.37/1189.13 c (104,0) x[351] = 0 1443.37/1189.13 c (104,0) x[352] = 0 1443.37/1189.13 c (104,0) x[353] = 0 1443.37/1189.13 c (104,0) x[354] = 0 1443.37/1189.13 c (104,0) x[355] = 0 1443.37/1189.13 c (104,0) x[356] = 0 1443.37/1189.13 c (104,0) x[357] = 0 1443.37/1189.13 c (104,0) x[358] = 0 1443.37/1189.13 c (104,0) x[359] = 0 1443.37/1189.13 c (104,0) x[360] = 0 1443.37/1189.13 c (104,0) x[361] = 0 1443.37/1189.13 c (104,0) x[362] = 0 1443.37/1189.13 c (104,0) x[363] = 0 1443.37/1189.13 c (104,0) x[364] = 0 1443.37/1189.13 c (104,0) x[365] = 0 1443.37/1189.13 c (104,0) x[366] = 0 1443.37/1189.13 c (104,0) x[367] = 0 1443.37/1189.13 c (104,0) x[368] = 0 1443.37/1189.13 c (104,0) x[369] = 0 1443.37/1189.13 c (104,0) x[370] = 0 1443.37/1189.13 c (104,0) x[371] = 0 1443.37/1189.13 c (104,0) x[372] = 0 1443.37/1189.13 c (104,0) x[373] = 0 1443.37/1189.13 c (104,0) x[374] = 0 1443.37/1189.13 c (104,0) x[375] = 0 1443.37/1189.13 c (104,0) x[376] = 0 1443.37/1189.13 c (104,0) x[377] = 0 1443.37/1189.13 c (104,0) x[378] = 0 1443.37/1189.13 c (104,0) x[379] = 0 1443.37/1189.13 c (104,0) x[380] = 0 1443.37/1189.13 c (104,0) x[381] = 0 1443.37/1189.13 c (104,0) x[382] = 0 1443.37/1189.13 c (104,0) x[383] = 0 1443.37/1189.13 c (104,0) x[384] = 0 1443.37/1189.13 c (104,0) x[385] = 0 1443.37/1189.13 c (104,0) x[386] = 0 1443.37/1189.13 c (104,0) x[387] = 0 1443.37/1189.13 c (104,0) x[388] = 0 1443.37/1189.13 c (104,0) x[389] = 0 1443.37/1189.13 c (104,0) x[390] = 0 1443.37/1189.13 c (104,0) x[391] = 0 1443.37/1189.13 c (104,0) x[392] = 0 1443.37/1189.13 c (104,0) x[393] = 0 1443.37/1189.13 c (104,0) x[394] = 0 1443.37/1189.13 c (104,0) x[395] = 0 1443.37/1189.13 c (104,0) x[396] = 0 1443.37/1189.13 c (104,0) x[397] = 0 1443.37/1189.13 c (104,0) x[398] = 0 1443.37/1189.13 c (104,0) x[399] = 0 1443.37/1189.13 c (104,0) x[400] = 0 1443.37/1189.14 c (105,0) x[401] = 0 1443.37/1189.14 c (105,0) x[402] = 0 1443.37/1189.14 c (105,0) x[403] = 0 1443.37/1189.14 c (105,0) x[404] = 0 1443.37/1189.14 c (105,0) x[405] = 0 1443.37/1189.14 c (105,0) x[406] = 0 1443.37/1189.14 c (105,0) x[407] = 0 1443.37/1189.14 c (105,0) x[408] = 0 1443.37/1189.14 c (105,0) x[409] = 0 1443.37/1189.14 c (105,0) x[410] = 0 1443.37/1189.14 c (105,0) x[411] = 0 1443.37/1189.14 c (105,0) x[412] = 0 1443.37/1189.14 c (105,0) x[413] = 0 1443.37/1189.14 c (105,0) x[414] = 0 1443.37/1189.14 c (105,0) x[415] = 0 1443.37/1189.14 c (105,0) x[416] = 0 1443.37/1189.14 c (105,0) x[417] = 0 1443.37/1189.14 c (105,0) x[418] = 0 1443.37/1189.14 c (105,0) x[419] = 0 1443.37/1189.14 c (105,0) x[420] = 0 1443.37/1189.14 c (105,0) x[421] = 0 1443.37/1189.14 c (105,0) x[422] = 0 1443.37/1189.14 c (105,0) x[423] = 0 1443.37/1189.14 c (105,0) x[424] = 0 1443.37/1189.14 c (105,0) x[425] = 0 1443.37/1189.14 c (105,0) x[426] = 0 1443.37/1189.14 c (105,0) x[427] = 0 1443.37/1189.14 c (105,0) x[428] = 0 1443.37/1189.14 c (105,0) x[429] = 0 1443.37/1189.14 c (105,0) x[430] = 0 1443.37/1189.14 c (105,0) x[431] = 0 1443.37/1189.14 c (105,0) x[432] = 0 1443.37/1189.14 c (105,0) x[433] = 0 1443.37/1189.14 c (105,0) x[434] = 0 1443.37/1189.14 c (105,0) x[435] = 0 1443.37/1189.14 c (105,0) x[436] = 0 1443.37/1189.14 c (105,0) x[437] = 0 1443.37/1189.14 c (105,0) x[438] = 0 1443.37/1189.14 c (105,0) x[439] = 0 1443.37/1189.14 c (105,0) x[440] = 0 1443.37/1189.14 c (105,0) x[441] = 0 1443.37/1189.14 c (105,0) x[442] = 0 1443.37/1189.14 c (105,0) x[443] = 0 1443.37/1189.14 c (105,0) x[444] = 0 1443.37/1189.14 c (105,0) x[445] = 0 1443.37/1189.14 c (105,0) x[446] = 0 1443.37/1189.14 c (105,0) x[447] = 0 1443.37/1189.14 c (105,0) x[448] = 0 1443.37/1189.14 c (105,0) x[449] = 0 1443.37/1189.14 c (105,0) x[450] = 0 1443.37/1189.14 c (105,0) x[451] = 0 1443.37/1189.14 c (105,0) x[452] = 0 1443.37/1189.14 c (105,0) x[453] = 0 1443.37/1189.14 c (105,0) x[454] = 0 1443.37/1189.14 c (105,0) x[455] = 0 1443.37/1189.14 c (105,0) x[456] = 0 1443.37/1189.14 c (105,0) x[457] = 0 1443.37/1189.14 c (105,0) x[458] = 0 1443.37/1189.14 c (105,0) x[459] = 0 1443.37/1189.14 c (105,0) x[460] = 0 1443.37/1189.14 c (105,0) x[461] = 0 1443.37/1189.14 c (105,0) x[462] = 0 1443.37/1189.14 c (105,0) x[463] = 0 1443.37/1189.14 c (105,0) x[464] = 0 1443.37/1189.14 c (105,0) x[465] = 0 1443.37/1189.14 c (105,0) x[466] = 0 1443.37/1189.14 c (105,0) x[467] = 0 1443.37/1189.14 c (105,0) x[468] = 0 1443.37/1189.14 c (105,0) x[469] = 0 1443.37/1189.14 c (105,0) x[470] = 0 1443.37/1189.14 c (105,0) x[471] = 0 1443.37/1189.14 c (105,0) x[472] = 0 1443.37/1189.14 c (105,0) x[473] = 0 1443.37/1189.14 c (105,0) x[474] = 0 1443.37/1189.14 c (105,0) x[475] = 0 1443.37/1189.14 c (105,0) x[476] = 0 1443.37/1189.14 c (105,0) x[477] = 0 1443.37/1189.14 c (105,0) x[478] = 0 1443.37/1189.14 c (105,0) x[479] = 0 1443.37/1189.14 c (105,0) x[480] = 0 1443.37/1189.14 c (105,0) x[481] = 0 1443.37/1189.14 c (105,0) x[482] = 0 1443.37/1189.14 c (105,0) x[483] = 0 1443.37/1189.14 c (105,0) x[484] = 0 1443.37/1189.14 c (105,0) x[485] = 0 1443.37/1189.14 c (105,0) x[486] = 0 1443.37/1189.14 c (105,0) x[487] = 0 1443.37/1189.14 c (105,0) x[488] = 0 1443.37/1189.14 c (105,0) x[489] = 0 1443.37/1189.14 c (105,0) x[490] = 0 1443.37/1189.14 c (105,0) x[491] = 0 1443.37/1189.14 c (105,0) x[492] = 0 1443.37/1189.14 c (105,0) x[493] = 0 1443.37/1189.14 c (105,0) x[494] = 0 1443.37/1189.14 c (105,0) x[495] = 0 1443.37/1189.14 c (105,0) x[496] = 0 1443.37/1189.14 c (105,0) x[497] = 0 1443.37/1189.14 c (105,0) x[498] = 0 1443.37/1189.14 c (105,0) x[499] = 0 1443.37/1189.14 c (105,0) x[500] = 0 1443.37/1189.14 c (105,0) x[501] = 0 1443.37/1189.14 c (105,0) x[502] = 0 1443.37/1189.14 c (105,0) x[503] = 0 1443.37/1189.14 c (105,0) x[504] = 0 1443.37/1189.14 c (105,0) x[505] = 0 1443.37/1189.14 c (105,0) x[506] = 0 1443.37/1189.14 c (105,0) x[507] = 0 1443.37/1189.14 c (105,0) x[508] = 0 1443.37/1189.14 c (105,0) x[509] = 0 1443.37/1189.14 c (105,0) x[510] = 0 1443.37/1189.14 c (105,0) x[511] = 0 1443.37/1189.14 c (105,0) x[512] = 0 1443.37/1189.14 c (105,0) x[513] = 0 1443.37/1189.14 c (105,0) x[514] = 0 1443.37/1189.14 c (105,0) x[515] = 0 1443.37/1189.14 c (105,0) x[516] = 0 1443.37/1189.14 c (105,0) x[517] = 0 1443.37/1189.14 c (105,0) x[518] = 0 1443.37/1189.14 c (105,0) x[519] = 0 1443.37/1189.14 c (105,0) x[520] = 0 1443.37/1189.14 c (105,0) x[521] = 0 1443.37/1189.14 c (105,0) x[522] = 0 1443.37/1189.14 c (105,0) x[523] = 0 1443.37/1189.14 c (105,0) x[524] = 0 1443.37/1189.14 c (105,0) x[525] = 0 1443.37/1189.14 c (105,0) x[526] = 0 1443.37/1189.14 c (105,0) x[527] = 0 1443.37/1189.14 c (105,0) x[528] = 0 1443.37/1189.14 c (105,0) x[529] = 0 1443.37/1189.14 c (105,0) x[530] = 0 1443.37/1189.14 c (105,0) x[531] = 0 1443.37/1189.14 c (105,0) x[532] = 0 1443.37/1189.14 c (105,0) x[533] = 0 1443.37/1189.14 c (105,0) x[534] = 0 1443.37/1189.14 c (105,0) x[535] = 0 1443.37/1189.14 c (105,0) x[536] = 0 1443.37/1189.14 c (105,0) x[537] = 0 1443.37/1189.14 c (105,0) x[538] = 0 1443.37/1189.14 c (105,0) x[539] = 0 1443.37/1189.14 c (105,0) x[540] = 0 1443.37/1189.14 c (105,0) x[541] = 0 1443.37/1189.14 c (105,0) x[542] = 0 1443.37/1189.14 c (105,0) x[543] = 0 1443.37/1189.14 c (105,0) x[544] = 0 1443.37/1189.14 c (105,0) x[545] = 0 1443.37/1189.15 c (105,0) x[546] = 0 1443.37/1189.15 c (105,0) x[547] = 0 1443.37/1189.15 c (105,0) x[548] = 0 1443.37/1189.15 c (105,0) x[549] = 0 1443.37/1189.15 c (105,0) x[550] = 0 1443.37/1189.15 c (105,0) x[551] = 0 1443.37/1189.15 c (105,0) x[552] = 0 1443.37/1189.15 c (105,0) x[553] = 0 1443.37/1189.15 c (105,0) x[554] = 0 1443.37/1189.15 c (105,0) x[555] = 0 1443.37/1189.15 c (105,0) x[556] = 0 1443.37/1189.15 c (105,0) x[557] = 0 1443.37/1189.15 c (105,0) x[558] = 0 1443.37/1189.15 c (105,0) x[559] = 0 1443.37/1189.15 c (105,0) x[560] = 0 1443.37/1189.15 c (105,0) x[561] = 0 1443.37/1189.15 c (105,0) x[562] = 0 1443.37/1189.15 c (105,0) x[563] = 0 1443.37/1189.15 c (105,0) x[564] = 0 1443.37/1189.15 c (105,0) x[565] = 0 1443.37/1189.15 c (105,0) x[566] = 0 1443.37/1189.15 c (105,0) x[567] = 0 1443.37/1189.15 c (105,0) x[568] = 0 1443.37/1189.15 c (105,0) x[569] = 0 1443.37/1189.15 c (105,0) x[570] = 0 1443.37/1189.15 c (105,0) x[571] = 0 1443.37/1189.15 c (105,0) x[572] = 0 1443.37/1189.15 c (105,0) x[573] = 0 1443.37/1189.15 c (105,0) x[574] = 0 1443.37/1189.15 c (105,0) x[575] = 0 1443.37/1189.15 c (105,0) x[576] = 0 1443.37/1189.15 c (105,0) x[577] = 0 1443.37/1189.15 c (105,0) x[578] = 0 1443.37/1189.15 c (105,0) x[579] = 0 1443.37/1189.15 c (105,0) x[580] = 0 1443.37/1189.15 c (105,0) x[581] = 0 1443.37/1189.15 c (105,0) x[582] = 0 1443.37/1189.15 c (105,0) x[583] = 0 1443.37/1189.15 c (105,0) x[584] = 0 1443.37/1189.15 c (105,0) x[585] = 0 1443.37/1189.15 c (105,0) x[586] = 0 1443.37/1189.15 c (105,0) x[587] = 0 1443.37/1189.15 c (105,0) x[588] = 0 1443.37/1189.15 c (105,0) x[589] = 0 1443.37/1189.15 c (105,0) x[590] = 0 1443.37/1189.15 c (105,0) x[591] = 0 1443.37/1189.15 c (105,0) x[592] = 0 1443.37/1189.15 c (105,0) x[593] = 0 1443.37/1189.15 c (105,0) x[594] = 0 1443.37/1189.15 c (105,0) x[595] = 0 1443.37/1189.15 c (105,0) x[596] = 0 1443.37/1189.15 c (105,0) x[597] = 0 1443.37/1189.15 c (105,0) x[598] = 0 1443.37/1189.15 c (105,0) x[599] = 0 1443.37/1189.15 c (105,0) x[600] = 0 1443.37/1189.15 c (105,0) x[601] = 0 1443.37/1189.15 c (105,0) x[602] = 0 1443.37/1189.15 c (105,0) x[603] = 0 1443.37/1189.15 c (105,0) x[604] = 0 1443.37/1189.15 c (105,0) x[605] = 0 1443.37/1189.15 c (105,0) x[606] = 0 1443.37/1189.15 c (105,0) x[607] = 0 1443.37/1189.15 c (105,0) x[608] = 0 1443.37/1189.15 c (105,0) x[609] = 0 1443.37/1189.15 c (105,0) x[610] = 0 1443.37/1189.15 c (105,0) x[611] = 0 1443.37/1189.15 c (105,0) x[612] = 0 1443.37/1189.15 c (105,0) x[613] = 0 1443.37/1189.15 c (105,0) x[614] = 0 1443.37/1189.15 c (105,0) x[615] = 0 1443.37/1189.15 c (105,0) x[616] = 0 1443.37/1189.15 c (105,0) x[617] = 0 1443.37/1189.15 c (105,0) x[618] = 0 1443.37/1189.15 c (105,0) x[619] = 0 1443.37/1189.15 c (105,0) x[620] = 0 1443.37/1189.15 c (105,0) x[621] = 0 1443.37/1189.15 c (105,0) x[622] = 0 1443.37/1189.15 c (105,0) x[623] = 0 1443.37/1189.15 c (105,0) x[624] = 0 1443.37/1189.15 c (105,0) x[625] = 0 1443.37/1189.15 c (105,0) x[626] = 0 1443.37/1189.15 c (105,0) x[627] = 0 1443.37/1189.15 c (105,0) x[628] = 0 1443.37/1189.15 c (105,0) x[629] = 0 1443.37/1189.15 c (105,0) x[630] = 0 1443.37/1189.15 c (105,0) x[631] = 0 1443.37/1189.15 c (105,0) x[632] = 0 1443.37/1189.15 c (105,0) x[633] = 0 1443.37/1189.15 c (105,0) x[634] = 0 1443.37/1189.15 c (105,0) x[635] = 0 1443.37/1189.15 c (105,0) x[636] = 0 1443.37/1189.15 c (105,0) x[637] = 0 1443.37/1189.15 c (105,0) x[638] = 0 1443.37/1189.15 c (105,0) x[639] = 0 1443.37/1189.15 c (105,0) x[640] = 0 1443.37/1189.15 c (105,0) x[641] = 0 1443.37/1189.15 c (105,0) x[642] = 0 1443.37/1189.15 c (105,0) x[643] = 0 1443.37/1189.15 c (105,0) x[644] = 0 1443.37/1189.15 c (105,0) x[645] = 0 1443.37/1189.15 c (105,0) x[646] = 0 1443.37/1189.15 c (105,0) x[647] = 0 1443.37/1189.15 c (105,0) x[648] = 0 1443.37/1189.15 c (105,0) x[649] = 0 1443.37/1189.15 c (105,0) x[650] = 0 1443.37/1189.15 c (105,0) x[651] = 0 1443.37/1189.15 c (105,0) x[652] = 0 1443.37/1189.15 c (105,0) x[653] = 0 1443.37/1189.15 c (105,0) x[654] = 0 1443.37/1189.15 c (105,0) x[655] = 0 1443.37/1189.15 c (105,0) x[656] = 0 1443.37/1189.15 c (105,0) x[657] = 0 1443.37/1189.15 c (105,0) x[658] = 0 1443.37/1189.15 c (105,0) x[659] = 0 1443.37/1189.15 c (105,0) x[660] = 0 1443.37/1189.15 c (105,0) x[661] = 0 1443.37/1189.15 c (105,0) x[662] = 0 1443.37/1189.15 c (105,0) x[663] = 0 1443.37/1189.15 c (105,0) x[664] = 0 1443.37/1189.15 c (105,0) x[665] = 0 1443.37/1189.15 c (105,0) x[666] = 0 1443.37/1189.15 c (105,0) x[667] = 0 1443.37/1189.15 c (105,0) x[668] = 0 1443.37/1189.15 c (105,0) x[669] = 0 1443.37/1189.15 c (105,0) x[670] = 0 1443.37/1189.15 c (105,0) x[671] = 0 1443.37/1189.15 c (105,0) x[672] = 0 1443.37/1189.15 c (105,0) x[673] = 0 1443.37/1189.15 c (105,0) x[674] = 0 1443.37/1189.15 c (105,0) x[675] = 0 1443.37/1189.15 c (105,0) x[676] = 0 1443.37/1189.15 c (105,0) x[677] = 0 1443.37/1189.15 c (105,0) x[678] = 0 1443.37/1189.15 c (105,0) x[679] = 0 1443.37/1189.15 c (105,0) x[680] = 0 1443.37/1189.15 c (105,0) x[681] = 0 1443.37/1189.15 c (105,0) x[682] = 0 1443.37/1189.15 c (105,0) x[683] = 0 1443.37/1189.15 c (105,0) x[684] = 0 1443.37/1189.15 c (105,0) x[685] = 0 1443.37/1189.15 c (105,0) x[686] = 0 1443.37/1189.15 c (105,0) x[687] = 0 1443.37/1189.15 c (105,0) x[688] = 0 1443.37/1189.15 c (105,0) x[689] = 0 1443.37/1189.15 c (105,0) x[690] = 0 1443.37/1189.15 c (105,0) x[691] = 0 1443.37/1189.15 c (105,0) x[692] = 0 1443.37/1189.15 c (105,0) x[693] = 0 1443.37/1189.15 c (105,0) x[694] = 0 1443.37/1189.15 c (105,0) x[695] = 0 1443.37/1189.15 c (105,0) x[696] = 0 1443.37/1189.15 c (105,0) x[697] = 0 1443.37/1189.15 c (105,0) x[698] = 0 1443.37/1189.15 c (105,0) x[699] = 0 1443.37/1189.15 c (105,0) x[700] = 0 1443.37/1189.15 c (105,0) x[701] = 0 1443.37/1189.15 c (105,0) x[702] = 0 1443.37/1189.15 c (105,0) x[703] = 0 1443.37/1189.15 c (105,0) x[704] = 0 1443.37/1189.15 c (105,0) x[705] = 0 1443.37/1189.15 c (105,0) x[706] = 0 1443.37/1189.15 c (105,0) x[707] = 0 1443.37/1189.15 c (105,0) x[708] = 0 1443.37/1189.15 c (105,0) x[709] = 0 1443.37/1189.15 c (105,0) x[710] = 0 1443.37/1189.15 c (105,0) x[711] = 0 1443.37/1189.15 c (105,0) x[712] = 0 1443.37/1189.15 c (105,0) x[713] = 0 1443.37/1189.15 c (105,0) x[714] = 0 1443.37/1189.15 c (105,0) x[715] = 0 1443.37/1189.15 c (105,0) x[716] = 0 1443.37/1189.15 c (105,0) x[717] = 0 1443.37/1189.15 c (105,0) x[718] = 0 1443.37/1189.15 c (105,0) x[719] = 0 1443.37/1189.15 c (105,0) x[720] = 0 1443.37/1189.15 c (105,0) x[721] = 0 1443.37/1189.15 c (105,0) x[722] = 0 1443.37/1189.15 c (105,0) x[723] = 0 1443.37/1189.15 c (105,0) x[724] = 0 1443.37/1189.15 c (105,0) x[725] = 0 1443.37/1189.15 c (105,0) x[726] = 0 1443.37/1189.15 c (105,0) x[727] = 0 1443.37/1189.15 c (105,0) x[728] = 0 1443.37/1189.15 c (105,0) x[729] = 0 1443.37/1189.15 c (105,0) x[730] = 0 1443.37/1189.15 c (105,0) x[731] = 0 1443.37/1189.15 c (105,0) x[732] = 0 1443.37/1189.15 c (105,0) x[733] = 0 1443.37/1189.15 c (105,0) x[734] = 0 1443.37/1189.15 c (105,0) x[735] = 0 1443.37/1189.15 c (105,0) x[736] = 0 1443.37/1189.15 c (105,0) x[737] = 0 1443.37/1189.15 c (105,0) x[738] = 0 1443.37/1189.15 c (105,0) x[739] = 0 1443.37/1189.15 c (105,0) x[740] = 0 1443.37/1189.15 c (105,0) x[741] = 0 1443.37/1189.15 c (105,0) x[742] = 0 1443.37/1189.15 c (105,0) x[743] = 0 1443.37/1189.15 c (105,0) x[744] = 0 1443.37/1189.15 c (105,0) x[745] = 0 1443.37/1189.15 c (105,0) x[746] = 0 1443.37/1189.15 c (105,0) x[747] = 0 1443.37/1189.15 c (105,0) x[748] = 0 1443.37/1189.15 c (105,0) x[749] = 0 1443.37/1189.15 c (105,0) x[750] = 0 1443.37/1189.15 c (105,0) x[751] = 0 1443.37/1189.15 c (105,0) x[752] = 0 1443.37/1189.15 c (105,0) x[753] = 0 1443.37/1189.15 c (105,0) x[754] = 0 1443.37/1189.15 c (105,0) x[755] = 0 1443.37/1189.15 c (105,0) x[756] = 0 1443.37/1189.15 c (105,0) x[757] = 0 1443.37/1189.15 c (105,0) x[758] = 0 1443.37/1189.15 c (105,0) x[759] = 0 1443.37/1189.15 c (105,0) x[760] = 0 1443.37/1189.15 c (105,0) x[761] = 0 1443.37/1189.15 c (105,0) x[762] = 0 1443.37/1189.15 c (105,0) x[763] = 0 1443.37/1189.15 c (105,0) x[764] = 0 1443.37/1189.15 c (105,0) x[765] = 0 1443.37/1189.15 c (105,0) x[766] = 0 1443.37/1189.15 c (105,0) x[767] = 0 1443.37/1189.15 c (105,0) x[768] = 0 1443.37/1189.15 c (105,0) x[769] = 0 1443.37/1189.15 c (105,0) x[770] = 0 1443.37/1189.15 c (105,0) x[771] = 0 1443.37/1189.15 c (105,0) x[772] = 0 1443.37/1189.15 c (105,0) x[773] = 0 1443.37/1189.15 c (105,0) x[774] = 0 1443.37/1189.15 c (105,0) x[775] = 0 1443.37/1189.15 c (105,0) x[776] = 0 1443.37/1189.15 c (105,0) x[777] = 0 1443.37/1189.15 c (105,0) x[778] = 0 1443.37/1189.15 c (105,0) x[779] = 0 1443.37/1189.15 c (105,0) x[780] = 0 1443.37/1189.15 c (105,0) x[781] = 0 1443.37/1189.15 c (105,0) x[782] = 0 1443.37/1189.15 c (105,0) x[783] = 0 1443.37/1189.15 c (105,0) x[784] = 0 1443.37/1189.15 c (105,0) x[785] = 0 1443.37/1189.15 c (105,0) x[786] = 0 1443.37/1189.15 c (105,0) x[787] = 0 1443.37/1189.15 c (105,0) x[788] = 0 1443.37/1189.15 c (105,0) x[789] = 0 1443.37/1189.15 c (105,0) x[790] = 0 1443.37/1189.15 c (105,0) x[791] = 0 1443.37/1189.15 c (105,0) x[792] = 0 1443.37/1189.15 c (105,0) x[793] = 0 1443.37/1189.15 c (105,0) x[794] = 0 1443.37/1189.15 c (105,0) x[795] = 0 1443.37/1189.15 c (105,0) x[796] = 0 1443.37/1189.15 c (105,0) x[797] = 0 1443.37/1189.15 c (105,0) x[798] = 0 1443.37/1189.15 c (105,0) x[799] = 0 1443.37/1189.15 c (105,0) x[800] = 0 1443.37/1189.15 c (105,0) x[801] = 0 1443.37/1189.15 c (105,0) x[802] = 0 1443.37/1189.15 c (105,0) x[803] = 0 1443.37/1189.15 c (105,0) x[804] = 0 1443.37/1189.15 c (105,0) x[805] = 0 1443.37/1189.15 c (105,0) x[806] = 0 1443.37/1189.15 c (105,0) x[807] = 0 1443.37/1189.15 c (105,0) x[808] = 0 1443.37/1189.15 c (105,0) x[809] = 0 1443.37/1189.15 c (105,0) x[810] = 0 1443.37/1189.15 c (105,0) x[811] = 0 1443.37/1189.15 c (105,0) x[812] = 0 1443.37/1189.15 c (105,0) x[813] = 0 1443.37/1189.15 c (105,0) x[814] = 0 1443.37/1189.15 c (105,0) x[815] = 0 1443.37/1189.15 c (105,0) x[816] = 0 1443.37/1189.15 c (105,0) x[817] = 0 1443.37/1189.15 c (105,0) x[818] = 0 1443.37/1189.15 c (105,0) x[819] = 0 1443.37/1189.15 c (105,0) x[820] = 0 1443.37/1189.15 c (105,0) x[821] = 0 1443.37/1189.15 c (105,0) x[822] = 0 1443.37/1189.15 c (105,0) x[823] = 0 1443.37/1189.15 c (105,0) x[824] = 0 1443.37/1189.15 c (105,0) x[825] = 0 1443.37/1189.15 c (105,0) x[826] = 0 1443.37/1189.15 c (105,0) x[827] = 0 1443.37/1189.15 c (105,0) x[828] = 0 1443.37/1189.15 c (105,0) x[829] = 0 1443.37/1189.15 c (105,0) x[830] = 0 1443.37/1189.15 c (105,0) x[831] = 0 1443.37/1189.15 c (105,0) x[832] = 0 1443.37/1189.15 c (105,0) x[833] = 0 1443.37/1189.15 c (105,0) x[834] = 0 1443.37/1189.15 c (105,0) x[835] = 0 1443.37/1189.15 c (105,0) x[836] = 0 1443.37/1189.15 c (105,0) x[837] = 0 1443.37/1189.15 c (105,0) x[838] = 0 1443.37/1189.15 c (105,0) x[839] = 0 1443.37/1189.15 c (105,0) x[840] = 0 1443.37/1189.15 c (105,0) x[841] = 0 1443.37/1189.15 c (105,0) x[842] = 0 1443.37/1189.15 c (105,0) x[843] = 0 1443.37/1189.15 c (105,0) x[844] = 0 1443.37/1189.15 c (105,0) x[845] = 0 1443.37/1189.15 c (105,0) x[846] = 0 1443.37/1189.15 c (105,0) x[847] = 0 1443.37/1189.15 c (105,0) x[848] = 0 1443.37/1189.15 c (105,0) x[849] = 0 1443.37/1189.15 c (105,0) x[850] = 0 1443.37/1189.15 c (105,0) x[851] = 0 1443.37/1189.15 c (105,0) x[852] = 0 1443.37/1189.15 c (105,0) x[853] = 0 1443.37/1189.15 c (105,0) x[854] = 0 1443.37/1189.15 c (105,0) x[855] = 0 1443.37/1189.15 c (105,0) x[856] = 0 1443.37/1189.15 c (105,0) x[857] = 0 1443.37/1189.15 c (105,0) x[858] = 0 1443.37/1189.15 c (105,0) x[859] = 0 1443.37/1189.15 c (105,0) x[860] = 0 1443.37/1189.15 c (105,0) x[861] = 0 1443.37/1189.15 c (105,0) x[862] = 0 1443.37/1189.15 c (105,0) x[863] = 0 1443.37/1189.15 c (105,0) x[864] = 0 1443.37/1189.15 c (105,0) x[865] = 0 1443.37/1189.15 c (105,0) x[866] = 0 1443.37/1189.15 c (105,0) x[867] = 0 1443.37/1189.15 c (105,0) x[868] = 0 1443.37/1189.15 c (105,0) x[869] = 0 1443.37/1189.15 c (105,0) x[870] = 0 1443.37/1189.15 c (105,0) x[871] = 0 1443.37/1189.15 c (105,0) x[872] = 0 1443.37/1189.15 c (105,0) x[873] = 0 1443.37/1189.15 c (105,0) x[874] = 0 1443.37/1189.15 c (105,0) x[875] = 0 1443.37/1189.15 c (105,0) x[876] = 0 1443.37/1189.15 c (105,0) x[877] = 0 1443.37/1189.15 c (105,0) x[878] = 0 1443.37/1189.15 c (105,0) x[879] = 0 1443.37/1189.15 c (105,0) x[880] = 0 1443.37/1189.15 c (105,0) x[881] = 0 1443.37/1189.15 c (105,0) x[882] = 0 1443.37/1189.15 c (105,0) x[883] = 0 1443.37/1189.15 c (105,0) x[884] = 0 1443.37/1189.15 c (105,0) x[885] = 0 1443.37/1189.15 c (105,0) x[886] = 0 1443.37/1189.15 c (105,0) x[887] = 0 1443.37/1189.15 c (105,0) x[888] = 0 1443.37/1189.15 c (105,0) x[889] = 0 1443.37/1189.15 c (105,0) x[890] = 0 1443.37/1189.15 c (105,0) x[891] = 0 1443.37/1189.15 c (105,0) x[892] = 0 1443.37/1189.15 c (105,0) x[893] = 0 1443.37/1189.15 c (105,0) x[894] = 0 1443.37/1189.15 c (105,0) x[895] = 0 1443.37/1189.15 c (105,0) x[896] = 0 1443.37/1189.15 c (105,0) x[897] = 0 1443.37/1189.15 c (105,0) x[898] = 0 1443.37/1189.15 c (105,0) x[899] = 0 1443.37/1189.15 c (105,0) x[900] = 0 1443.37/1189.15 c (105,0) x[901] = 0 1443.37/1189.15 c (105,0) x[902] = 0 1443.37/1189.15 c (105,0) x[903] = 0 1443.37/1189.15 c (105,0) x[904] = 0 1443.37/1189.15 c (105,0) x[905] = 0 1443.37/1189.15 c (105,0) x[906] = 0 1443.37/1189.15 c (105,0) x[907] = 0 1443.37/1189.15 c (105,0) x[908] = 0 1443.37/1189.15 c (105,0) x[909] = 0 1443.37/1189.15 c (105,0) x[910] = 0 1443.37/1189.15 c (105,0) x[911] = 0 1443.37/1189.15 c (105,0) x[912] = 0 1443.37/1189.15 c (105,0) x[913] = 0 1443.37/1189.15 c (105,0) x[914] = 0 1443.37/1189.15 c (105,0) x[915] = 0 1443.37/1189.15 c (105,0) x[916] = 0 1443.37/1189.15 c (105,0) x[917] = 0 1443.37/1189.15 c (105,0) x[918] = 0 1443.37/1189.15 c (105,0) x[919] = 0 1443.37/1189.15 c (105,0) x[920] = 0 1443.37/1189.15 c (105,0) x[921] = 0 1443.37/1189.15 c (105,0) x[922] = 0 1443.37/1189.15 c (105,0) x[923] = 0 1443.37/1189.15 c (105,0) x[924] = 0 1443.37/1189.15 c (105,0) x[925] = 0 1443.37/1189.15 c (105,0) x[926] = 0 1443.37/1189.15 c (105,0) x[927] = 0 1443.37/1189.15 c (105,0) x[928] = 0 1443.37/1189.15 c (105,0) x[929] = 0 1443.37/1189.15 c (105,0) x[930] = 0 1443.37/1189.15 c (105,0) x[931] = 0 1443.37/1189.15 c (105,0) x[932] = 0 1443.37/1189.15 c (105,0) x[933] = 0 1443.37/1189.15 c (105,0) x[934] = 0 1443.37/1189.15 c (105,0) x[935] = 0 1443.37/1189.15 c (105,0) x[936] = 0 1443.37/1189.15 c (105,0) x[937] = 0 1443.37/1189.15 c (105,0) x[938] = 0 1443.37/1189.15 c (105,0) x[939] = 0 1443.37/1189.15 c (105,0) x[940] = 0 1443.37/1189.15 c (105,0) x[941] = 0 1443.37/1189.15 c (105,0) x[942] = 0 1443.37/1189.15 c (105,0) x[943] = 0 1443.37/1189.15 c (105,0) x[944] = 0 1443.37/1189.15 c (105,0) x[945] = 0 1443.37/1189.15 c (105,0) x[946] = 0 1443.37/1189.15 c (105,0) x[947] = 0 1443.37/1189.15 c (105,0) x[948] = 0 1443.37/1189.15 c (105,0) x[949] = 0 1443.37/1189.15 c (105,0) x[950] = 0 1443.37/1189.15 c (105,0) x[951] = 0 1443.37/1189.15 c (105,0) x[952] = 0 1443.37/1189.15 c (105,0) x[953] = 0 1443.37/1189.15 c (105,0) x[954] = 0 1443.37/1189.15 c (105,0) x[955] = 0 1443.37/1189.15 c (105,0) x[956] = 0 1443.37/1189.15 c (105,0) x[957] = 0 1443.37/1189.15 c (105,0) x[958] = 0 1443.37/1189.15 c (105,0) x[959] = 0 1443.37/1189.15 c (105,0) x[960] = 0 1443.37/1189.15 c (105,0) x[961] = 0 1443.37/1189.15 c (105,0) x[962] = 0 1443.37/1189.15 c (105,0) x[963] = 0 1443.37/1189.15 c (105,0) x[964] = 0 1443.37/1189.15 c (105,0) x[965] = 0 1443.37/1189.15 c (105,0) x[966] = 0 1443.37/1189.15 c (105,0) x[967] = 0 1443.37/1189.15 c (105,0) x[968] = 0 1443.37/1189.15 c (105,0) x[969] = 0 1443.37/1189.15 c (105,0) x[970] = 0 1443.37/1189.15 c (105,0) x[971] = 0 1443.37/1189.15 c (105,0) x[972] = 0 1443.37/1189.15 c (105,0) x[973] = 0 1443.37/1189.15 c (105,0) x[974] = 0 1443.37/1189.15 c (105,0) x[975] = 0 1443.37/1189.15 c (105,0) x[976] = 0 1443.37/1189.15 c (105,0) x[977] = 0 1443.37/1189.15 c (105,0) x[978] = 0 1443.37/1189.15 c (105,0) x[979] = 0 1443.37/1189.15 c (105,0) x[980] = 0 1443.37/1189.15 c (105,0) x[981] = 0 1443.37/1189.15 c (105,0) x[982] = 0 1443.37/1189.15 c (105,0) x[983] = 0 1443.37/1189.15 c (105,0) x[984] = 0 1443.37/1189.15 c (105,0) x[985] = 0 1443.37/1189.15 c (105,0) x[986] = 0 1443.37/1189.15 c (105,0) x[987] = 0 1443.37/1189.15 c (105,0) x[988] = 0 1443.37/1189.15 c (105,0) x[989] = 0 1443.37/1189.15 c (105,0) x[990] = 0 1443.37/1189.15 c (105,0) x[991] = 0 1443.37/1189.15 c (105,0) x[992] = 0 1443.37/1189.15 c (105,0) x[993] = 0 1443.37/1189.15 c (105,0) x[994] = 0 1443.37/1189.15 c (105,0) x[995] = 0 1443.37/1189.15 c (105,0) x[996] = 1 1443.37/1189.15 c (105,0) x[997] = 0 1443.37/1189.15 c (105,0) x[998] = 0 1443.37/1189.15 c (105,0) x[999] = 0 1443.37/1189.15 s SATISFIABLE 1443.37/1189.16 v <instantiation> 1443.37/1189.16 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> 1443.37/1189.16 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> 1443.37/1189.16 v </instantiation> 1443.37/1189.16 c (105,0) Show results End 1443.37/1189.16 c (105,0) Heap : 209 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 1443.37/1189.16 c (105,0) 104,105,STOP-AFTER(ALL) 1443.37/1189.16 c END-Prog: Sat Sep 14 03:05:53 CEST 2019
OK
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 (11843 MiB free) memory of node 1: 16384 MiB (10754 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392382-1568422003/watcher-4392382-1568422003 -o /tmp/evaluation-result-4392382-1568422003/solver-4392382-1568422003 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568417505-21287 --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-4392382-1568422003.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23884, runsolver pid=23881 Current StackSize limit: 8192 KiB [startup+0.100432 s]* /proc/loadavg: 6.26 6.85 6.92 2/211 23906 /proc/meminfo: memFree=23046228/32770624 swapFree=66939840/67108860 [pid=23884] ppid=23881 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/23884/stat : 23884 (scop.sh) S 23881 23884 21260 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418115237 115843072 348 33554432000 4194304 5098028 140723517607712 140723517604968 139632376902268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34189312 140723517608741 140723517609068 140723517609068 140723517611981 0 /proc/23884/statm: 28282 348 296 221 0 87 0 [pid=23887] ppid=23884 vsize=27314120 memory=104280 CPUtime=0.1 cores=0-7 /proc/23887/stat : 23887 (java) S 23884 23884 21260 0 -1 1077944320 6689 0 0 0 8 2 0 0 20 0 20 0 418115238 27969658880 26070 33554432000 4194304 4196468 140725912548080 140725912530624 139754360889079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 /proc/23887/statm: 6828530 26070 2802 1 0 6790935 0 [pid=23887/tid=23888] ppid=23884 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/23887/task/23888/stat : 23888 (java) R 23884 23884 21260 0 -1 4202560 4771 0 0 0 7 2 0 0 20 0 20 0 418115238 27969658880 26070 33554432000 4194304 4196468 140725912548080 139754332707456 139754360911005 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23889] ppid=23884 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23887/task/23889/stat : 23889 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 26070 33554432000 4194304 4196468 140725912548080 139754365131024 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23890] ppid=23884 vsize=27314120 memory=140605568394880 CPUtime=0 cores=0-7 /proc/23887/task/23890/stat : 23890 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 26070 33554432000 4194304 4196468 140725912548080 139754148526480 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23891] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23891/stat : 23891 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 26070 33554432000 4194304 4196468 140725912548080 139754147473936 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23892] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23892/stat : 23892 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 26070 33554432000 4194304 4196468 140725912548080 139754146421392 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23893] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23893/stat : 23893 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 26070 33554432000 4194304 4196468 140725912548080 139754145368848 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23894] ppid=23884 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23887/task/23894/stat : 23894 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 26070 33554432000 4194304 4196468 140725912548080 139754144316304 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23895] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23895/stat : 23895 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 26070 33554432000 4194304 4196468 140725912548080 139754143263760 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23896] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23896/stat : 23896 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 26070 33554432000 4194304 4196468 140725912548080 139753777257616 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23897] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23897/stat : 23897 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115242 27969658880 26070 33554432000 4194304 4196468 140725912548080 139752949618672 139754360900226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23898] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23898/stat : 23898 (java) S 23884 23884 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418115242 27969658880 26070 33554432000 4194304 4196468 140725912548080 139751927571360 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23899] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23899/stat : 23899 (java) S 23884 23884 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418115243 27969658880 26070 33554432000 4194304 4196468 140725912548080 139751793349616 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23900] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23900/stat : 23900 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 26582 33554432000 4194304 4196468 140725912548080 139751418845392 139754360907675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23901] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23901/stat : 23901 (java) S 23884 23884 21260 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 26582 33554432000 4194304 4196468 140725912548080 139752948566512 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23902] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23902/stat : 23902 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 26582 33554432000 4194304 4196468 140725912548080 139752947513968 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23903] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23903/stat : 23903 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 26582 33554432000 4194304 4196468 140725912548080 139752946461424 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23904] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23904/stat : 23904 (java) S 23884 23884 21260 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 26582 33554432000 4194304 4196468 140725912548080 139752945408880 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23905] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23905/stat : 23905 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 26582 33554432000 4194304 4196468 140725912548080 139750920939744 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23906] ppid=23884 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23887/task/23906/stat : 23906 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115246 27969658880 26582 33554432000 4194304 4196468 140725912548080 139752944355760 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105672 KiB [startup+0.210442 s]* /proc/loadavg: 6.26 6.85 6.92 2/211 23907 /proc/meminfo: memFree=23027932/32770624 swapFree=66939840/67108860 [pid=23884] ppid=23881 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/23884/stat : 23884 (scop.sh) S 23881 23884 21260 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418115237 115843072 348 33554432000 4194304 5098028 140723517607712 140723517604968 139632376902268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34189312 140723517608741 140723517609068 140723517609068 140723517611981 0 /proc/23884/statm: 28282 348 296 221 0 87 0 [pid=23887] ppid=23884 vsize=27314120 memory=121296 CPUtime=0.24 cores=0-7 /proc/23887/stat : 23887 (java) S 23884 23884 21260 0 -1 1077944320 11555 0 0 0 20 4 0 0 20 0 20 0 418115238 27969658880 30324 33554432000 4194304 4196468 140725912548080 140725912530624 139754360889079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 /proc/23887/statm: 6828530 30324 2972 1 0 6790935 0 [pid=23887/tid=23888] ppid=23884 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23887/task/23888/stat : 23888 (java) R 23884 23884 21260 0 -1 4202560 9255 0 0 0 16 3 0 0 20 0 20 0 418115238 27969658880 30324 33554432000 4194304 4196468 140725912548080 139754332710000 139754341528714 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23889] ppid=23884 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/23887/task/23889/stat : 23889 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 30324 33554432000 4194304 4196468 140725912548080 139754365131024 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23890] ppid=23884 vsize=27314120 memory=140605571488873 CPUtime=0 cores=0-7 /proc/23887/task/23890/stat : 23890 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 30324 33554432000 4194304 4196468 140725912548080 139754148526480 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23891] ppid=23884 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23887/task/23891/stat : 23891 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 30324 33554432000 4194304 4196468 140725912548080 139754147473936 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23892] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23892/stat : 23892 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 30324 33554432000 4194304 4196468 140725912548080 139754146421392 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23893] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23893/stat : 23893 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 30324 33554432000 4194304 4196468 140725912548080 139754145368848 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23894] ppid=23884 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23887/task/23894/stat : 23894 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 30324 33554432000 4194304 4196468 140725912548080 139754144316304 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23895] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23895/stat : 23895 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 30324 33554432000 4194304 4196468 140725912548080 139754143263760 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23896] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23896/stat : 23896 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 30324 33554432000 4194304 4196468 140725912548080 139753777257616 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23897] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23897/stat : 23897 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115242 27969658880 30324 33554432000 4194304 4196468 140725912548080 139752949618672 139754360900226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23898] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23898/stat : 23898 (java) S 23884 23884 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418115242 27969658880 30324 33554432000 4194304 4196468 140725912548080 139751927571360 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23899] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23899/stat : 23899 (java) S 23884 23884 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418115243 27969658880 30324 33554432000 4194304 4196468 140725912548080 139751793349616 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23900] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23900/stat : 23900 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 30324 33554432000 4194304 4196468 140725912548080 139751418845392 139754360907675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23901] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23901/stat : 23901 (java) S 23884 23884 21260 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 30324 33554432000 4194304 4196468 140725912548080 139752948566512 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23902] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23902/stat : 23902 (java) S 23884 23884 21260 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 30324 33554432000 4194304 4196468 140725912548080 139752947513968 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23903] ppid=23884 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23887/task/23903/stat : 23903 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 30324 33554432000 4194304 4196468 140725912548080 139752946461424 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23904] ppid=23884 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/23887/task/23904/stat : 23904 (java) S 23884 23884 21260 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 418115245 27969658880 30324 33554432000 4194304 4196468 140725912548080 139752945408880 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23905] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23905/stat : 23905 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 30324 33554432000 4194304 4196468 140725912548080 139750920939744 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23906] ppid=23884 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23887/task/23906/stat : 23906 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115246 27969658880 30324 33554432000 4194304 4196468 140725912548080 139752944355760 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 122688 KiB [startup+0.319016 s]* /proc/loadavg: 6.26 6.85 6.92 3/211 23907 /proc/meminfo: memFree=23024568/32770624 swapFree=66939840/67108860 [pid=23884] ppid=23881 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/23884/stat : 23884 (scop.sh) S 23881 23884 21260 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418115237 115843072 348 33554432000 4194304 5098028 140723517607712 140723517604968 139632376902268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34189312 140723517608741 140723517609068 140723517609068 140723517611981 0 /proc/23884/statm: 28282 348 296 221 0 87 0 [pid=23887] ppid=23884 vsize=27314120 memory=125400 CPUtime=0.44 cores=0-7 /proc/23887/stat : 23887 (java) S 23884 23884 21260 0 -1 1077944320 12792 0 0 0 39 5 0 0 20 0 20 0 418115238 27969658880 31350 33554432000 4194304 4196468 140725912548080 140725912530624 139754360889079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 /proc/23887/statm: 6828530 31350 3014 1 0 6790935 0 [pid=23887/tid=23888] ppid=23884 vsize=27314120 memory=8317482817917895235 CPUtime=0.31 cores=0-7 /proc/23887/task/23888/stat : 23888 (java) R 23884 23884 21260 0 -1 4202560 10286 0 0 0 27 4 0 0 20 0 20 0 418115238 27969658880 31350 33554432000 4194304 4196468 140725912548080 139754332679776 139754346054718 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23889] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23889/stat : 23889 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 31350 33554432000 4194304 4196468 140725912548080 139754365131024 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23890] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23890/stat : 23890 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 31350 33554432000 4194304 4196468 140725912548080 139754148526480 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23891] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23891/stat : 23891 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 31350 33554432000 4194304 4196468 140725912548080 139754147473936 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23892] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23892/stat : 23892 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 31350 33554432000 4194304 4196468 140725912548080 139754146421392 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23893] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23893/stat : 23893 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 31350 33554432000 4194304 4196468 140725912548080 139754145368848 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23894] ppid=23884 vsize=27314120 memory=140605418203823 CPUtime=0 cores=0-7 /proc/23887/task/23894/stat : 23894 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 31350 33554432000 4194304 4196468 140725912548080 139754144316304 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23895] ppid=23884 vsize=27314120 memory=140605418206128 CPUtime=0 cores=0-7 /proc/23887/task/23895/stat : 23895 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 31350 33554432000 4194304 4196468 140725912548080 139754143263760 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23896] ppid=23884 vsize=27314120 memory=140605418208432 CPUtime=0 cores=0-7 /proc/23887/task/23896/stat : 23896 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27969658880 31350 33554432000 4194304 4196468 140725912548080 139753777257616 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23897] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23897/stat : 23897 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115242 27969658880 31350 33554432000 4194304 4196468 140725912548080 139752949618672 139754360900226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23898] ppid=23884 vsize=27314120 memory=281210836430736 CPUtime=0 cores=0-7 /proc/23887/task/23898/stat : 23898 (java) S 23884 23884 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418115242 27969658880 31350 33554432000 4194304 4196468 140725912548080 139751927571360 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23899] ppid=23884 vsize=27314120 memory=281210836428432 CPUtime=0 cores=0-7 /proc/23887/task/23899/stat : 23899 (java) S 23884 23884 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418115243 27969658880 31350 33554432000 4194304 4196468 140725912548080 139751793349616 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23900] ppid=23884 vsize=27314120 memory=281210836435344 CPUtime=0 cores=0-7 /proc/23887/task/23900/stat : 23900 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 31350 33554432000 4194304 4196468 140725912548080 139751418845392 139754360907675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23901] ppid=23884 vsize=27314120 memory=281210836376624 CPUtime=0 cores=0-7 /proc/23887/task/23901/stat : 23901 (java) S 23884 23884 21260 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 31350 33554432000 4194304 4196468 140725912548080 139752948566512 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23902] ppid=23884 vsize=27314120 memory=281210836449168 CPUtime=0.01 cores=0-7 /proc/23887/task/23902/stat : 23902 (java) S 23884 23884 21260 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 418115245 27969658880 31350 33554432000 4194304 4196468 140725912548080 139752947513968 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23903] ppid=23884 vsize=27314120 memory=281210836456080 CPUtime=0.02 cores=0-7 /proc/23887/task/23903/stat : 23903 (java) S 23884 23884 21260 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 418115245 27969658880 31350 33554432000 4194304 4196468 140725912548080 139752946461424 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23904] ppid=23884 vsize=27314120 memory=281210836453776 CPUtime=0.07 cores=0-7 /proc/23887/task/23904/stat : 23904 (java) S 23884 23884 21260 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 418115245 27969658880 31350 33554432000 4194304 4196468 140725912548080 139752945408880 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23905] ppid=23884 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23905/stat : 23905 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115245 27969658880 31350 33554432000 4194304 4196468 140725912548080 139750920939744 139754360899285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23906] ppid=23884 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23887/task/23906/stat : 23906 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418115246 27969658880 31350 33554432000 4194304 4196468 140725912548080 139752944355760 139754360900226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126792 KiB [startup+0.701056 s] /proc/loadavg: 6.26 6.85 6.92 3/211 23907 /proc/meminfo: memFree=23002380/32770624 swapFree=66939840/67108860 [pid=23884] ppid=23881 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/23884/stat : 23884 (scop.sh) S 23881 23884 21260 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418115237 115843072 348 33554432000 4194304 5098028 140723517607712 140723517604968 139632376902268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34189312 140723517608741 140723517609068 140723517609068 140723517611981 0 /proc/23884/statm: 28282 348 296 221 0 87 0 [pid=23887] ppid=23884 vsize=27320392 memory=163528 CPUtime=1.01 cores=0-7 /proc/23887/stat : 23887 (java) S 23884 23884 21260 0 -1 1077944320 20492 0 0 0 94 7 0 0 20 0 20 0 418115238 27976081408 40882 33554432000 4194304 4196468 140725912548080 140725912530624 139754360889079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 /proc/23887/statm: 6830098 40882 3181 1 0 6791447 0 [pid=23887/tid=23888] ppid=23884 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/23887/task/23888/stat : 23888 (java) R 23884 23884 21260 0 -1 4202560 17371 0 0 0 62 5 0 0 20 0 20 0 418115238 27976081408 40882 33554432000 4194304 4196468 140725912548080 139754332726848 139753823500752 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23889] ppid=23884 vsize=27320392 memory=140605418414960 CPUtime=0 cores=0-7 /proc/23887/task/23889/stat : 23889 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418115240 27976081408 40882 33554432000 4194304 4196468 140725912548080 139754365131024 139754360899285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23890] ppid=23884 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/23887/task/23890/stat : 23890 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27976081408 40882 33554432000 4194304 4196468 140725912548080 139754148526480 139754360899285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 [pid=23887/tid=23891] ppid=23884 vsize=27320392 memory=1256 CPUtime=0 cores=0-7 /proc/23887/task/23891/stat : 23891 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418115240 27976081408 40882 33554432000 4194304 4196468 140725912548080 139754147473936 139754360899285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19898368 140725912556267 140725912556694 140725912556694 140725912559567 0 ################ # More data... # ################ [pid=24013/tid=24014] ppid=23884 vsize=8414124 memory=1472 CPUtime=0.8 cores=0-7 /proc/24013/task/24014/stat : 24014 (java) S 23884 23884 21260 0 -1 1077944384 16881 0 0 0 72 8 0 0 20 0 24 0 418223612 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743518035872 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24015] ppid=23884 vsize=8414124 memory=124780 CPUtime=0 cores=0-7 /proc/24013/task/24015/stat : 24015 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418223614 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743550437904 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24016] ppid=23884 vsize=8414124 memory=5452872 CPUtime=0 cores=0-7 /proc/24013/task/24016/stat : 24016 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418223614 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743350606480 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24017] ppid=23884 vsize=8414124 memory=-8961154355290206610 CPUtime=0 cores=0-7 /proc/24013/task/24017/stat : 24017 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418223614 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743349553424 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24018] ppid=23884 vsize=8414124 memory=124780 CPUtime=0 cores=0-7 /proc/24013/task/24018/stat : 24018 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418223614 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743348500880 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24019] ppid=23884 vsize=8414124 memory=5450868 CPUtime=0 cores=0-7 /proc/24013/task/24019/stat : 24019 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418223614 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743347448848 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24020] ppid=23884 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/24013/task/24020/stat : 24020 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418223614 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743346396304 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24021] ppid=23884 vsize=8414124 memory=3504 CPUtime=0 cores=0-7 /proc/24013/task/24021/stat : 24021 (java) S 23884 23884 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418223614 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743345343248 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24022] ppid=23884 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/24013/task/24022/stat : 24022 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418223614 8616062976 50812 33554432000 4194304 4196468 140736883233536 139743344290704 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24023] ppid=23884 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/24013/task/24023/stat : 24023 (java) S 23884 23884 21260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418223615 8616062976 50812 33554432000 4194304 4196468 140736883233536 139742773909744 139743546206850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24024] ppid=23884 vsize=8414124 memory=124780 CPUtime=0 cores=0-7 /proc/24013/task/24024/stat : 24024 (java) S 23884 23884 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418223616 8616062976 50812 33554432000 4194304 4196468 140736883233536 139741861242016 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24025] ppid=23884 vsize=8414124 memory=5451304 CPUtime=0 cores=0-7 /proc/24013/task/24025/stat : 24025 (java) S 23884 23884 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418223616 8616062976 50812 33554432000 4194304 4196468 140736883233536 139741727019760 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24026] ppid=23884 vsize=8414124 memory=1256 CPUtime=0 cores=0-7 /proc/24013/task/24026/stat : 24026 (java) S 23884 23884 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418223619 8616062976 50812 33554432000 4194304 4196468 140736883233536 139741352515536 139743546214299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24027] ppid=23884 vsize=8414124 memory=1076 CPUtime=0.17 cores=0-7 /proc/24013/task/24027/stat : 24027 (java) S 23884 23884 21260 0 -1 1077944384 879 0 0 0 17 0 0 0 20 0 24 0 418223619 8616062976 50812 33554432000 4194304 4196468 140736883233536 139742772857584 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24028] ppid=23884 vsize=8414124 memory=14008 CPUtime=0.23 cores=0-7 /proc/24013/task/24028/stat : 24028 (java) S 23884 23884 21260 0 -1 1077944384 602 0 0 0 23 0 0 0 20 0 24 0 418223619 8616062976 50812 33554432000 4194304 4196468 140736883233536 139742771805040 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24029] ppid=23884 vsize=8414124 memory=22468 CPUtime=0.14 cores=0-7 /proc/24013/task/24029/stat : 24029 (java) S 23884 23884 21260 0 -1 1077944384 462 0 0 0 14 0 0 0 20 0 24 0 418223619 8616062976 50812 33554432000 4194304 4196468 140736883233536 139742770751984 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24030] ppid=23884 vsize=8414124 memory=14056 CPUtime=0.27 cores=0-7 /proc/24013/task/24030/stat : 24030 (java) S 23884 23884 21260 0 -1 1077944384 1090 0 0 0 27 0 0 0 20 0 24 0 418223619 8616062976 50812 33554432000 4194304 4196468 140736883233536 139742769699440 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24031] ppid=23884 vsize=8414124 memory=124780 CPUtime=0 cores=0-7 /proc/24013/task/24031/stat : 24031 (java) S 23884 23884 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418223619 8616062976 50812 33554432000 4194304 4196468 140736883233536 139740854610400 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24032] ppid=23884 vsize=8414124 memory=1472 CPUtime=0.05 cores=0-7 /proc/24013/task/24032/stat : 24032 (java) S 23884 23884 21260 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 24 0 418223619 8616062976 50812 33554432000 4194304 4196468 140736883233536 139742768646832 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24034] ppid=23884 vsize=8414124 memory=124780 CPUtime=0 cores=0-7 /proc/24013/task/24034/stat : 24034 (java) S 23884 23884 21260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418223691 8616062976 50812 33554432000 4194304 4196468 140736883233536 139742760612800 139743546220313 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24036] ppid=23884 vsize=8414124 memory=5452872 CPUtime=0.21 cores=0-7 /proc/24013/task/24036/stat : 24036 (java) R 23884 23884 21260 0 -1 4202560 582 0 0 0 19 2 0 0 20 0 24 0 418223691 8616062976 50812 33554432000 4194304 4196468 140736883233536 139740183515200 139743022495385 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24037] ppid=23884 vsize=8414124 memory=1436 CPUtime=0 cores=0-7 /proc/24013/task/24037/stat : 24037 (java) S 23884 23884 21260 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 418223691 8616062976 50812 33554432000 4194304 4196468 140736883233536 139740451946672 139743546217629 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24038] ppid=23884 vsize=8414124 memory=4164 CPUtime=0 cores=0-7 /proc/24013/task/24038/stat : 24038 (java) S 23884 23884 21260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418223693 8616062976 50812 33554432000 4194304 4196468 140736883233536 139739915083184 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 Current children cumulated CPU time: 1253.5 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 204720 KiB [startup+1189.2 s] /proc/loadavg: 1.72 1.45 2.79 3/215 24047 /proc/meminfo: memFree=21895248/32770624 swapFree=66939840/67108860 [pid=23884] ppid=23881 vsize=113128 memory=1472 CPUtime=1251.55 cores=0-7 /proc/23884/stat : 23884 (scop.sh) S 23881 23884 21260 0 -1 4202496 581 299597 0 0 0 0 121750 3405 20 0 1 0 418115237 115843072 368 33554432000 4194304 5098028 140723517607712 140723517604456 139632376902268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34189312 140723517608741 140723517609068 140723517609068 140723517611981 0 /proc/23884/statm: 28282 368 311 221 0 87 0 [pid=24013] ppid=23884 vsize=8283048 memory=237320 CPUtime=192.21 cores=0-7 /proc/24013/stat : 24013 (java) S 23884 23884 21260 0 -1 1077944320 28502 4913987 0 0 258 23 18204 736 20 0 22 0 418223611 8481841152 59330 33554432000 4194304 4196468 140736883233536 140736883216080 139743546195703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 /proc/24013/statm: 2070762 59330 3237 1 0 2032106 0 [pid=24013/tid=24014] ppid=23884 vsize=8283048 memory=1472 CPUtime=190.47 cores=0-7 /proc/24013/task/24014/stat : 24014 (java) R 23884 23884 21260 0 -1 4202560 18272 4913987 0 0 94 13 18204 736 20 0 22 0 418223612 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743518031968 139743538881335 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24015] ppid=23884 vsize=8283048 memory=135144 CPUtime=189.4 cores=0-7 /proc/24013/task/24015/stat : 24015 (java) S 23884 23884 21260 0 -1 1077944384 2 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743550437904 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24016] ppid=23884 vsize=8283048 memory=5454804 CPUtime=189.4 cores=0-7 /proc/24013/task/24016/stat : 24016 (java) S 23884 23884 21260 0 -1 1077944384 1 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743350606480 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24017] ppid=23884 vsize=8283048 memory=6791534058613427641 CPUtime=189.4 cores=0-7 /proc/24013/task/24017/stat : 24017 (java) S 23884 23884 21260 0 -1 1077944384 2 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743349553424 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24018] ppid=23884 vsize=8283048 memory=7236834258449360489 CPUtime=189.4 cores=0-7 /proc/24013/task/24018/stat : 24018 (java) S 23884 23884 21260 0 -1 1077944384 2 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743348500880 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24019] ppid=23884 vsize=8283048 memory=7955162792081123683 CPUtime=189.4 cores=0-7 /proc/24013/task/24019/stat : 24019 (java) S 23884 23884 21260 0 -1 1077944384 1 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743347448848 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24020] ppid=23884 vsize=8283048 memory=7956000642054121792 CPUtime=189.4 cores=0-7 /proc/24013/task/24020/stat : 24020 (java) S 23884 23884 21260 0 -1 1077944384 3 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743346396304 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24021] ppid=23884 vsize=8283048 memory=7594316257804501094 CPUtime=189.4 cores=0-7 /proc/24013/task/24021/stat : 24021 (java) S 23884 23884 21260 0 -1 1077944384 2 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743345343248 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24022] ppid=23884 vsize=8283048 memory=7230650600678909546 CPUtime=189.4 cores=0-7 /proc/24013/task/24022/stat : 24022 (java) S 23884 23884 21260 0 -1 1077944384 1 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59330 33554432000 4194304 4196468 140736883233536 139743344290704 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24023] ppid=23884 vsize=8283048 memory=288230574492221466 CPUtime=189.4 cores=0-7 /proc/24013/task/24023/stat : 24023 (java) S 23884 23884 21260 0 -1 1077944384 8 4913987 0 0 0 0 18204 736 20 0 22 0 418223615 8481841152 59330 33554432000 4194304 4196468 140736883233536 139742773909744 139743546206850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24024] ppid=23884 vsize=8283048 memory=288230596050944315 CPUtime=189.4 cores=0-7 /proc/24013/task/24024/stat : 24024 (java) S 23884 23884 21260 0 -1 1077944384 13 4913987 0 0 0 0 18204 736 20 0 22 0 418223616 8481841152 59330 33554432000 4194304 4196468 140736883233536 139741861242016 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24025] ppid=23884 vsize=8283048 memory=14699582244260401 CPUtime=189.4 cores=0-7 /proc/24013/task/24025/stat : 24025 (java) S 23884 23884 21260 0 -1 1077944384 21 4913987 0 0 0 0 18204 736 20 0 22 0 418223616 8481841152 59330 33554432000 4194304 4196468 140736883233536 139741727019760 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24026] ppid=23884 vsize=8283048 memory=1472 CPUtime=189.4 cores=0-7 /proc/24013/task/24026/stat : 24026 (java) S 23884 23884 21260 0 -1 1077944384 1 4913987 0 0 0 0 18204 736 20 0 22 0 418223619 8481841152 59330 33554432000 4194304 4196468 140736883233536 139741352515536 139743546214299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24027] ppid=23884 vsize=8283048 memory=124780 CPUtime=189.71 cores=0-7 /proc/24013/task/24027/stat : 24027 (java) R 23884 23884 21260 0 -1 4202560 2367 4913987 0 0 30 1 18204 736 20 0 22 0 418223619 8481841152 59330 33554432000 4194304 4196468 140736883233536 139742772842136 139743526039272 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24028] ppid=23884 vsize=8283048 memory=-8961154355290206610 CPUtime=189.78 cores=0-7 /proc/24013/task/24028/stat : 24028 (java) R 23884 23884 21260 0 -1 4202560 2248 4913987 0 0 38 0 18204 736 20 0 22 0 418223619 8481841152 59330 33554432000 4194304 4196468 140736883233536 139742771790776 139743525881614 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24029] ppid=23884 vsize=8283048 memory=316096618745299259 CPUtime=189.69 cores=0-7 /proc/24013/task/24029/stat : 24029 (java) R 23884 23884 21260 0 -1 4202560 1667 4913987 0 0 29 0 18204 736 20 0 22 0 418223619 8481841152 59330 33554432000 4194304 4196468 140736883233536 139742770736648 139743525452419 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24030] ppid=23884 vsize=8283048 memory=14699582244260401 CPUtime=189.8 cores=0-7 /proc/24013/task/24030/stat : 24030 (java) S 23884 23884 21260 0 -1 1077944384 1930 4913987 0 0 40 0 18204 736 20 0 22 0 418223619 8481841152 59330 33554432000 4194304 4196468 140736883233536 139742769699440 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24031] ppid=23884 vsize=8283048 memory=2986541 CPUtime=189.4 cores=0-7 /proc/24013/task/24031/stat : 24031 (java) S 23884 23884 21260 0 -1 1077944384 3 4913987 0 0 0 0 18204 736 20 0 22 0 418223619 8481841152 59330 33554432000 4194304 4196468 140736883233536 139740854610400 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24032] ppid=23884 vsize=8283048 memory=7666655322557208940 CPUtime=189.45 cores=0-7 /proc/24013/task/24032/stat : 24032 (java) S 23884 23884 21260 0 -1 1077944384 9 4913987 0 0 2 3 18204 736 20 0 22 0 418223619 8481841152 59330 33554432000 4194304 4196468 140736883233536 139742768646832 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24034] ppid=23884 vsize=8283048 memory=7667730649173945199 CPUtime=189.4 cores=0-7 /proc/24013/task/24034/stat : 24034 (java) S 23884 23884 21260 0 -1 1077944384 24 4913987 0 0 0 0 18204 736 20 0 22 0 418223691 8481841152 59330 33554432000 4194304 4196468 140736883233536 139742760611984 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24038] ppid=23884 vsize=8283048 memory=7956000642054121792 CPUtime=189.4 cores=0-7 /proc/24013/task/24038/stat : 24038 (java) S 23884 23884 21260 0 -1 1077944384 14 4913987 0 0 0 0 18204 736 20 0 22 0 418223693 8481841152 59330 33554432000 4194304 4196468 140736883233536 139739915084976 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 Current children cumulated CPU time: 1443.76 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 238792 KiB [startup+1189.3 s] /proc/loadavg: 1.72 1.45 2.79 3/215 24047 /proc/meminfo: memFree=21895248/32770624 swapFree=66939840/67108860 [pid=23884] ppid=23881 vsize=113128 memory=1472 CPUtime=1251.55 cores=0-7 /proc/23884/stat : 23884 (scop.sh) S 23881 23884 21260 0 -1 4202496 581 299597 0 0 0 0 121750 3405 20 0 1 0 418115237 115843072 368 33554432000 4194304 5098028 140723517607712 140723517604456 139632376902268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34189312 140723517608741 140723517609068 140723517609068 140723517611981 0 /proc/23884/statm: 28282 368 311 221 0 87 0 [pid=24013] ppid=23884 vsize=8283048 memory=238516 CPUtime=192.39 cores=0-7 /proc/24013/stat : 24013 (java) S 23884 23884 21260 0 -1 1077944320 28752 4913987 0 0 266 33 18204 736 20 0 22 0 418223611 8481841152 59629 33554432000 4194304 4196468 140736883233536 140736883216080 139743546195703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 /proc/24013/statm: 2070762 59629 3237 1 0 2032106 0 [pid=24013/tid=24014] ppid=23884 vsize=8283048 memory=124780 CPUtime=190.57 cores=0-7 /proc/24013/task/24014/stat : 24014 (java) R 23884 23884 21260 0 -1 4202560 18272 4913987 0 0 94 23 18204 736 20 0 22 0 418223612 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743518031968 139743538881335 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24015] ppid=23884 vsize=8283048 memory=124780 CPUtime=189.4 cores=0-7 /proc/24013/task/24015/stat : 24015 (java) S 23884 23884 21260 0 -1 1077944384 2 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743550437904 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24016] ppid=23884 vsize=8283048 memory=124780 CPUtime=189.4 cores=0-7 /proc/24013/task/24016/stat : 24016 (java) S 23884 23884 21260 0 -1 1077944384 1 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743350606480 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24017] ppid=23884 vsize=8283048 memory=124780 CPUtime=189.4 cores=0-7 /proc/24013/task/24017/stat : 24017 (java) S 23884 23884 21260 0 -1 1077944384 2 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743349553424 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24018] ppid=23884 vsize=8283048 memory=1472 CPUtime=189.4 cores=0-7 /proc/24013/task/24018/stat : 24018 (java) S 23884 23884 21260 0 -1 1077944384 2 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743348500880 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24019] ppid=23884 vsize=8283048 memory=5454008 CPUtime=189.4 cores=0-7 /proc/24013/task/24019/stat : 24019 (java) S 23884 23884 21260 0 -1 1077944384 1 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743347448848 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24020] ppid=23884 vsize=8283048 memory=214176 CPUtime=189.4 cores=0-7 /proc/24013/task/24020/stat : 24020 (java) S 23884 23884 21260 0 -1 1077944384 3 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743346396304 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24021] ppid=23884 vsize=8283048 memory=1472 CPUtime=189.4 cores=0-7 /proc/24013/task/24021/stat : 24021 (java) S 23884 23884 21260 0 -1 1077944384 2 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743345343248 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24022] ppid=23884 vsize=8283048 memory=6944656592455350634 CPUtime=189.4 cores=0-7 /proc/24013/task/24022/stat : 24022 (java) S 23884 23884 21260 0 -1 1077944384 1 4913987 0 0 0 0 18204 736 20 0 22 0 418223614 8481841152 59629 33554432000 4194304 4196468 140736883233536 139743344290704 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24023] ppid=23884 vsize=8283048 memory=1808 CPUtime=189.4 cores=0-7 /proc/24013/task/24023/stat : 24023 (java) S 23884 23884 21260 0 -1 1077944384 8 4913987 0 0 0 0 18204 736 20 0 22 0 418223615 8481841152 59629 33554432000 4194304 4196468 140736883233536 139742773909744 139743546206850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24024] ppid=23884 vsize=8283048 memory=124780 CPUtime=189.4 cores=0-7 /proc/24013/task/24024/stat : 24024 (java) S 23884 23884 21260 0 -1 1077944384 13 4913987 0 0 0 0 18204 736 20 0 22 0 418223616 8481841152 59629 33554432000 4194304 4196468 140736883233536 139741861242016 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24025] ppid=23884 vsize=8283048 memory=5450868 CPUtime=189.4 cores=0-7 /proc/24013/task/24025/stat : 24025 (java) S 23884 23884 21260 0 -1 1077944384 21 4913987 0 0 0 0 18204 736 20 0 22 0 418223616 8481841152 59629 33554432000 4194304 4196468 140736883233536 139741727019760 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24026] ppid=23884 vsize=8283048 memory=1472 CPUtime=189.4 cores=0-7 /proc/24013/task/24026/stat : 24026 (java) S 23884 23884 21260 0 -1 1077944384 1 4913987 0 0 0 0 18204 736 20 0 22 0 418223619 8481841152 59629 33554432000 4194304 4196468 140736883233536 139741352515536 139743546214299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24027] ppid=23884 vsize=8283048 memory=1472 CPUtime=189.72 cores=0-7 /proc/24013/task/24027/stat : 24027 (java) S 23884 23884 21260 0 -1 1077944384 2371 4913987 0 0 31 1 18204 736 20 0 22 0 418223619 8481841152 59629 33554432000 4194304 4196468 140736883233536 139742772857584 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24028] ppid=23884 vsize=8283048 memory=124780 CPUtime=189.83 cores=0-7 /proc/24013/task/24028/stat : 24028 (java) S 23884 23884 21260 0 -1 1077944384 2465 4913987 0 0 43 0 18204 736 20 0 22 0 418223619 8481841152 59629 33554432000 4194304 4196468 140736883233536 139742771805040 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24029] ppid=23884 vsize=8283048 memory=5333960 CPUtime=189.71 cores=0-7 /proc/24013/task/24029/stat : 24029 (java) S 23884 23884 21260 0 -1 1077944384 1696 4913987 0 0 31 0 18204 736 20 0 22 0 418223619 8481841152 59629 33554432000 4194304 4196468 140736883233536 139742770751984 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24030] ppid=23884 vsize=8283048 memory=3504 CPUtime=189.8 cores=0-7 /proc/24013/task/24030/stat : 24030 (java) S 23884 23884 21260 0 -1 1077944384 1930 4913987 0 0 40 0 18204 736 20 0 22 0 418223619 8481841152 59629 33554432000 4194304 4196468 140736883233536 139742769699440 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24031] ppid=23884 vsize=8283048 memory=124780 CPUtime=189.4 cores=0-7 /proc/24013/task/24031/stat : 24031 (java) S 23884 23884 21260 0 -1 1077944384 3 4913987 0 0 0 0 18204 736 20 0 22 0 418223619 8481841152 59629 33554432000 4194304 4196468 140736883233536 139740854610400 139743546205909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24032] ppid=23884 vsize=8283048 memory=1472 CPUtime=189.46 cores=0-7 /proc/24013/task/24032/stat : 24032 (java) S 23884 23884 21260 0 -1 1077944384 9 4913987 0 0 3 3 18204 736 20 0 22 0 418223619 8481841152 59629 33554432000 4194304 4196468 140736883233536 139742768646832 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24034] ppid=23884 vsize=8283048 memory=1472 CPUtime=189.4 cores=0-7 /proc/24013/task/24034/stat : 24034 (java) S 23884 23884 21260 0 -1 1077944384 24 4913987 0 0 0 0 18204 736 20 0 22 0 418223691 8481841152 59629 33554432000 4194304 4196468 140736883233536 139742760611984 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 [pid=24013/tid=24038] ppid=23884 vsize=8283048 memory=1472 CPUtime=189.4 cores=0-7 /proc/24013/task/24038/stat : 24038 (java) S 23884 23884 21260 0 -1 1077944384 14 4913987 0 0 0 0 18204 736 20 0 22 0 418223693 8481841152 59629 33554432000 4194304 4196468 140736883233536 139739915084976 139743546206850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8667136 140736883241975 140736883242134 140736883242134 140736883245007 0 Current children cumulated CPU time: 1443.94 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 239988 KiB Child status: 0 Real time (s): 1189.33 CPU time (s): 1444.01 CPU user time (s): 1402.21 CPU system time (s): 41.7979 CPU usage (%): 121.414 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 17328224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1402.21 system time used= 41.7979 maximum resident set size= 17326832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5242955 page faults= 0 swaps= 0 block input operations= 40 block output operations= 2068056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 93535 involuntary context switches= 3338 # summary of solver processes directly reported to runsolver: # pid: 23884 # total CPU time (s): 1444.01 # total CPU user time (s): 1402.21 # total CPU system time (s): 41.7979 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.4238 second user time and 11.1702 second system time The end
Begin job on node119 at 2019-09-14 02:46:04 IDJOB=4392382 IDBENCH=123239 IDSOLVER=2838 FILE ID=node119/4392382-1568422003 RUNJOBID= node119-1568417505-21287 PBS_JOBID= 21702275 Free space on /tmp= 61504 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-1000-co.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-4392382-1568422003/watcher-4392382-1568422003 -o /tmp/evaluation-result-4392382-1568422003/solver-4392382-1568422003 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568417505-21287 --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-4392382-1568422003.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 747b40881cd41efe91eebad5da45ed52 RANDOM SEED=1815933841 node119.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.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23139912 kB MemAvailable: 31818636 kB Buffers: 204496 kB Cached: 8739048 kB SwapCached: 61108 kB Active: 2816696 kB Inactive: 6192456 kB Active(anon): 4636 kB Inactive(anon): 102432 kB Active(file): 2812060 kB Inactive(file): 6090024 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66939840 kB Dirty: 20864 kB Writeback: 0 kB AnonPages: 164060 kB Mapped: 44636 kB Shmem: 32816 kB Slab: 214816 kB SReclaimable: 184948 kB SUnreclaim: 29868 kB KernelStack: 3712 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497944 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61484 MiB End job on node119 at 2019-09-14 03:05:53